source: C-semantics/test @ 124

Name Size Rev Age Author Last Change
../
io.c 68 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
io2.c 91 bytes 20   10 years campbell Add resumption monad based version of the executable semantics with …
trivial.ma 1.5 KB 9   10 years campbell Enough of an executable semantics to execute a not-quite-trivial …
io.c.ma 1.5 KB 20   10 years campbell Add resumption monad based version of the executable semantics with …
io2.c.ma 1.9 KB 124   10 years campbell Initial work on Clight semantics with 8051 memory spaces.
memorymodel.ma 3.4 KB 12   10 years campbell Make memory model tests more readable. Update README.
transform1.ma 3.7 KB 25   10 years campbell Simplify the IO monad a little.
Note: See TracBrowser for help on using the repository browser.