aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dcl (follow)
Commit message (Collapse)AuthorAgeFilesLines
* FormatMarcos Magueta2026-04-271-2/+4
|
* Foreign call PRL (#67)Marcos Magueta2026-04-271-1/+1
|
* Introduce Multigroups (#65)Marcos Magueta2026-04-273-77/+90
|
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-231-1/+1
|
* Prototype for configurationMarcos Magueta2026-04-221-0/+2
|
* New Server & Manipulation refactorMarcos Magueta2026-04-201-71/+76
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* formatMarcos Magueta2026-04-034-96/+92
|
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-223-12/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* Branching and naïve merge strategiesMarcos Magueta2026-03-143-61/+97
| | | | | | | | | | | | | | | * 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>
* dml and dclMarcos Magueta2026-03-083-0/+86
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 14:25:26 +0000