|
|
|
@1296
|
9 years |
mulligan |
changes
|
|
|
|
@1293
|
9 years |
mulligan |
finished rtl abs to rtl transformation subject to closing some axioms …
|
|
|
|
@1292
|
9 years |
mulligan |
more added to rtlabs translation
|
|
|
|
@1290
|
9 years |
sacerdot |
One more function ported to new Joint.
|
|
|
|
@1288
|
9 years |
mulligan |
more added to rtlabs to rtl pass
|
|
|
|
@1287
|
9 years |
mulligan |
about 3/4 of the way through rtlabs to rtl now
|
|
|
|
@1286
|
9 years |
mulligan |
more changes to the rtl abs to rtl pass
|
|
|
|
@1285
|
9 years |
mulligan |
more implementation on maps, final push to get rtl abs to rtl working
|
|
|
|
@1283
|
9 years |
sacerdot |
Bad programming practice removed: change_label is no longer required …
|
|
|
|
@1282
|
9 years |
sacerdot |
Cosmetic change: names of joint statements/instructions shortened and …
|
|
|
|
@1281
|
9 years |
sacerdot |
Porting of all transformation to the joint syntax practically …
|
|
|
|
@1280
|
9 years |
sacerdot |
Some progress in the porting of RTLAbstoRTL to the joint syntax:
1) …
|
|
|
|
@1239
|
9 years |
sacerdot |
RTLAbstoRTL ported to new datatypes.
Note: RTL syntax/semantics is …
|
|
|
|
@1224
|
9 years |
sacerdot |
Type of programs in common/AST made more dependent.
In particular, the …
|
|
|
|
@1149
|
9 years |
mulligan |
changes to get everything type checking again after changing names of …
|
|
|
|
@1138
|
9 years |
mulligan |
merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other
|
|
|
|
@1077
|
10 years |
mulligan |
ack, dependent types are scary
|
|
|
|
@1073
|
10 years |
mulligan |
more changes from today
|
|
|
|
@1071
|
10 years |
mulligan |
changes the specific form that the added proofs take to use None, not …
|
|
|
|
@1068
|
10 years |
mulligan |
rtlabs translation complete subject to axioms
|
|
|
|
@1067
|
10 years |
mulligan |
more smaller changes
|
|
|
|
@1066
|
10 years |
mulligan |
changes from today
|
|
|
|
@1064
|
10 years |
mulligan |
changes from today, nearly complete rtlabs translation pass
|
|
|
|
@1063
|
10 years |
mulligan |
changes from today
|
|
|
|
@1062
|
10 years |
mulligan |
separated jmeq and coercions from foldstuff.ma in order to fix the …
|
|
|
|
@1061
|
10 years |
mulligan |
more work, bug found, ridiculous map3 function with dep. types added
|
|
|
|
@1060
|
10 years |
mulligan |
work from this morning and yesterday
|
|
|
|
@1059
|
10 years |
mulligan |
work from today, bit of a mess at the moment
|
|
|
|
@1057
|
10 years |
mulligan |
changes from today
|
|
|
|
@1053
|
10 years |
mulligan |
changes
|
|
|
|
@1052
|
10 years |
mulligan |
removed offsets after reading cerco mailing list
|
|
|
|
@1050
|
10 years |
mulligan |
adding dependent types to map datastructure to remove all option …
|
|
|
|
@1049
|
10 years |
mulligan |
more stuff added
|
|
|
|
@1047
|
10 years |
mulligan |
more work from today
|
|
|
|
@1046
|
10 years |
mulligan |
syntax of rtlabs was wrong: cast not const. more added to rtlabs --> …
|
|
|
|
@1045
|
10 years |
mulligan |
resolved conflict in rtlabs
|
|
|
|
@799
|
10 years |
mulligan |
more changes.
|
|
|
|
@795
|
10 years |
mulligan |
Changes from this morning.
|
|
|
|
@793
|
10 years |
mulligan |
Work from today on rtlabs -> rtl pass.
|
|
|
|
@789
|
10 years |
mulligan |
More work on rtlabs -> rtl pass.
|
