Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
joint
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)
@1271
10 years
mulligan
finished, kind of
(edit)
@1270
10 years
sacerdot
Making RTL syntax an instance of Joint.
(edit)
@1260
10 years
mulligan
commit for csc
(edit)
@1255
10 years
sacerdot
Major mistake fixed: op1 and op2 were assuming the source and dest …
(edit)
@1254
10 years
sacerdot
More progress towards porting of RTLtoERTL to joint syntax.
(edit)
@1252
10 years
sacerdot
graph_params added to joint/Joint.ma, together with useful common …
(edit)
@1250
10 years
sacerdot
1. Sigma types projections moved to utilities/extralib.ma 2. Extended …
(edit)
@1247
10 years
sacerdot
Code (almost) ported to latest joint/Joint.ma datatype. I still need …
(edit)
@1246
10 years
sacerdot
Yet another change to Joint.ma to accomodate all passes. The concrete …
(edit)
@1245
10 years
sacerdot
RTLtoERTL and LINToASM: porting to new Joint data type in progress. …
(edit)
@1236
10 years
sacerdot
LTLToLin.ma completed (up to a couple of daemons used to provide dead …
(edit)
@1233
10 years
sacerdot
1) Ported to Brian's new dependent type for fullexec 2) Universe level …
(edit)
@1228
10 years
mulligan
some more changes
(edit)
@1220
10 years
sacerdot
ERTL ported to the new joint syntax.
(edit)
@1217
10 years
sacerdot
Only one axiom left.
(edit)
@1215
10 years
sacerdot
1) Added shifting directly on pointers 2) More temporary axioms closed.
(edit)
@1214
10 years
sacerdot
res_to_opt function added to common/Errors and used in joint/semantics …
(edit)
@1213
10 years
sacerdot
1) New values (joint/BEValues.ma) and memory model for the back-ends …
(edit)
@1186
10 years
sacerdot
Spurious code removed. joint_fullexec implemented up to …
(edit)
@1182
10 years
mulligan
changes to semantics: removing parameterised "next" element in joint …
(edit)
@1177
10 years
sacerdot
Almost finished. Some functions still to be implemented, but I suspect …
(edit)
@1176
10 years
sacerdot
…
(edit)
@1174
10 years
sacerdot
Semantics of most instructions completed.
(edit)
@1173
10 years
sacerdot
Unified semantics for ERTL/LTL/LIN (in progress). I hope to include …
(edit)
@1171
10 years
mulligan
changes made on claudio's request: changed order of nesting in the …
(edit)
@1169
10 years
sacerdot
JointRTLtoLIN moved to Joint
(edit)
@1167
10 years
mulligan
…
(add)
@1166
10 years
mulligan
moved joint ltl lin files into their own directory. more changes to …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog