source: src/Clight/test @ 726

Name Size Rev Age Author Last Change
../
duff.c 1.3 KB 415   10 years campbell A couple of amusing examples.
duff.ma 21.7 KB 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
factorial.c 140 bytes 415   10 years campbell A couple of amusing examples.
factorial.ma 1.9 KB 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
insertsort.c 963 bytes 485   10 years campbell Fix treatment of pointers in initialisation data, a little like later …
insertsort.ma 18.9 KB 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
io2.c 91 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
io2.ma 1.5 KB 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
io.c 75 bytes 154   10 years campbell Minor test case changes
io.ma 1.0 KB 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
memorymodel.ma 3.3 KB 717   10 years campbell Clean up Clight examples; better temporary definition of multiply.
null-local.c 69 bytes 458   10 years campbell Add a few more pointer tests.
null.c 111 bytes 458   10 years campbell Add a few more pointer tests.
pdata1.c 172 bytes 156   10 years campbell pdata support
pdata2.c 158 bytes 156   10 years campbell pdata support
ptrbool.c 173 bytes 502   10 years campbell Fix not on nulls on Clight.
search.c 501 bytes 717   10 years campbell Clean up Clight examples; better temporary definition of multiply.
search.ma 9.3 KB 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
spacecadet.c 113 bytes 154   10 years campbell Minor test case changes
spaces.c 1.4 KB 458   10 years campbell Add a few more pointer tests.
string.c 130 bytes 485   10 years campbell Fix treatment of pointers in initialisation data, a little like later …
transform1.ma 3.7 KB 725   10 years campbell Do some light manual disambiguation to make Clight examples go through …
Note: See TracBrowser for help on using the repository browser.