source: src/Clight/test @ 3007

Name Size Rev Age Author Last Change
../
implicitcond.test.ma 1.8 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
implicit.test.ma 1.8 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
goto-if.test.ma 2.0 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
forcont.test.ma 2.9 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
endptr.test.ma 2.8 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
endptr2.test.ma 2.7 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
controlflow.test.ma 2.9 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
badconditional.test.ma 2.0 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
addptrcharboth.test.ma 1.8 KB 2645   8 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
trivial.test.ma 4.0 KB 2668   8 years campbell Intermediate measurable proof check-in before I change its traces again.
trivial.c.ma 561 bytes 2535   8 years campbell Add the trivial C program with check that there's a measurable subtrace.
trivial.c 31 bytes 2535   8 years campbell Add the trivial C program with check that there's a measurable subtrace.
transform1.ma 3.7 KB 725   10 years campbell Do some light manual disambiguation to make Clight examples go through …
switcher.test.ma 1.8 KB 1883   9 years campbell Ilias' switch removal code, plus a test.
switcher.c.ma 3.6 KB 1513   9 years campbell Fix up Clight examples.
switcher.c 238 bytes 770   10 years campbell Clight and Cminor examples for switch statement.
sum.test.ma 2.9 KB 2972   8 years campbell Remove init from a testcase.
sum.c.ma 2.6 KB 2176   8 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
sum.c 148 bytes 758   10 years campbell Implement replacement of global var initialisation data by code in Cminor.
string.c 130 bytes 485   10 years campbell Fix treatment of pointers in initialisation data, a little like later …
spaces.c 1.4 KB 458   10 years campbell Add a few more pointer tests.
spacecadet.c 113 bytes 154   10 years campbell Minor test case changes
search.test.ma 1.1 KB 2619   8 years campbell Update some test cases.
search.c.ma 9.7 KB 2176   8 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
search.c 501 bytes 717   10 years campbell Clean up Clight examples; better temporary definition of multiply.
runtime.test.ma 453 bytes 1276   9 years campbell Support for replacing operations with runtime support functions in …
runtime.c.ma 2.3 KB 1276   9 years campbell Support for replacing operations with runtime support functions in …
runtime.c 106 bytes 1276   9 years campbell Support for replacing operations with runtime support functions in …
ptrbool.c 173 bytes 502   10 years campbell Fix not on nulls on Clight.
pdata2.c 158 bytes 156   10 years campbell pdata support
pdata1.c 172 bytes 156   10 years campbell pdata support
oneoff.test.ma 142 bytes 2180   8 years campbell Fix off-by-one error in GenMem?.ma.
oneoff.c.ma 1.1 KB 2180   8 years campbell Fix off-by-one error in GenMem?.ma.
oneoff.c 56 bytes 2180   8 years campbell Fix off-by-one error in GenMem?.ma.
null.c 111 bytes 458   10 years campbell Add a few more pointer tests.
null-op.test.ma 176 bytes 1876   9 years campbell Update Cexec soundness proof. Change finishes_with predicate to …
null-op.c.ma 3.8 KB 2176   8 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
null-op.c 235 bytes 776   10 years campbell Fix up some minor null pointer issues in Clight. Add corresponding …
null-local.c 69 bytes 458   10 years campbell Add a few more pointer tests.
memorymodel.ma 3.9 KB 2176   8 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
io.c 75 bytes 154   10 years campbell Minor test case changes
io2.c 91 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
insertsort.test.ma 2.1 KB 2385   8 years campbell Minor housekeeping.
insertsort.c.ma 17.3 KB 2176   8 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
insertsort.c 1016 bytes 965   9 years campbell Update some Clight examples.
implicitcond.c.ma 2.4 KB 2568   8 years campbell Relax some Clight type checks to Cminor type checks to avoid …
implicitcond.c 105 bytes 2568   8 years campbell Relax some Clight type checks to Cminor type checks to avoid …
implicit.c.ma 2.4 KB 2568   8 years campbell Relax some Clight type checks to Cminor type checks to avoid …
implicit.c 104 bytes 2568   8 years campbell Relax some Clight type checks to Cminor type checks to avoid …
goto-if.c.ma 856 bytes 1914   9 years campbell Fix bug in Clight semantics that misses goto-labels inside a cost …
goto-if.c 74 bytes 1914   9 years campbell Fix bug in Clight semantics that misses goto-labels inside a cost …
forcont.c.ma 2.0 KB 2407   8 years campbell Sigh, continue in for loops was broken too.
forcont.c 115 bytes 2407   8 years campbell Sigh, continue in for loops was broken too.
factorial.test.ma 205 bytes 1876   9 years campbell Update Cexec soundness proof. Change finishes_with predicate to …
factorial.c.ma 2.0 KB 1513   9 years campbell Fix up Clight examples.
factorial.c 140 bytes 415   10 years campbell A couple of amusing examples.
endptr.c.ma 9.2 KB 2393   8 years campbell A pointer comparison test case that illustrates a bug.
endptr.c 913 bytes 2393   8 years campbell A pointer comparison test case that illustrates a bug.
endptr2.c.ma 2.7 KB 2395   8 years campbell Proper handling of comparison of pointers off-the-end of an object. We …
endptr2.c 488 bytes 2395   8 years campbell Proper handling of comparison of pointers off-the-end of an object. We …
duff.test.ma 199 bytes 1876   9 years campbell Update Cexec soundness proof. Change finishes_with predicate to …
duff.c.ma 22.4 KB 2176   8 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
duff.c 1.3 KB 415   10 years campbell A couple of amusing examples.
controlflow.c.ma 7.5 KB 2391   8 years campbell Revert "Put the post-loop cost label into the Clight while statement …
controlflow.c 538 bytes 2388   8 years campbell Example of each type of control flow statement, plus minor fix to …
castremoval.test.ma 537 bytes 1876   9 years campbell Update Cexec soundness proof. Change finishes_with predicate to …
castremoval.c.ma 3.5 KB 1513   9 years campbell Fix up Clight examples.
castremoval.c 108 bytes 1198   9 years campbell Clight cast removal (NB: quite different from the prototype).
badconditional.c.ma 2.9 KB 2576   8 years campbell Add conditional test case that also uses switch removal.
badconditional.c 173 bytes 2576   8 years campbell Add conditional test case that also uses switch removal.
addptrcharboth.c.ma 8.5 KB 2569   8 years campbell Fix Clight semantics for ptr + char. (Compiler works anyway.)
addptrcharboth.c 315 bytes 2569   8 years campbell Fix Clight semantics for ptr + char. (Compiler works anyway.)
Note: See TracBrowser for help on using the repository browser.