Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2002-09-30 | add 'safe' to active case info for casefun generation | diederik | 1 | -4/+6 | |
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1212 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d | |||||
2002-08-07 | Add partitioning variants | diederik | 1 | -0/+8 | |
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1187 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d | |||||
2002-08-07 | Move partitioning to separate module | diederik | 1 | -0/+5 | |
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1186 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d |