|
|
|
@1250
|
9 years |
sacerdot |
1. Sigma types projections moved to utilities/extralib.ma
2. Extended …
|
|
|
|
@1246
|
9 years |
sacerdot |
Yet another change to Joint.ma to accomodate all passes.
The concrete …
|
|
|
|
@1245
|
9 years |
sacerdot |
RTLtoERTL and LINToASM: porting to new Joint data type in progress. …
|
|
|
|
@1236
|
9 years |
sacerdot |
LTLToLin.ma completed (up to a couple of daemons used to provide dead …
|
|
|
|
@1233
|
9 years |
sacerdot |
1) Ported to Brian's new dependent type for fullexec
2) Universe level …
|
|
|
|
@1224
|
9 years |
sacerdot |
Type of programs in common/AST made more dependent.
In particular, the …
|
|
|
|
@1183
|
9 years |
mulligan |
removed parameterised label types in the three lowest level languages
|
|
|
|
@1179
|
9 years |
mulligan |
changes to ertl, ltl and lin to use new notion of joint params. ertl …
|
|
|
|
@1171
|
9 years |
mulligan |
changes made on claudio's request: changed order of nesting in the …
|
|
|
|
@1168
|
9 years |
sacerdot |
Joint statements parameterized over a record.
|
|
|
|
@1167
|
9 years |
mulligan |
…
|
|
|
|
@1166
|
9 years |
mulligan |
moved joint ltl lin files into their own directory. more changes to …
|
|
|
|
@1164
|
9 years |
mulligan |
ltl to lin working again, more changes to joint syntax
|
|
|
|
@1163
|
9 years |
mulligan |
even more streamlining and fixes to get things type checking
|
|
|
|
@1161
|
9 years |
mulligan |
changes from today: merged ertl, ltl and lin into one datatype to …
|
|
|
|
@1149
|
9 years |
mulligan |
changes to get everything type checking again after changing names of …
|
|
|
|
@1132
|
9 years |
mulligan |
reunified ltl and lin instruction type, removing lifting in ltl and …
|
|
|
|
@1112
|
9 years |
mulligan |
got lin > asm stuff working
|
|
|
|
@1110
|
9 years |
mulligan |
changes to get ltl to lin pass to work properly
|
|
|
|
@1108
|
9 years |
mulligan |
changes to get ertltoltli to compile
|
|
|
|
@1089
|
9 years |
mulligan |
more changes from earlier in the week
|
|
|
|
@1082
|
9 years |
mulligan |
work from today on ertl -> ltl pass
|
|
|
|
@878
|
9 years |
campbell |
Removal of manually inserted record projections.
|
|
|
|
@757
|
9 years |
mulligan |
Lots more fixing to get both front and backends using same conventions …
|
|
|
|
@734
|
9 years |
mulligan |
Fixed lin2asm.
|
|
|
|
@733
|
9 years |
mulligan |
Fixed partial commit.
|
|
|
|
@723
|
9 years |
mulligan |
Added dependent type internalising the invariant that LIN function …
|
|
|
|
@722
|
9 years |
mulligan |
Committing changes from today. Several files do not typecheck.
|
|
|
|
@714
|
9 years |
mulligan |
Work on translation from LTL to LIN.
|
|
|
|
@699
|
9 years |
mulligan |
More or less finished formalisation of LIN.
|
|
|
|
@698
|
9 years |
mulligan |
Commit with changes to files to get our files to typecheck.
|
|
|
|
@696
|
9 years |
mulligan |
Added missing I8051 file and completed most of LIN formalisation.
|
|
|
|
@691
|
9 years |
mulligan |
More movement of files within the repository.
|
|
|
|
@688
|
9 years |
mulligan |
Fixed local conflicts. Restructured svn repository.
|
|
copied from Deliverables/D4.2-4.3/LIN:
|
|
|
|
@491
|
9 years |
mulligan |
Initial commit of (part)-formalisation of LIN intermediate language.
|
