|
|
|
@1281
|
10 years |
sacerdot |
Porting of all transformation to the joint syntax practically …
|
|
|
|
@1280
|
10 years |
sacerdot |
Some progress in the porting of RTLAbstoRTL to the joint syntax:
1) …
|
|
|
|
@1271
|
10 years |
mulligan |
finished, kind of
|
|
|
|
@1270
|
10 years |
sacerdot |
Making RTL syntax an instance of Joint.
|
|
|
|
@1269
|
10 years |
sacerdot |
Useless include removed.
|
|
|
|
@1252
|
10 years |
sacerdot |
graph_params added to joint/Joint.ma, together with useful common …
|
|
|
|
@1246
|
10 years |
sacerdot |
Yet another change to Joint.ma to accomodate all passes.
The concrete …
|
|
|
|
@1233
|
10 years |
sacerdot |
1) Ported to Brian's new dependent type for fullexec
2) Universe level …
|
|
|
|
@1222
|
10 years |
sacerdot |
LTL fully ported to the joint syntax.
|
|
|
|
@1183
|
10 years |
mulligan |
removed parameterised label types in the three lowest level languages
|
|
|
|
@1179
|
10 years |
mulligan |
changes to ertl, ltl and lin to use new notion of joint params. ertl …
|
|
|
|
@1171
|
10 years |
mulligan |
changes made on claudio's request: changed order of nesting in the …
|
|
|
|
@1168
|
10 years |
sacerdot |
Joint statements parameterized over a record.
|
|
|
|
@1166
|
10 years |
mulligan |
moved joint ltl lin files into their own directory. more changes to …
|
|
|
|
@1164
|
10 years |
mulligan |
ltl to lin working again, more changes to joint syntax
|
|
|
|
@1163
|
10 years |
mulligan |
even more streamlining and fixes to get things type checking
|
|
|
|
@1161
|
10 years |
mulligan |
changes from today: merged ertl, ltl and lin into one datatype to …
|
|
|
|
@1132
|
10 years |
mulligan |
reunified ltl and lin instruction type, removing lifting in ltl and …
|
|
|
|
@1110
|
10 years |
mulligan |
changes to get ltl to lin pass to work properly
|
|
|
|
@1089
|
10 years |
mulligan |
more changes from earlier in the week
|
|
|
|
@1082
|
10 years |
mulligan |
work from today on ertl -> ltl pass
|
|
|
|
@757
|
10 years |
mulligan |
Lots more fixing to get both front and backends using same conventions …
|
|
|
|
@753
|
10 years |
mulligan |
Work from today.
|
|
|
|
@723
|
10 years |
mulligan |
Added dependent type internalising the invariant that LIN function …
|
|
|
|
@722
|
10 years |
mulligan |
Committing changes from today. Several files do not typecheck.
|
|
|
|
@716
|
10 years |
mulligan |
Finished translating LTL statements to LIN statements. Need to …
|
|
|
|
@714
|
10 years |
mulligan |
Work on translation from LTL to LIN.
|
|
|
|
@713
|
10 years |
mulligan |
Commit of initial LTL files.
|
