aboutsummaryrefslogtreecommitdiffstats
path: root/test/integration/Registration.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-4/+4
|
* dune fmtMarcos Magueta2026-09-251-5/+9
|
* Actually register the multigroupEstevan Castilho2026-09-241-1/+1
|
* Multigroup registration stubEstevan Castilho2026-09-241-1/+4
|
* Merge branch 'master' into evaluatorEstevan Castilho2026-09-171-35/+13
|\
| * Forsake `lookup'`Estevan Castilho2026-09-171-1/+1
| |
| * Directory and registry ergonomicsEstevan Castilho2026-09-121-28/+11
| |
* | fol evaluatorMarcos Magueta2026-09-131-2/+9
|/
* Multigroup objectsEstevan Castilho2026-09-111-4/+4
|
* Branch registrationEstevan Castilho2026-09-031-3/+30
|
* Registration tests stubEstevan Castilho2026-08-231-0/+21