|
|
|
@2286
|
9 years |
tranquil |
Big update!
* merge of all _paolo variants
* reorganised some depends …
|
|
|
|
@2205
|
9 years |
campbell |
Get correctness.ma type checking again.
|
|
|
|
@2103
|
9 years |
campbell |
Make transform_*program take a more general transformation to make …
|
|
|
|
@1515
|
9 years |
campbell |
Add type of maps on positive binary numbers, and use them for …
|
|
|
|
@1379
|
9 years |
sacerdot |
Invariant on LIN code removed. In Paris it was decided that a simpler …
|
|
|
|
@1282
|
9 years |
sacerdot |
Cosmetic change: names of joint statements/instructions shortened and …
|
|
|
|
@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 …
|
|
|
|
@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 …
|
|
|
|
@1180
|
9 years |
mulligan |
lin to ltl pass complete
|
|
|
|
@1171
|
9 years |
mulligan |
changes made on claudio's request: changed order of nesting in the …
|
|
|
|
@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
|
|
|
|
@1149
|
10 years |
mulligan |
changes to get everything type checking again after changing names of …
|
|
|
|
@1111
|
10 years |
mulligan |
minor change: marked some possibly dodgy (and very complex) code
|
|
|
|
@1110
|
10 years |
mulligan |
changes to get ltl to lin pass to work properly
|
|
|
|
@759
|
10 years |
mulligan |
More work on the RTL to ERTL pass.
|
|
|
|
@757
|
10 years |
mulligan |
Lots more fixing to get both front and backends using same conventions …
|
|
|
|
@753
|
10 years |
mulligan |
Work from today.
|
|
|
|
@733
|
10 years |
mulligan |
Fixed partial commit.
|
|
|
|
@728
|
10 years |
mulligan |
Changes from last two days.
|
|
|
|
@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 …
|
|
|
|
@715
|
10 years |
mulligan |
Restored rev from Util as it appears that list reversal is not a part …
|
|
|
|
@714
|
10 years |
mulligan |
Work on translation from LTL to LIN.
|
