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

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