|
|
@3258
|
7 years |
sacerdot |
…
|
|
|
@3257
|
7 years |
tranquil |
fixed uses in ERTL
|
|
|
@3256
|
7 years |
tranquil |
fixed compilation
|
|
|
@3255
|
7 years |
tranquil |
* dropped newframe and delframe (to be integrated in calls and returns …
|
|
|
@3254
|
7 years |
sacerdot |
Code I always forgot to commit.
To be ported to ERTLtoLTLProof.ma.
|
|
|
@3253
|
7 years |
piccolo |
some proof obbligation closed of ERTL to LTL proof
|
|
|
@3252
|
7 years |
piccolo |
proof obbligation added on ERTL to LTL proof
|
|
|
@3251
|
7 years |
sacerdot |
The files submitted and the mail sent to the officer/reviewers.
|
|
|
@3250
|
7 years |
sacerdot |
…
|
|
|
@3249
|
7 years |
Ian Stark |
UEDIN D3.4, D6.4-6.5
|
|
|
@3248
|
7 years |
sacerdot |
Typos fixed.
|
|
|
@3247
|
7 years |
Ian Stark |
UEDIN changes to D1.3 and D1.4
|
|
|
@3246
|
7 years |
sacerdot |
Instructions on how to make the LiveCD.
|
|
|
@3245
|
7 years |
sacerdot |
The final pages by Michela. To be appended to the PDF generated by Ian.
|
|
|
@3244
|
7 years |
sacerdot |
Final version.
|
|
|
@3243
|
7 years |
sacerdot |
The report, spellchecking needed.
|
|
|
@3242
|
7 years |
sacerdot |
New version with better description and copyright.
|
|
|
@3241
|
7 years |
sacerdot |
Debian package for matita_0.99.2
|
|
|
@3240
|
7 years |
Ian Stark |
Remove Microsoft Office droppings
|
|
|
@3239
|
7 years |
Ian Stark |
D1.4 updates
|
|
|
@3238
|
7 years |
sacerdot |
acc-trusted bumper to version 0.2.
|
|
|
@3237
|
7 years |
campbell |
Some incomplete work on Clight -> Cminor call steps.
|
|
|
@3236
|
7 years |
campbell |
Sneak in a single word fix.
|
|
|
@3235
|
7 years |
tranquil |
compiler tarball
|
|
|
@3234
|
7 years |
sacerdot |
Debian packages committed.
Some are using git, so you need to clone …
|
|
|
@3233
|
7 years |
tranquil |
passed spell checker, added description of the cerco wrapper, minor …
|
|
|
@3232
|
7 years |
Ian Stark |
D1.4 small changes
|
|
|
@3231
|
7 years |
campbell |
Final revisions to 3.4.
|
|
|
@3230
|
7 years |
sacerdot |
Financial parts removed.
|
|
|
@3229
|
7 years |
mckinna |
numbers adjusted; only mentioned in running text under "Attendance"
|
|
|
@3228
|
7 years |
campbell |
Add a more formal note to the abstract in 3.4.
|
|
|
@3227
|
7 years |
campbell |
Last bits about lifting proof in 3.4.
|
|
|
@3226
|
7 years |
campbell |
More 3.4 revisions; mostly administrative.
|
|
|
@3225
|
7 years |
mckinna |
More spelling, more grammar, more phrasing
|
|
|
@3224
|
7 years |
mckinna |
revisions…
|
|
|
@3223
|
7 years |
campbell |
More revisions to 3.4.
|
|
|
@3222
|
7 years |
tranquil |
added pages to included papers. final version.
|
|
|
@3221
|
7 years |
sacerdot |
Added cerco-executable to install.
|
|
|
@3220
|
7 years |
sacerdot |
…
|
|
|
@3219
|
7 years |
sacerdot |
Fixed: .in should be there.
|
|
|
@3218
|
7 years |
campbell |
Text about Cminor to RTLabs.
|
|
|
@3217
|
7 years |
piccolo |
Correctness of ERTL to LTL in place
|
|
|
@3216
|
7 years |
campbell |
Revisions throughout 3.4.
|
|
|
@3215
|
7 years |
sacerdot |
- Version dumped to 0.2
- New executable cerco to be used with why3
|
|
|
@3214
|
7 years |
campbell |
Some 3.4 revisions.
|
|
|
@3213
|
7 years |
tranquil |
summary for D4.4, and other modifications
|
|
|
@3212
|
7 years |
campbell |
Sort out some "to do"s, minimal conclusion.
|
|
|
@3211
|
7 years |
campbell |
Put switch removal in correct place; describe cost labelling sim.
|
|
|
@3210
|
7 years |
sacerdot |
Final version.
|
|
|
@3209
|
7 years |
sacerdot |
Final version up to spelling.
|
|
|
@3208
|
7 years |
sacerdot |
Final version.
|
|
|
@3207
|
7 years |
sacerdot |
Final version up to spellchecking.
|
|
|
@3206
|
7 years |
sacerdot |
New publication.
|
|
|
@3205
|
7 years |
sacerdot |
New publication.
|
|
|
@3204
|
7 years |
sacerdot |
New publication and reindentation.
|
|
|
@3203
|
7 years |
campbell |
Text on structured trace construction.
|
|
|
@3202
|
7 years |
sacerdot |
…
|
|
|
@3201
|
7 years |
sacerdot |
…
|
|
|
@3200
|
7 years |
Ian Stark |
Final report summary
|
|
|
@3199
|
7 years |
Ian Stark |
D6.4/D6.5 executive summary
|
|
|
@3198
|
7 years |
sacerdot |
Spellchecked and reindented.
|
|
|
@3197
|
7 years |
sacerdot |
Spellchecked.
|
|
|
@3196
|
7 years |
sacerdot |
Spellchecked.
|
|
|
@3195
|
7 years |
sacerdot |
The follow-up letter.
|
|
|
@3194
|
7 years |
tranquil |
more on the role of the stack in the back end pass.
moved mauro.tex as …
|
|
|
@3193
|
7 years |
sacerdot |
Completed.
|
|
|
@3192
|
7 years |
sacerdot |
…
|
|
|
@3191
|
7 years |
garnier |
Some more info on cast removal
|
|
|
@3190
|
7 years |
sacerdot |
…
|
|
|
@3189
|
7 years |
sacerdot |
…
|
|
|
@3188
|
7 years |
sacerdot |
…
|
|
|
@3187
|
7 years |
sacerdot |
…
|
|
|
@3186
|
7 years |
sacerdot |
…
|
|
|
@3185
|
7 years |
sacerdot |
…
|
|
|
@3184
|
7 years |
sacerdot |
…
|
|
|
@3183
|
7 years |
sacerdot |
…
|
|
|
@3182
|
7 years |
sacerdot |
Part 2 completed.
|
|
|
@3181
|
7 years |
campbell |
Compiler overview section of 3.4
|
|
|
@3180
|
7 years |
tranquil |
first commit: report on back-end correctness proof
|
|
|
@3179
|
7 years |
sacerdot |
…
|
|
|
@3178
|
7 years |
campbell |
Some progress on Callstate steps in Clight to Cminor.
Note that some …
|
|
|
@3177
|
7 years |
sacerdot |
…
|
|
|
@3176
|
7 years |
mckinna |
simplified dependencies
|
|
|
@3175
|
7 years |
sacerdot |
…
|
|
|
@3174
|
7 years |
sacerdot |
…
|
|
|
@3173
|
7 years |
campbell |
A little reworking of 3.4.
|
|
|
@3172
|
7 years |
sacerdot |
Second section in place. Re-reading it, it seems to me worse than the …
|
|
|
@3171
|
7 years |
mckinna |
removed redundant dependencies
|
|
|
@3170
|
7 years |
mckinna |
removed redundant dependencies
|
|
|
@3169
|
7 years |
sacerdot |
…
|
|
|
@3168
|
7 years |
campbell |
Add some text from Ilias.
|
|
|
@3167
|
7 years |
campbell |
A little bit about structured traces.
|
|
|
@3166
|
7 years |
sacerdot |
Questionnaire about publications filled in, DOIs added to every …
|
|
|
@3165
|
7 years |
campbell |
A little bit of progress on Callstate case.
|
|
|
@3164
|
7 years |
sacerdot |
Executive report in place.
|
|
|
@3163
|
7 years |
sacerdot |
All tables have been filled in.
|
|
|
@3162
|
7 years |
sacerdot |
More administrative data.
|
|
|
@3161
|
7 years |
sacerdot |
Tables partially filled in.
|
|
|
@3160
|
7 years |
sacerdot |
Initial part and description of WP2, WP3 and WP4 completed.
WP5, final …
|
|
|
@3159
|
7 years |
campbell |
A bit more text in 3.4.
|
|
|