source: src @ 732

Name Size Rev Age Author Last Change
../
ASM 726   10 years campbell Change identifiers to Words in Clight and RTLabs semantics.
Clight 732   10 years campbell Fixups for CexecEquiv? due to earlier changes in SmallstepExec?.ma
common 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
LIN 723   10 years mulligan Added dependent type internalising the invariant that LIN function …
LTL 728   10 years mulligan Changes from last two days.
RTLabs 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
utilities 711   10 years sacerdot
CHANGES 996 bytes 730   10 years campbell A few deviations from the prototype / CompCert? that I can think of offhand.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
Note: See TracBrowser for help on using the repository browser.