index
:
Sakura
docs/tuple-insertion
drl-plan-ops
error-handling
master
more-planner-nodes
physical-layer-lmdb
proper-joins
rnt-integration
test-scaffolding
unified-rnt-planner-interface
git repositories
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
ocaml re-migration
Marcos Magueta
2026-03-05
10
-5135
/
+0
*
delete xml server
Marcos Magueta
2026-03-04
2
-540
/
+0
*
generalize constraints in membership with quantification
Marcos Magueta
2026-03-04
3
-952
/
+490
*
2OP Constraints and manipulation
Marcos Magueta
2026-03-03
2
-58
/
+717
*
Fix comparison relation order, rebranding & roadmap (#50)
Marcos Magueta
2026-02-06
4
-47
/
+46
*
Refactor constraint system (#49)
Marcos Magueta
2026-01-03
3
-393
/
+309
*
1OPs, bound context and domain constraints (#46)
Marcos Magueta
2025-12-31
3
-33
/
+1353
*
Ephemeral relations, Refactor & Cleanup (#34)
Marcos Magueta
2025-12-14
7
-541
/
+894
*
Infinite domains and membership rework (#22)
Marcos Magueta
2025-12-04
7
-406
/
+327
*
XML Server (#16)
Marcos Magueta
2025-11-28
3
-1
/
+541
*
Pseudo-REPL and sketch planner (#12)
Marcos Magueta
2025-11-25
4
-3
/
+1055
*
Joins with provenance and lineage (#11)
Marcos Magueta
2025-11-24
2
-26
/
+422
*
Infinite relations (#10)
Marcos Magueta
2025-11-22
2
-20
/
+1090
*
Retract tuple, relation and clear relation (truncate) (#9)
Marcos Magueta
2025-11-22
1
-53
/
+429
*
Versioning sketch with actor model lazy iterators (#8)
Marcos Magueta
2025-11-20
1
-11
/
+281
*
proof of concept of the volcano model with processes
Marcos Magueta
2025-11-12
1
-0
/
+167
*
fix startup crash
Marcos Magueta
2025-11-12
2
-6
/
+25
*
migrating to erlang to attach to mnesia
Marcos Magueta
2025-11-11
4
-0
/
+79