summaryrefslogtreecommitdiff
path: root/source/Test/Unit/Migration.hs
AgeCommit message (Collapse)Author
3 daysCut verification over to the typed driveradelon
3 daysActivate the typed aggregate libraryadelon
3 daysActivate exact topology consumersadelon
3 daysActivate exact topological spacesadelon
3 daysMigrate preclosure spacesadelon
3 daysMigrate meet semilatticesadelon
3 daysMigrate loops to exact checkingadelon
3 daysMigrate quasigroups to exact checkingadelon
3 daysMigrate monoids to exact checkingadelon
3 daysMigrate semigroups to exact checkingadelon
3 daysMigrate magma to exact checkingadelon
3 daysActivate exact relation closure checkingadelon
3 daysActivate exact equivalence checkingadelon
3 daysActivate exact order checkingadelon
3 daysActivate exact quasiorder checkingadelon
4 daysActivate typed equinumerosity moduleadelon
4 daysActivate typed Cantor and fixpoint modulesadelon
4 daysActivate typed function moduleadelon
4 daysActivate relation property typed rootsadelon
4 daysActivate base relation typed rootadelon
4 daysActivate product and filter typed rootsadelon
4 daysActivate elementary set modulesadelon
4 daysActivate packaged prelude for protected rootsadelon
5 daysGeneralize identified parsed module namingadelon
6 daysRoute complete graphs through one checkeradelon
7 daysFreeze migration source routingadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 19:09:17 +0000