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)
@1488
9 years
ayache
Function pointers in D2.2/8051. Bugged for now.
(edit)
@1462
9 years
ayache
Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been …
(edit)
@818
10 years
ayache
32 and 16 bits operations support in D2.2/8051
(edit)
@743
10 years
mulligan
Removed mess from yesterday.
(edit)
@742
10 years
mulligan
Added extra debugging feature for Nicolas
(edit)
@740
10 years
ayache
New memory model and bug fixes in 8051 branch. Added primitive …
(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)
@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)
@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.
(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