source: src/Clight/test @ 764

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 …
sum.ma 2.6 KB 758   10 years campbell Implement replacement of global var initialisation data by code in Cminor.
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.ma 9.3 KB 748   10 years campbell Change example statement for easier testing.
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   10 years campbell pdata support
pdata1.c 172 bytes 156   10 years campbell pdata support
null.c 111 bytes 458   10 years campbell Add a few more pointer tests.
null-local.c 69 bytes 458   10 years campbell Add a few more pointer tests.
memorymodel.ma 3.3 KB 717   10 years campbell Clean up Clight examples; better temporary definition of multiply.
io.ma 1.1 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
io.c 75 bytes 154   10 years campbell Minor test case changes
io2.ma 1.5 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
io2.c 91 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
insertsort.ma 19.0 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
insertsort.c 963 bytes 485   10 years campbell Fix treatment of pointers in initialisation data, a little like later …
factorial.ma 1.9 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
factorial.c 140 bytes 415   10 years campbell A couple of amusing examples.
duff.ma 21.7 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
duff.c 1.3 KB 415   10 years campbell A couple of amusing examples.
Note: See TracBrowser for help on using the repository browser.