aboutsummaryrefslogtreecommitdiffstats
path: root/lib (follow)
Commit message (Expand)AuthorAgeFilesLines
* TEMPORARILY create an implicit transaction for operations if neededphysical-layer-lmdbEstevan Castilho2026-05-091-17/+35
* We're not using multiple LMDB databases, so avoid passing a nameEstevan Castilho2026-05-092-14/+11
* TEMPORARILY make LMDB errors stringsEstevan Castilho2026-05-071-29/+52
* `MemoryBackend` is now somewhere elseEstevan Castilho2026-05-071-87/+0
* Drop `begin_transaction`, add `abort`Estevan Castilho2026-05-071-3/+3
* Forsake `module Memory` throughoutEstevan Castilho2026-05-0715-30/+0
* A note on hashesEstevan Castilho2026-05-071-0/+5
* `put`, "bulk" operations on LMDBEstevan Castilho2026-05-071-12/+16
* Make `with_transaction` a primitiveEstevan Castilho2026-05-071-18/+6
* WIP LMDB backendEstevan Castilho2026-05-022-16/+162
* Split out the memory backendEstevan Castilho2026-05-021-0/+83
* Hashes are not strings, but we can pretend otherwise (for now)Estevan Castilho2026-05-022-16/+18
* Some configuration parsing utilitiesEstevan Castilho2026-04-301-0/+20
* More LMDB bindingsEstevan Castilho2026-04-301-1/+20
* Use `Result` rather than a custom typeEstevan Castilho2026-04-301-5/+5
* Add `fmap` to `Utilities.Result`Estevan Castilho2026-04-301-0/+1
* Some LMDB bindingsEstevan Castilho2026-04-302-1/+28
* FormatMarcos Magueta2026-04-2726-296/+309
* Foreign call PRL (#67)Marcos Magueta2026-04-2722-104/+502
* Introduce Multigroups (#65)Marcos Magueta2026-04-2716-236/+603
* Add build deps and sublanguage directory struct for duneMarcos Magueta2026-04-238-17/+18
* Prototype for configurationMarcos Magueta2026-04-2213-21/+292
* New Server & Manipulation refactorMarcos Magueta2026-04-2017-480/+565
* remove interop with cMarcos Magueta2026-04-045-68/+5
* formatMarcos Magueta2026-04-0347-1450/+1483
* Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta2026-04-038-1268/+1536
* Session with stream control sublanguage (#55)Marcos Magueta2026-03-246-0/+218
* Constraint walker and polarity analysisMarcos Magueta2026-03-233-71/+437
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-2224-95/+640
* Branching and naïve merge strategiesMarcos Magueta2026-03-1411-61/+617
* todosMarcos Magueta2026-03-112-0/+12
* lack of provenance on shadowing of tuple merge quantification fixMarcos Magueta2026-03-111-2/+22
* defenestrate jsonMarcos Magueta2026-03-093-8/+34
* format todos and comment improvementMarcos Magueta2026-03-085-193/+64
* serverMarcos Magueta2026-03-083-18/+30
* dml and dclMarcos Magueta2026-03-088-6/+230
* constraintsMarcos Magueta2026-03-087-60/+979
* wip: drl executorMarcos Magueta2026-03-074-0/+333
* catalogMarcos Magueta2026-03-072-116/+460
* domainsMarcos Magueta2026-03-073-5/+153
* erlang port commands and generated testsMarcos Magueta2026-03-079-28/+1011
* wip: docs updateMarcos Magueta2026-03-061-0/+1
* wip: physicalMarcos Magueta2026-03-064-8/+36
* use magic to cast types to opaque attributesMarcos Magueta2026-03-064-35/+21
* encode relations on module baseMarcos Magueta2026-03-0610-74/+160
* relation typeMarcos Magueta2026-03-062-1/+111
* ocaml re-migrationMarcos Magueta2026-03-054-0/+63
* migrating to erlang to attach to mnesiaMarcos Magueta2025-11-116-287/+0
* State of the world with Merkle Tree composition of files (#2)Marcos Magueta2024-10-274-24/+65
* Basic storage with C interop (#1)Marcos Magueta2024-10-268-45/+244
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:25:02 +0000