source: src/Clight/test @ 978

Name Size Rev Age Author Last Change
../
io2.c 91 bytes 20   11 years campbell Add resumption monad based version of the executable semantics with …
io.c 75 bytes 154   11 years campbell Minor test case changes
spacecadet.c 113 bytes 154   11 years campbell Minor test case changes
pdata1.c 172 bytes 156   11 years campbell pdata support
pdata2.c 158 bytes 156   11 years campbell pdata support
duff.c 1.3 KB 415   11 years campbell A couple of amusing examples.
factorial.c 140 bytes 415   11 years campbell A couple of amusing examples.
null-local.c 69 bytes 458   11 years campbell Add a few more pointer tests.
null.c 111 bytes 458   11 years campbell Add a few more pointer tests.
spaces.c 1.4 KB 458   11 years campbell Add a few more pointer tests.
string.c 130 bytes 485   11 years campbell Fix treatment of pointers in initialisation data, a little like later …
ptrbool.c 173 bytes 502   11 years campbell Fix not on nulls on Clight.
search.c 501 bytes 717   11 years campbell Clean up Clight examples; better temporary definition of multiply.
transform1.ma 3.7 KB 725   11 years campbell Do some light manual disambiguation to make Clight examples go through …
sum.c 148 bytes 758   11 years campbell Implement replacement of global var initialisation data by code in Cminor.
switcher.c 238 bytes 770   11 years campbell Clight and Cminor examples for switch statement.
null-op.c 235 bytes 776   10 years campbell Fix up some minor null pointer issues in Clight. Add corresponding …
memorymodel.ma 3.3 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
duff.c.ma 22.1 KB 965   10 years campbell Update some Clight examples.
insertsort.c 1016 bytes 965   10 years campbell Update some Clight examples.
insertsort.c.ma 19.5 KB 965   10 years campbell Update some Clight examples.
null-op.c.ma 3.7 KB 965   10 years campbell Update some Clight examples.
sum.c.ma 3.0 KB 965   10 years campbell Update some Clight examples.
factorial.c.ma 1.9 KB 978   10 years campbell Update remaining Clight examples.
search.c.ma 9.8 KB 978   10 years campbell Update remaining Clight examples.
switcher.c.ma 4.1 KB 978   10 years campbell Update remaining Clight examples.
Note: See TracBrowser for help on using the repository browser.