source: src/Cminor/test @ 776

Name Size Rev Age Author Last Change
../
factorial.ma 2.2 KB 768   10 years campbell Make Cminor tests test translation to RTLabs.
null-op.ma 2.5 KB 776   10 years campbell Fix up some minor null pointer issues in Clight. Add corresponding …
search.ma 5.5 KB 768   10 years campbell Make Cminor tests test translation to RTLabs.
sum-bad.ma 2.2 KB 761   10 years campbell Enforce the use of declared identifiers/registers in Cminor/RTLabs.
sum.c 148 bytes 758   10 years campbell Implement replacement of global var initialisation data by code in Cminor.
sum.ma 2.5 KB 768   10 years campbell Make Cminor tests test translation to RTLabs.
switcher.ma 4.8 KB 771   10 years campbell Implement switch statements in Cminor -> RTLabs phase
Note: See TracBrowser for help on using the repository browser.