source: C-semantics/test @ 350

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