index
:
RNT
constraints
drop-journal
gh-pages
indexes
journal
karuta-subsystem
lifecycle-ergonomics
master
master-old
relation-bipartite-registration
relation-registration
session
git repositories
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Branch
Commit message
Author
Age
constraints
generates_when constraint utility
Marcos Magueta
6 weeks
drop-journal
fix tests
Marcos Magueta
4 weeks
indexes
docs for hashed index keys, merged restrictions and narrower where modes
Marcos Magueta
4 days
journal
journal for the website
Marcos Magueta
4 weeks
karuta-subsystem
driver due to the lack of an init system for headless run
Marcos Magueta
4 days
lifecycle-ergonomics
Style
Estevan Castilho
4 weeks
master
beam subsystem hack for karuta execution under internal node
Marcos Magueta
4 days
relation-bipartite-registration
FOL test with program instantiation
Marcos Magueta
5 weeks
relation-registration
Fix build, allow users to register relations
Estevan Castilho
6 weeks
session
follow only a snapshot instead of the dead branch
Marcos Magueta
5 weeks
[...]
Age
Commit message
Author
Files
Lines
2026-09-26
Fix build, allow users to register relations
relation-registration
Estevan Castilho
5
-1
/
+29
2026-09-25
dune fmt
Marcos Magueta
58
-1190
/
+1123
2026-09-26
Merge branch 'branch-registration'
Estevan Castilho
21
-44
/
+143
2026-09-25
Split that up a little
Estevan Castilho
1
-15
/
+20
2026-09-24
Actually register the multigroup
Estevan Castilho
6
-12
/
+43
2026-09-24
Multigroup registration stub
Estevan Castilho
4
-9
/
+26
2026-09-24
Make objects printable
Estevan Castilho
12
-3
/
+31
2026-09-24
`assoc` on associatives
Estevan Castilho
4
-16
/
+34
2026-09-23
windows gitignore
Marcos Magueta
1
-1
/
+2
2026-09-23
cardinality tests
Marcos Magueta
2
-0
/
+26
[...]
Clone
git@src.symbolic.engineering:RNT.git