Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
D2.2
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)
@796
9 years
campbell
Put correct type on cost label expressions in the prototype.
(edit)
@769
9 years
campbell
Update the Clight matita term printer.
(edit)
@743
9 years
mulligan
Removed mess from yesterday.
(edit)
@742
9 years
mulligan
Added extra debugging feature for Nicolas
(edit)
@741
9 years
ayache
Bug fix in LINToASM in D2.2's 8051 (negative integers).
(edit)
@740
9 years
ayache
New memory model and bug fixes in 8051 branch. Added primitive …
(edit)
@685
10 years
ayache
Bug fix in LINToASM (wrong conditional translation) in 8051 branch.
(edit)
@680
10 years
sacerdot
8051-memoryspace-branch from Brian moved from D2.3 (that does not …
(edit)
@664
10 years
mulligan
Changed output of Intel HEX files so we no longer have those …
(edit)
@645
10 years
ayache
Pretty output in D2.2.
(edit)
@643
10 years
ayache
Bug fix in ASMCosts in D2.2.
(edit)
@642
10 years
ayache
Added the review example in D2.2 (8051/tests/review1/)
(edit)
@641
10 years
ayache
Improvement in the code of the cost computation in D2.2.
(edit)
@640
10 years
ayache
Hex output not too long for mcu anymore. Readable output added.
(edit)
@634
10 years
ayache
Bug fix in ASMCosts in D2.2.
(edit)
@632
10 years
ayache
Small change in ASMCosts.
(edit)
@631
10 years
ayache
Some bugs fixed in D2.2.
(edit)
@630
10 years
ayache
Paris update in D2.2.
(edit)
@627
10 years
mulligan
Fixed bug in ASMInterpret.ml. Added pretty printing module.
(edit)
@625
10 years
mulligan
Fixed ASMInterpret so no assert false is generated. Working on …
(edit)
@624
10 years
ayache
Bug fixs and signed division hack in D2.2.
(edit)
@622
10 years
mulligan
Started fixing assert false problem.
(edit)
@621
10 years
ayache
Bug fix in cost computation in D2.2.
(edit)
@619
10 years
ayache
Update of D2.2 from Paris.
(edit)
@530
10 years
sacerdot
8051/MIPS
(add)
@486
10 years
ayache
Deliverable D2.2
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog