aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Include messages on on all conditionsEstevan Castilho2026-05-2326-57/+66
* Migrate `Server` overEstevan Castilho2026-05-232-1/+4
* Migrate `System` overEstevan Castilho2026-05-231-2/+9
* Migrate `Transport` overEstevan Castilho2026-05-231-2/+8
* Migrate `Management.Branch` overEstevan Castilho2026-05-231-3/+8
* Migrate `Configuration` overEstevan Castilho2026-05-233-26/+44
* Migrate `Management.Physical` overEstevan Castilho2026-05-231-27/+31
* Just inherit the errors from NT and the sublanguagesEstevan Castilho2026-05-221-8/+2
* Migrate the parsers overEstevan Castilho2026-05-216-18/+36
* Migrate the ICL overEstevan Castilho2026-05-212-29/+10
* Migrate the SCL overEstevan Castilho2026-05-212-21/+9
* Migrate the VCL overEstevan Castilho2026-05-212-18/+10
* Migrate the DDL overEstevan Castilho2026-05-212-34/+17
* Have `Qualified_name.try_parse` return a `Condition.t`Estevan Castilho2026-05-214-8/+11
* Migrate the DML overEstevan Castilho2026-05-212-55/+30
* Migrate the DRL overEstevan Castilho2026-05-212-29/+14
* Migrate the PRL overEstevan Castilho2026-05-212-27/+14
* Migrate `Sublanguage` et al. overEstevan Castilho2026-05-212-6/+3
* Migrate `Branch` overEstevan Castilho2026-05-211-4/+10
* Migrate `NT` overEstevan Castilho2026-05-212-101/+98
* `Condition.condition` -> `Condition.t`Estevan Castilho2026-05-212-2/+2
* Sketches of a condition systemEstevan Castilho2026-05-214-32/+78
* cleanup rootMarcos Magueta2026-05-188-255/+0
* Delete .direnv/bin directoryMarcos Magueta2026-05-181-19/+0
* RNT interfaceMarcos Magueta2026-05-1844-1579/+1933
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-1162-3469/+2635
* FormatMarcos Magueta2026-04-2729-579/+421
* Foreign call PRL (#67)Marcos Magueta2026-04-2728-104/+868
* Introduce Multigroups (#65)Marcos Magueta2026-04-2718-237/+606
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-2310-23/+51
* Prototype for configurationMarcos Magueta2026-04-2217-121/+314
* New Server & Manipulation refactorMarcos Magueta2026-04-2020-1058/+929
* remove interop with cMarcos Magueta2026-04-049-112/+10
* formatMarcos Magueta2026-04-0352-4527/+5358
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-0311-1276/+1543
* Session with stream control sublanguage (#55)Marcos Magueta2026-03-247-1/+249
* Constraint walker and polarity analysisMarcos Magueta2026-03-238-154/+1664
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-2236-371/+1330
* Branching and naïve merge strategiesMarcos Magueta2026-03-1418-121/+1223
* Add GNU AfferoMarcos Magueta2026-03-141-0/+661
* server with examplesMarcos Magueta2026-03-111-51/+44
* examples on serverMarcos Magueta2026-03-111-2/+134
* todosMarcos Magueta2026-03-112-0/+12
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-113-2/+708
* relational algebra docsMarcos Magueta2026-03-101-0/+191
* defenestrate jsonMarcos Magueta2026-03-095-71/+95
* format todos and comment improvementMarcos Magueta2026-03-086-238/+89
* serverMarcos Magueta2026-03-085-18/+290
* dml and dclMarcos Magueta2026-03-089-6/+530
* constraintsMarcos Magueta2026-03-089-61/+2417
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:53:36 +0000