aboutsummaryrefslogtreecommitdiffstats
path: root/test/integration/Registration.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* FormattingEstevan Castilho12 days1-2/+1
|
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-111-9/+10
|
* testsMarcos Magueta2026-10-081-8/+5
|
* fix testsdrop-journalMarcos Magueta2026-10-081-16/+33
|
* fix multigroup deriving and testsMarcos Magueta2026-10-011-9/+29
|
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 18:20:24 +0000