source: C-semantics/test @ 350

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