RNT/lib/kernel/Initialization.mli, branch constraints fol evaluator 2026-09-13T17:27:37+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-13T17:27:37+00:00 ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254 






Register the branch manager as part of the object tree
2026-08-23T03:35:01+00:00

Estevan Castilho
tevo@riajuu.net

2026-08-23T03:35:01+00:00

1d0b73b051cff4b14919808c51acbdd1c3e11767












Initialization with Branch State and Index
2026-08-01T17:22:05+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-08-01T17:22:05+00:00

d512411992a6a2b50fcdf03689129f70f530116f












Revert "initialization"
2026-07-31T05:05:28+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-31T05:05:28+00:00

d57288a6143146a99fd1792c543dbade2758ad01

This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.





This reverts commit c55092be9108898cb31ed79fe2c341a7a9f7d3bf.







initialization
2026-07-31T03:56:01+00:00

Marcos Magueta
maguetamarcos@gmail.com

2026-07-31T03:56:01+00:00

c55092be9108898cb31ed79fe2c341a7a9f7d3bf