source: src/common @ 762

Name Size Rev Age Author Last Change
../
Graphs.ma 305 bytes 746   9 years mulligan Changes to bitvectortrieset: equality on sets. Added new file for …
CostLabel.ma 336 bytes 757   9 years mulligan Lots more fixing to get both front and backends using same conventions …
Registers.ma 481 bytes 757   9 years mulligan Lots more fixing to get both front and backends using same conventions …
IO.ma 2.2 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
Animation.ma 2.5 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
Floats.ma 2.6 KB 700   10 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
Identifiers.ma 2.7 KB 761   9 years campbell Enforce the use of declared identifiers/registers in Cminor/RTLabs.
SmallstepExec.ma 4.5 KB 751   9 years campbell Initial version of the Cminor syntax and semantics.
Errors.ma 7.4 KB 695   10 years campbell Rearrange Clight files a bit - will try to make them work again soon…
IOMonad.ma 8.3 KB 700   10 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
Events.ma 10.7 KB 720   10 years campbell Sort out cost labels.
FrontEndOps.ma 15.1 KB 744   9 years campbell Evict Coq-style integers from common/Integers.ma. Make more bitvector …
AST.ma 16.6 KB 757   9 years mulligan Lots more fixing to get both front and backends using same conventions …
Smallstep.ma 27.7 KB 700   10 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
Values.ma 34.5 KB 751   9 years campbell Initial version of the Cminor syntax and semantics.
Maps.ma 42.2 KB 747   9 years campbell Merge the two AST files together (although some definitions still need …
Globalenvs.ma 51.3 KB 758   9 years campbell Implement replacement of global var initialisation data by code in Cminor.
Integers.ma 77.6 KB 747   9 years campbell Merge the two AST files together (although some definitions still need …
Mem.ma 114.1 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.