Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
compiler.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@2512
8 years
mckinna
Simplified dependencies on ASM, to allow rollback to when …
(edit)
@2508
8 years
mckinna
more tweaks. compiler and correctness still build.
(edit)
@2505
8 years
mckinna
Cleaned up compiler.ma; some refactoring/additional code needed in …
(edit)
@2497
8 years
mckinna
Simplified dependencies on ASM; knock-on from changes in ASM/*.ma
(edit)
@2494
8 years
mckinna
Removed BJC's axiomatisation of rtlabs_to_rtl, now that …
(edit)
@2492
8 years
campbell
Reduce axiomatisation in compiler.ma.
(edit)
@2475
8 years
campbell
Get compiler.ma and correctness.ma checking again. Note that the …
(edit)
@2399
8 years
campbell
Fill in some details about the statement of correctness.
(edit)
@2320
9 years
campbell
Update compiler and correctness with labelling changes.
(edit)
@2319
9 years
campbell
Generate per-program cost labels rather than per-function ones, and …
(edit)
@2291
9 years
campbell
Disable switch removal in compiler.ma for now.
(edit)
@2286
9 years
tranquil
Big update! * merge of all _paolo variants * reorganised some depends …
(edit)
@2253
9 years
campbell
Cminor to RTLabs is now a total function.
(edit)
@2205
9 years
campbell
Get correctness.ma type checking again.
(edit)
@2116
9 years
sacerdot
load_code_memory will be moved into Fetch.ma in the next commit. This …
(edit)
@2019
9 years
campbell
Split out special induction principle for Clight from soundness file. …
(edit)
@2001
9 years
campbell
Get the compiler to output more.
(edit)
@1995
9 years
campbell
Overall compiler definition; bits and pieces to make everything happy(ish).
(add)
@1991
9 years
campbell
Put the front end transformations together and make an example use it.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog