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-06-22
Ephemeral relations
master-old
Marcos Magueta
11
-12
/
+822
2026-06-22
Fix joins, rename, union
Estevan Castilho
5
-18
/
+300
2026-06-17
License that respects our freedom and GNU stack
Marcos Magueta
12
-127
/
+752
2026-06-05
Project C interface, reroute FOL plan enums & format
Marcos Magueta
42
-2143
/
+1939
2026-05-19
VM: Projection instruction
Marcos Magueta
5
-3
/
+69
2026-05-19
CI: Fix windows build with API annotations
Marcos Magueta
15
-92
/
+81
2026-05-18
Branching and object registry rework (#11)
Marcos Magueta
28
-407
/
+3131
2026-05-13
delete metadata
Marcos Magueta
1
-79
/
+0
2026-05-13
Extern handles for embedded runtime
Marcos Magueta
21
-209
/
+1989
2026-05-10
remove vcpkg installation added by mistake
Marcos Magueta
225
-464489
/
+1
[...]
Clone
git@src.symbolic.engineering:RNT.git