source: src/common @ 779

Name Size Rev Age Author Last Change
../
Animation.ma 2.5 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
AST.ma 17.2 KB 764   9 years campbell Start Cminor to RTLabs phase. Includes some syntax for matching …
CostLabel.ma 336 bytes 757   9 years mulligan Lots more fixing to get both front and backends using same conventions …
Errors.ma 8.5 KB 764   9 years campbell Start Cminor to RTLabs phase. Includes some syntax for matching …
Events.ma 10.7 KB 720   10 years campbell Sort out cost labels.
Floats.ma 2.6 KB 700   10 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
FrontEndOps.ma 15.6 KB 774   9 years campbell Separate out the different forms of addition and subtraction in the …
Globalenvs.ma 51.3 KB 758   9 years campbell Implement replacement of global var initialisation data by code in Cminor.
Graphs.ma 305 bytes 746   9 years mulligan Changes to bitvectortrieset: equality on sets. Added new file for …
Identifiers.ma 3.9 KB 779   9 years campbell Add merging of tries and identifier sets (based on Dominic's earlier …
Integers.ma 77.6 KB 747   9 years campbell Merge the two AST files together (although some definitions still need …
IO.ma 2.2 KB 731   10 years campbell Common definition for animation semantics, and factor out IO definitions.
IOMonad.ma 8.3 KB 700   10 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
Maps.ma 42.2 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 …
Registers.ma 532 bytes 777   9 years mulligan Lots of work on RTL to ERTL pass from today.
Smallstep.ma 27.7 KB 700   10 years campbell Get Clight semantics going again (except for problems CexecEquiv? that …
SmallstepExec.ma 4.5 KB 751   9 years campbell Initial version of the Cminor syntax and semantics.
Values.ma 34.5 KB 751   9 years campbell Initial version of the Cminor syntax and semantics.
Note: See TracBrowser for help on using the repository browser.