summaryrefslogtreecommitdiff
path: root/source/Test/Unit/Migration.hs
AgeCommit message (Expand)Author
35 hoursCut verification over to the typed driveradelon
37 hoursActivate the typed aggregate libraryadelon
38 hoursActivate exact topology consumersadelon
39 hoursActivate exact topological spacesadelon
40 hoursMigrate preclosure spacesadelon
40 hoursMigrate meet semilatticesadelon
41 hoursMigrate loops to exact checkingadelon
41 hoursMigrate quasigroups to exact checkingadelon
41 hoursMigrate monoids to exact checkingadelon
41 hoursMigrate semigroups to exact checkingadelon
41 hoursMigrate magma to exact checkingadelon
43 hoursActivate exact relation closure checkingadelon
43 hoursActivate exact equivalence checkingadelon
44 hoursActivate exact order checkingadelon
44 hoursActivate exact quasiorder checkingadelon
46 hoursActivate typed equinumerosity moduleadelon
2 daysActivate typed Cantor and fixpoint modulesadelon
2 daysActivate typed function moduleadelon
2 daysActivate relation property typed rootsadelon
2 daysActivate base relation typed rootadelon
2 daysActivate product and filter typed rootsadelon
2 daysActivate elementary set modulesadelon
3 daysActivate packaged prelude for protected rootsadelon
4 daysGeneralize identified parsed module namingadelon
5 daysRoute complete graphs through one checkeradelon
5 daysFreeze migration source routingadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:29 +0000