| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Sketches of a condition system
* `Condition.condition` -> `Condition.t`
* Migrate `NT` over
* Migrate `Branch` over
* Migrate `Sublanguage` et al. over
* Migrate the PRL over
* Migrate the DRL over
* Migrate the DML over
* Have `Qualified_name.try_parse` return a `Condition.t`
* Migrate the DDL over
* Migrate the VCL over
* Migrate the SCL over
* Migrate the ICL over
* Migrate the parsers over
* Just inherit the errors from NT and the sublanguages
* Migrate `Management.Physical` over
* Migrate `Configuration` over
* Migrate `Management.Branch` over
* Migrate `Transport` over
* Migrate `System` over
* Migrate `Server` over
* Include messages on on all conditions
* A prettier stringifier
|
| |
|
| |
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
|
| | |
|
| | |
|
| |
|
| |
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* separation and functor for sublanguages
* add coq experiment for termination
* fix tests with envelopes
* add timestamp and print responses to server on terminal
* remove coq experiment for trivial cases and rework gate
* refactor nesting with let*
* remove non-envelope sublang support and tests on server
* manip_err duplication purge and better format as s-expr
* abstract storage with dispatch for sublanguages
* dead code and minor refactor due to old non-envelope parsing on subl
* refactor server to use proper dml alg error and wire ephem relations
* remove (schema)
* change .gitignore to blacklist folders
|
|
|
* AGPL license
* branching and merging
* Delete LICENSE in favor of separate PR
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
* add unmonitored tests and docs
---------
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
|
