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