source:
src/Clight/test
@
776
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
duff.c | 1.3 KB | 415 | 9 years | A couple of amusing examples. | |
duff.ma | 21.7 KB | 731 | 9 years | Common definition for animation semantics, and factor out IO definitions. | |
factorial.c | 140 bytes | 415 | 9 years | A couple of amusing examples. | |
factorial.ma | 1.9 KB | 731 | 9 years | Common definition for animation semantics, and factor out IO definitions. | |
insertsort.c | 963 bytes | 485 | 9 years | Fix treatment of pointers in initialisation data, a little like later … | |
insertsort.ma | 19.0 KB | 731 | 9 years | Common definition for animation semantics, and factor out IO definitions. | |
io2.c | 91 bytes | 20 | 9 years | Add resumption monad based version of the executable semantics with … | |
io2.ma | 1.5 KB | 731 | 9 years | Common definition for animation semantics, and factor out IO definitions. | |
io.c | 75 bytes | 154 | 9 years | Minor test case changes | |
io.ma | 1.1 KB | 731 | 9 years | Common definition for animation semantics, and factor out IO definitions. | |
memorymodel.ma | 3.3 KB | 717 | 9 years | Clean up Clight examples; better temporary definition of multiply. | |
null-local.c | 69 bytes | 458 | 9 years | Add a few more pointer tests. | |
null-op.c | 235 bytes | 776 | 9 years | Fix up some minor null pointer issues in Clight. Add corresponding … | |
null-op.ma | 3.6 KB | 776 | 9 years | Fix up some minor null pointer issues in Clight. Add corresponding … | |
null.c | 111 bytes | 458 | 9 years | Add a few more pointer tests. | |
pdata1.c | 172 bytes | 156 | 9 years | pdata support | |
pdata2.c | 158 bytes | 156 | 9 years | pdata support | |
ptrbool.c | 173 bytes | 502 | 9 years | Fix not on nulls on Clight. | |
search.c | 501 bytes | 717 | 9 years | Clean up Clight examples; better temporary definition of multiply. | |
search.ma | 9.3 KB | 748 | 9 years | Change example statement for easier testing. | |
spacecadet.c | 113 bytes | 154 | 9 years | Minor test case changes | |
spaces.c | 1.4 KB | 458 | 9 years | Add a few more pointer tests. | |
string.c | 130 bytes | 485 | 9 years | Fix treatment of pointers in initialisation data, a little like later … | |
sum.c | 148 bytes | 758 | 9 years | Implement replacement of global var initialisation data by code in Cminor. | |
sum.ma | 2.6 KB | 758 | 9 years | Implement replacement of global var initialisation data by code in Cminor. | |
switcher.c | 238 bytes | 770 | 9 years | Clight and Cminor examples for switch statement. | |
switcher.ma | 4.0 KB | 770 | 9 years | Clight and Cminor examples for switch statement. | |
transform1.ma | 3.7 KB | 725 | 9 years | Do some light manual disambiguation to make Clight examples go through … |
Note: See TracBrowser
for help on using the repository browser.