Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
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)
@1150
10 years
sacerdot
Push/pop implemented.
(edit)
@1149
10 years
mulligan
changes to get everything type checking again after changing names of …
(edit)
@1148
10 years
sacerdot
Function call/return finished (up to retrieving parameters from the …
(edit)
@1147
10 years
campbell
Remove some obsolete commented out code, update a couple of comments.
(edit)
@1146
10 years
sacerdot
More progress: function call/return almost completed.
(edit)
@1145
10 years
mulligan
changed naming in i8051 of classes of registers to make them consistent
(edit)
@1144
10 years
mulligan
added build.ma file. matita bug found
(edit)
@1143
10 years
sacerdot
Added one important observation (not implemented yet).
(edit)
@1142
10 years
sacerdot
More progress.
(edit)
@1141
10 years
sacerdot
Comment (about a bug) added.
(edit)
@1140
10 years
sacerdot
More instructions implemented.
(edit)
@1139
10 years
campbell
Shift init_data out of generic program record so that it only appears …
(edit)
@1138
10 years
mulligan
merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other
(edit)
@1137
10 years
sacerdot
More progress.
(edit)
@1136
10 years
mulligan
fixed ertl pass
Diff
Rev
Age
Author
Log Message
(edit)
@1132
10 years
mulligan
reunified ltl and lin instruction type, removing lifting in ltl and …
(edit)
@1131
10 years
mulligan
changes to syntax of ertl: removed ertl_st_addr_l and ertl_st_addr_h …
(edit)
@1130
10 years
sacerdot
File in progress (copied from RTL). All instructions considered up to …
(edit)
@1129
10 years
mulligan
removed conversions between Register and register
(edit)
@1128
10 years
mulligan
fixed ERTLtoLTLI so it type checks again
(edit)
@1127
10 years
mulligan
interference graphs axiomatised, more added to ertl
(edit)
@1126
10 years
sacerdot
Semantics completed up to initial state creation.
(edit)
@1125
10 years
sacerdot
Monadic mfold_left2 added.
(edit)
@1124
10 years
mulligan
finished off liveness analysis by axiomatising properties
(edit)
@1123
10 years
sacerdot
Added comment about missing alignment of data in memory.
(edit)
@1122
10 years
sacerdot
Internal function call implemented too.
(edit)
@1121
10 years
sacerdot
External function calls implemented (but look at the new comment on …
(edit)
@1120
10 years
sacerdot
All operations implemented.
(edit)
@1119
10 years
sacerdot
Type for evaluation of opaccs fixed (maybe wrongly: should it return …
(edit)
@1118
10 years
sacerdot
All derivatives of St_const implemented (up to axioms to match the two …
(edit)
@1117
10 years
sacerdot
More operations implemented.
(edit)
@1116
10 years
sacerdot
Some comments.
(edit)
@1115
10 years
sacerdot
Some comments.
(edit)
@1114
10 years
sacerdot
some more operations implemented
(edit)
@1113
10 years
sacerdot
Semantics (interpreter) of RTL. The file does not compile yet. I am …
(edit)
@1112
10 years
mulligan
got lin > asm stuff working
(edit)
@1111
10 years
mulligan
minor change: marked some possibly dodgy (and very complex) code
(edit)
@1110
10 years
mulligan
changes to get ltl to lin pass to work properly
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog