|
|
|
@1379
|
8 years |
sacerdot |
Invariant on LIN code removed. In Paris it was decided that a simpler …
|
|
|
|
@1378
|
8 years |
sacerdot |
New file LIN/joint_LTL_LIN.ma to factorize out the syntactic …
|
|
|
|
@1281
|
8 years |
sacerdot |
Porting of all transformation to the joint syntax practically …
|
|
|
|
@1270
|
8 years |
sacerdot |
Making RTL syntax an instance of Joint.
|
|
|
|
@1264
|
8 years |
sacerdot |
Almost ported to new Joint syntax.
|
|
|
|
@1250
|
8 years |
sacerdot |
1. Sigma types projections moved to utilities/extralib.ma
2. Extended …
|
|
|
|
@1246
|
8 years |
sacerdot |
Yet another change to Joint.ma to accomodate all passes.
The concrete …
|
|
|
|
@1236
|
8 years |
sacerdot |
LTLToLin.ma completed (up to a couple of daemons used to provide dead …
|
|
|
|
@1233
|
8 years |
sacerdot |
1) Ported to Brian's new dependent type for fullexec
2) Universe level …
|
|
|
|
@1224
|
8 years |
sacerdot |
Type of programs in common/AST made more dependent.
In particular, the …
|
|
|
|
@1183
|
8 years |
mulligan |
removed parameterised label types in the three lowest level languages
|
|
|
|
@1179
|
8 years |
mulligan |
changes to ertl, ltl and lin to use new notion of joint params. ertl …
|
|
|
|
@1171
|
8 years |
mulligan |
changes made on claudio's request: changed order of nesting in the …
|
|
|
|
@1168
|
8 years |
sacerdot |
Joint statements parameterized over a record.
|
|
|
|
@1167
|
8 years |
mulligan |
…
|
|
|
|
@1166
|
8 years |
mulligan |
moved joint ltl lin files into their own directory. more changes to …
|
|
|
|
@1164
|
8 years |
mulligan |
ltl to lin working again, more changes to joint syntax
|
|
|
|
@1163
|
8 years |
mulligan |
even more streamlining and fixes to get things type checking
|
|
|
|
@1132
|
8 years |
mulligan |
reunified ltl and lin instruction type, removing lifting in ltl and …
|
|
|
|
@1110
|
8 years |
mulligan |
changes to get ltl to lin pass to work properly
|
|
|
|
@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 …
|
|
|
|
@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.
|
|
|
|
@688
|
9 years |
mulligan |
Fixed local conflicts. Restructured svn repository.
|
|
copied from Deliverables/D4.2-4.3/LIN/LIN.ma:
|
|
|
|
@686
|
9 years |
mulligan |
Most of LIN completed.
|
