source: src/Clight/test @ 1224

Name Size Rev Age Author Last Change
../
transform1.ma 3.7 KB 725   10 years campbell Do some light manual disambiguation to make Clight examples go through …
switcher.c.ma 4.1 KB 978   10 years campbell Update remaining Clight examples.
switcher.c 238 bytes 770   10 years campbell Clight and Cminor examples for switch statement.
sum.c.ma 3.3 KB 1198   10 years campbell Clight cast removal (NB: quite different from the prototype).
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   11 years campbell Minor test case changes
search.c.ma 9.8 KB 1224   10 years sacerdot Type of programs in common/AST made more dependent. In particular, the …
search.c 501 bytes 717   10 years campbell Clean up Clight examples; better temporary definition of multiply.
ptrbool.c 173 bytes 502   10 years campbell Fix not on nulls on Clight.
pdata2.c 158 bytes 156   11 years campbell pdata support
pdata1.c 172 bytes 156   11 years campbell pdata support
null.c 111 bytes 458   10 years campbell Add a few more pointer tests.
null-op.c.ma 3.7 KB 965   10 years campbell Update some Clight examples.
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.3 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
io.c 75 bytes 154   11 years campbell Minor test case changes
io2.c 91 bytes 20   11 years campbell Add resumption monad based version of the executable semantics with …
insertsort.c.ma 19.5 KB 1139   10 years campbell Shift init_data out of generic program record so that it only appears …
insertsort.c 1016 bytes 965   10 years campbell Update some Clight examples.
factorial.c.ma 1.9 KB 1157   10 years campbell Update pretty printers and examples.
factorial.c 140 bytes 415   10 years campbell A couple of amusing examples.
duff.c.ma 22.1 KB 1157   10 years campbell Update pretty printers and examples.
duff.c 1.3 KB 415   10 years campbell A couple of amusing examples.
castremoval.c.ma 3.6 KB 1198   10 years campbell Clight cast removal (NB: quite different from the prototype).
castremoval.c 108 bytes 1198   10 years campbell Clight cast removal (NB: quite different from the prototype).
Note: See TracBrowser for help on using the repository browser.