source: Deliverables/D3.1/C-semantics/test @ 502

Name Size Rev Age Author Last Change
../
trivial.ma 1.5 KB 409   10 years campbell Update a couple of examples; put support for animation in its own file.
transform1.ma 3.7 KB 25   10 years campbell Simplify the IO monad a little.
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
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.4 KB 409   10 years campbell Update a couple of examples; put support for animation in its own file.
io.c.ma 1.9 KB 366   10 years campbell Make I/O type safe, removing a discrepancy between the executable and …
io.c 75 bytes 154   10 years campbell Minor test case changes
io2.c.ma 2.2 KB 366   10 years campbell Make I/O type safe, removing a discrepancy between the executable and …
io2.c 91 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
insertsort.c 963 bytes 485   10 years campbell Fix treatment of pointers in initialisation data, a little like later …
funptr.ma 2.0 KB 457   10 years campbell Correct checking of function pointers.
factorial.ma 1.9 KB 415   10 years campbell A couple of amusing examples.
factorial.c 140 bytes 415   10 years campbell A couple of amusing examples.
duff.ma 21.9 KB 415   10 years campbell A couple of amusing examples.
duff.c 1.3 KB 415   10 years campbell A couple of amusing examples.
Note: See TracBrowser for help on using the repository browser.