aboutsummaryrefslogtreecommitdiffstats
path: root/bin (follow)
Commit message (Expand)AuthorAgeFilesLines
* listener working under RNT with a minimal drlMarcos Magueta2026-09-261-1/+1
* further deletions on drl and preludeMarcos Magueta2026-09-261-1/+0
* Improve the error handling situation (#71)Estevan Castilho2026-05-271-1/+1
* RNT interfaceMarcos Magueta2026-05-182-173/+0
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-112-0/+174
* FormatMarcos Magueta2026-04-271-1/+1
* Prototype for configurationMarcos Magueta2026-04-222-100/+10
* New Server & Manipulation refactorMarcos Magueta2026-04-202-260/+44
* remove interop with cMarcos Magueta2026-04-041-1/+1
* formatMarcos Magueta2026-04-033-371/+188
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-031-6/+0
* Session with stream control sublanguage (#55)Marcos Magueta2026-03-241-1/+31
* Constraint walker and polarity analysisMarcos Magueta2026-03-233-2/+210
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-241/+95
* Branching and naïve merge strategiesMarcos Magueta2026-03-141-24/+95
* server with examplesMarcos Magueta2026-03-111-51/+44
* examples on serverMarcos Magueta2026-03-111-2/+134
* defenestrate jsonMarcos Magueta2026-03-091-63/+30
* format todos and comment improvementMarcos Magueta2026-03-081-45/+25
* serverMarcos Magueta2026-03-082-0/+260
* use magic to cast types to opaque attributesMarcos Magueta2026-03-061-5/+5
* encode relations on module baseMarcos Magueta2026-03-061-0/+5
* relation typeMarcos Magueta2026-03-062-6/+1
* ocaml re-migrationMarcos Magueta2026-03-052-0/+18
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-112-11/+0
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-272-2/+2
* Basic storage with C interop (#1)Marcos Magueta2024-10-261-2/+5
* dune environment vars with flake and C++ interop with stubsMarcos Magueta2024-10-162-1/+4
* bootstrap project with flake and duneMarcos Magueta2024-10-162-0/+5
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:26:31 +0000