Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
D2.2
/
8051
/
src
/
ASM
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)
@1589
8 years
tranquil
* turned to argument-less return statements for RTLabs and RTL (there …
(edit)
@1568
8 years
tranquil
* Immediates introduced (but not fully used yet in RTLabs to RTL pass) …
(edit)
@1542
8 years
tranquil
merge of indexed labels branch
(edit)
@1490
8 years
ayache
Function pointers fixed.
(edit)
@1488
8 years
ayache
Function pointers in D2.2/8051. Bugged for now.
(edit)
@1462
8 years
ayache
Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been …
(edit)
@818
9 years
ayache
32 and 16 bits operations support in D2.2/8051
(edit)
@743
9 years
mulligan
Removed mess from yesterday.
(edit)
@742
9 years
mulligan
Added extra debugging feature for Nicolas
(edit)
@740
9 years
ayache
New memory model and bug fixes in 8051 branch. Added primitive …
(edit)
@664
9 years
mulligan
Changed output of Intel HEX files so we no longer have those …
(edit)
@645
9 years
ayache
Pretty output in D2.2.
(edit)
@643
9 years
ayache
Bug fix in ASMCosts in D2.2.
(edit)
@641
9 years
ayache
Improvement in the code of the cost computation in D2.2.
(edit)
@640
9 years
ayache
Hex output not too long for mcu anymore. Readable output added.
(edit)
@634
9 years
ayache
Bug fix in ASMCosts in D2.2.
(edit)
@632
9 years
ayache
Small change in ASMCosts.
(edit)
@631
9 years
ayache
Some bugs fixed in D2.2.
(edit)
@630
9 years
ayache
Paris update in D2.2.
(edit)
@627
9 years
mulligan
Fixed bug in ASMInterpret.ml. Added pretty printing module.
(edit)
@625
9 years
mulligan
Fixed ASMInterpret so no assert false is generated. Working on …
(edit)
@622
9 years
mulligan
Started fixing assert false problem.
(edit)
@621
9 years
ayache
Bug fix in cost computation in D2.2.
(edit)
@619
9 years
ayache
Update of D2.2 from Paris.
(add)
@486
9 years
ayache
Deliverable D2.2
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog