source: src/common @ 746

Name Size Rev Age Author Last Change
../
Animation.ma 2.5 KB 731   9 years campbell Common definition for animation semantics, and factor out IO definitions.
AST.ma 2.3 KB 722   9 years mulligan Committing changes from today. Several files do not typecheck.
CostLabel.ma 232 bytes 738   9 years campbell Use lower case names for identifiers for consistency with CompCert?
Errors.ma 7.4 KB 695   9 years campbell Rearrange Clight files a bit - will try to make them work again soon…
Events.ma 10.7 KB 720   9 years campbell Sort out cost labels.
Floats.ma 2.6 KB 700   9 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
FrontEndOps.ma 15.1 KB 744   9 years campbell Evict Coq-style integers from common/Integers.ma. Make more bitvector …
Globalenvs.ma 51.3 KB 744   9 years campbell Evict Coq-style integers from common/Integers.ma. Make more bitvector …
Graphs.ma 305 bytes 746   9 years mulligan Changes to bitvectortrieset: equality on sets. Added new file for …
Identifiers.ma 2.0 KB 738   9 years campbell Use lower case names for identifiers for consistency with CompCert?
Integers.ma 77.6 KB 744   9 years campbell Evict Coq-style integers from common/Integers.ma. Make more bitvector …
IO.ma 2.2 KB 731   9 years campbell Common definition for animation semantics, and factor out IO definitions.
IOMonad.ma 8.3 KB 700   9 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
Maps.ma 42.2 KB 700   9 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
Mem.ma 114.1 KB 744   9 years campbell Evict Coq-style integers from common/Integers.ma. Make more bitvector …
Registers.ma 360 bytes 738   9 years campbell Use lower case names for identifiers for consistency with CompCert?
Smallstep.ma 27.7 KB 700   9 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
SmallstepExec.ma 4.2 KB 731   9 years campbell Common definition for animation semantics, and factor out IO definitions.
Values.ma 34.3 KB 744   9 years campbell Evict Coq-style integers from common/Integers.ma. Make more bitvector …
Note: See TracBrowser for help on using the repository browser.