aboutsummaryrefslogtreecommitdiffstats
path: root/lib/manipulation.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* preparation cleanup for RNT integrationMarcos Magueta2026-09-261-114/+0
* FormatMarcos Magueta2026-06-231-41/+30
* Improve the error handling situation (#71)Estevan Castilho2026-05-271-8/+16
* RNT interfaceMarcos Magueta2026-05-181-5/+7
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-1011/+49
* FormatMarcos Magueta2026-04-271-12/+8
* Foreign call PRL (#67)Marcos Magueta2026-04-271-2/+7
* Introduce Multigroups (#65)Marcos Magueta2026-04-271-15/+63
* New Server & Manipulation refactorMarcos Magueta2026-04-201-201/+187
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-031-882/+782
* Constraint walker and polarity analysisMarcos Magueta2026-03-231-50/+244
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-0/+18
* Branching and naïve merge strategiesMarcos Magueta2026-03-141-0/+2
* format todos and comment improvementMarcos Magueta2026-03-081-3/+1
* serverMarcos Magueta2026-03-081-2/+5
* constraintsMarcos Magueta2026-03-081-9/+183
* catalogMarcos Magueta2026-03-071-116/+340
* domainsMarcos Magueta2026-03-071-5/+13
* erlang port commands and generated testsMarcos Magueta2026-03-071-1/+521
* wip: docs updateMarcos Magueta2026-03-061-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 07:18:44 +0000