aboutsummaryrefslogtreecommitdiffstats
path: root/lib (unfollow)
Commit message (Expand)AuthorFilesLines
2026-05-23A prettier stringifiererror-handlingEstevan Castilho1-3/+11
2026-05-23Include messages on on all conditionsEstevan Castilho25-56/+65
2026-05-23Migrate `Server` overEstevan Castilho1-0/+3
2026-05-23Migrate `System` overEstevan Castilho1-2/+9
2026-05-23Migrate `Transport` overEstevan Castilho1-2/+8
2026-05-23Migrate `Management.Branch` overEstevan Castilho1-3/+8
2026-05-23Migrate `Configuration` overEstevan Castilho3-26/+44
2026-05-23Migrate `Management.Physical` overEstevan Castilho1-27/+31
2026-05-22Just inherit the errors from NT and the sublanguagesEstevan Castilho1-8/+2
2026-05-21Migrate the parsers overEstevan Castilho6-18/+36
2026-05-21Migrate the ICL overEstevan Castilho2-29/+10
2026-05-21Migrate the SCL overEstevan Castilho2-21/+9
2026-05-21Migrate the VCL overEstevan Castilho2-18/+10
2026-05-21Migrate the DDL overEstevan Castilho2-34/+17
2026-05-21Have `Qualified_name.try_parse` return a `Condition.t`Estevan Castilho4-8/+11
2026-05-21Migrate the DML overEstevan Castilho2-55/+30
2026-05-21Migrate the DRL overEstevan Castilho2-29/+14
2026-05-21Migrate the PRL overEstevan Castilho2-27/+14
2026-05-21Migrate `Sublanguage` et al. overEstevan Castilho2-6/+3
2026-05-21Migrate `Branch` overEstevan Castilho1-4/+10
2026-05-21Migrate `NT` overEstevan Castilho2-101/+98
2026-05-21`Condition.condition` -> `Condition.t`Estevan Castilho2-2/+2
2026-05-21Sketches of a condition systemEstevan Castilho4-32/+78
2026-05-18RNT interfaceMarcos Magueta37-1308/+1867
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta43-2779/+1240
2026-04-27FormatMarcos Magueta26-296/+309
2026-04-27Foreign call PRL (#67)Marcos Magueta22-104/+502
2026-04-27Introduce Multigroups (#65)Marcos Magueta16-236/+603
2026-04-23Add build deps and sublanguage directory struct for duneMarcos Magueta8-17/+18
2026-04-22Prototype for configurationMarcos Magueta13-21/+292
2026-04-20New Server & Manipulation refactorMarcos Magueta17-480/+565
2026-04-04remove interop with cMarcos Magueta5-68/+5
2026-04-03formatMarcos Magueta47-1450/+1483
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta8-1268/+1536
2026-03-24Session with stream control sublanguage (#55)Marcos Magueta6-0/+218
2026-03-23Constraint walker and polarity analysisMarcos Magueta3-71/+437
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta24-95/+640
2026-03-14Branching and naïve merge strategiesMarcos Magueta11-61/+617
2026-03-11todosMarcos Magueta2-0/+12
2026-03-11lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta1-2/+22
2026-03-09defenestrate jsonMarcos Magueta3-8/+34
2026-03-08format todos and comment improvementMarcos Magueta5-193/+64
2026-03-08serverMarcos Magueta3-18/+30
2026-03-08dml and dclMarcos Magueta8-6/+230
2026-03-08constraintsMarcos Magueta7-60/+979
2026-03-07wip: drl executorMarcos Magueta4-0/+333
2026-03-07catalogMarcos Magueta2-116/+460
2026-03-07domainsMarcos Magueta3-5/+153
2026-03-07erlang port commands and generated testsMarcos Magueta9-28/+1011
2026-03-06wip: docs updateMarcos Magueta1-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 05:15:52 +0000