source: C-semantics/test @ 227

Name Size Rev Age Author Last Change
../
io2.c 91 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
io2.c.ma 1.9 KB 227   9 years campbell Update notation in an example.
io.c 75 bytes 154   10 years campbell Minor test case changes
io.c.ma 1.6 KB 125   10 years campbell Unify memory space / pointer types. Implement global variable …
memorymodel.ma 3.4 KB 12   10 years campbell Make memory model tests more readable. Update README.
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
transform1.ma 3.7 KB 25   10 years campbell Simplify the IO monad a little.
trivial.ma 1.5 KB 9   10 years campbell Enough of an executable semantics to execute a not-quite-trivial …
Note: See TracBrowser for help on using the repository browser.