aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fix memory layout and populate attributes for join on clauseHEADmasterMarcos Magueta2026-07-062-2/+13
* FormatMarcos Magueta2026-06-2364-2353/+1842
* RNT ephemeral relations representationMarcos Magueta2026-06-229-80/+370
* Migrate the plan action constructors over to the unified interface (#73)Estevan Castilho2026-06-113-13/+78
* Some scaffolding for sublanguage tests (#72)Estevan Castilho2026-05-3012-4559/+218
* Link against RNT directly, rather than `dlopen`ing at runtimeEstevan Castilho2026-05-282-13/+3
* Improve the error handling situation (#71)Estevan Castilho2026-05-2737-441/+453
* 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
* wip: drl executorMarcos Magueta2026-03-075-0/+641
* catalogMarcos Magueta2026-03-073-139/+652
* domainsMarcos Magueta2026-03-073-5/+153
* erlang port commands and generated testsMarcos Magueta2026-03-0714-29/+2236
* wip: docs updateMarcos Magueta2026-03-066-107/+190
* wip: physicalMarcos Magueta2026-03-064-8/+36
* use magic to cast types to opaque attributesMarcos Magueta2026-03-065-40/+26
* encode relations on module baseMarcos Magueta2026-03-0611-74/+165
* relation typeMarcos Magueta2026-03-066-9/+124
* ocaml re-migrationMarcos Magueta2026-03-0574-8866/+761
* delete xml serverMarcos Magueta2026-03-042-540/+0
* generalize constraints in membership with quantificationMarcos Magueta2026-03-045-1023/+494
* 2OP Constraints and manipulationMarcos Magueta2026-03-034-61/+777
* Fix comparison relation order, rebranding & roadmap (#50)Marcos Magueta2026-02-069-172/+411
* Refactor constraint system (#49)Marcos Magueta2026-01-035-418/+334
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-03 23:33:50 +0000