source: src/Clight/test @ 1451

Name Size Rev Age Author Last Change
../
null-local.c 69 bytes 458   9 years campbell Add a few more pointer tests.
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 …
runtime.c 106 bytes 1276   9 years campbell Support for replacing operations with runtime support functions in …
castremoval.c 108 bytes 1198   9 years campbell Clight cast removal (NB: quite different from the prototype).
null.c 111 bytes 458   9 years campbell Add a few more pointer tests.
spacecadet.c 113 bytes 154   10 years campbell Minor test case changes
string.c 130 bytes 485   9 years campbell Fix treatment of pointers in initialisation data, a little like later …
factorial.c 140 bytes 415   9 years campbell A couple of amusing examples.
sum.c 148 bytes 758   9 years campbell Implement replacement of global var initialisation data by code in Cminor.
pdata2.c 158 bytes 156   10 years campbell pdata support
pdata1.c 172 bytes 156   10 years campbell pdata support
ptrbool.c 173 bytes 502   9 years campbell Fix not on nulls on Clight.
null-op.c 235 bytes 776   9 years campbell Fix up some minor null pointer issues in Clight. Add corresponding …
switcher.c 238 bytes 770   9 years campbell Clight and Cminor examples for switch statement.
runtime.test.ma 453 bytes 1276   9 years campbell Support for replacing operations with runtime support functions in …
search.c 501 bytes 717   9 years campbell Clean up Clight examples; better temporary definition of multiply.
sum.test.ma 936 bytes 1332   8 years campbell Summation example updated (needs computational K).
insertsort.c 1016 bytes 965   9 years campbell Update some Clight examples.
duff.c 1.3 KB 415   9 years campbell A couple of amusing examples.
spaces.c 1.4 KB 458   9 years campbell Add a few more pointer tests.
factorial.c.ma 1.9 KB 1157   9 years campbell Update pretty printers and examples.
runtime.c.ma 2.3 KB 1276   9 years campbell Support for replacing operations with runtime support functions in …
sum.c.ma 2.6 KB 1226   9 years campbell Adjust pretty printers for change in program records, try a test of each.
memorymodel.ma 3.3 KB 961   9 years campbell Use precise bitvector sizes throughout the front end, rather than …
castremoval.c.ma 3.6 KB 1198   9 years campbell Clight cast removal (NB: quite different from the prototype).
null-op.c.ma 3.7 KB 965   9 years campbell Update some Clight examples.
transform1.ma 3.7 KB 725   9 years campbell Do some light manual disambiguation to make Clight examples go through …
switcher.c.ma 4.1 KB 978   9 years campbell Update remaining Clight examples.
search.c.ma 10.1 KB 1238   9 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
insertsort.c.ma 19.5 KB 1139   9 years campbell Shift init_data out of generic program record so that it only appears …
duff.c.ma 22.1 KB 1157   9 years campbell Update pretty printers and examples.
Note: See TracBrowser for help on using the repository browser.