aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/checker_2.c
AgeCommit message (Collapse)AuthorFilesLines
2011-02-25git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1866 ↵johnvg1-1/+0
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-25remove some unused fields and variablesjohnvg1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1865 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-01-14add seqjohnvg1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1726 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22rename DeltaBId as StdBoolId, remove unused SystemFunctionsId and ↵johnvg1-8/+4
StdArrayAbortId git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1569 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove includes of typechecker.h and overloading.hjohnvg1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1456 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13don't try to read inline code from the abc file that isjohnvg1-1/+1
being generated git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1021 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12remove macros_2.c, checktypedefs_2.c, macros.h and checktypedefs.hjohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@924 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-12clean 1.3 code for recognizing abort and undef in the strictness analyzerjohnvg1-0/+13
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/+1
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/+243
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@189 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 07:09:13 +0000