aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/checker.h
AgeCommit message (Collapse)AuthorFilesLines
2009-01-14add seqjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1726 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22rename DeltaBId as StdBoolIdjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1570 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-12clean 1.3 code for recognizing abort and undef in the strictness analyzerjohnvg1-0/+3
doesn't work yet in Clean 2.0 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@773 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-15merged with backend C source code on the macjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@430 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-12clean 1.3.3 backend again againclean1-0/+39
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@189 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d