|
|
@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 |
…
|
|
|
@3177
|
7 years |
sacerdot |
…
|
|
|
@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 …
|
|
|
@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 …
|
|
|
@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.
|
|
|
@3158
|
7 years |
campbell |
Some text on measurable subtraces throughout the front-end.
|
|
|
@3157
|
7 years |
mckinna |
Added tables with the workshop programmes indetail
|
|
|
@3153
|
7 years |
sacerdot |
More data.
|
|
|
@3152
|
7 years |
amadio |
r
|
|
|
@3151
|
7 years |
sacerdot |
More data flowing in.
|
|
|
@3150
|
7 years |
sacerdot |
Integrated all data I received so far.
|
|
|
@3149
|
7 years |
sacerdot |
More data from Roberto integrated.
|
|
|
@3148
|
7 years |
sacerdot |
Infos by Roberto integrated.
|
|
|
@3147
|
7 years |
sacerdot |
More work on Part 4.
|
|
|
@3146
|
7 years |
sacerdot |
Most of the "scientific" work required for Part4.
I still need to …
|
|
|
@3144
|
7 years |
sacerdot |
Initial work on D1.3.
Part 1 and Part 2 have been fixed already.
|
|
|
@3143
|
7 years |
sacerdot |
More papers pulled into the report.
|
|
|
@3142
|
7 years |
campbell |
Sketch out a bit more of 3.4.
|
|
|
@3141
|
7 years |
mckinna |
Rephrase Tullio's contribution... more work needed?
|
|
|
@3140
|
7 years |
campbell |
Diagram illustrating nested function calls in structured traces.
|
|
|
@3139
|
7 years |
mckinna |
English tweaks
|
|
|
@3138
|
7 years |
campbell |
Sketch up-to-labelling bit.
|
|
|
@3137
|
7 years |
mckinna |
Tweaks
|
|
|
@3136
|
7 years |
mckinna |
Updates: form and content, incorporating comments from Brian, and from …
|
|
|
@3135
|
7 years |
campbell |
Discussion with Kevin at HiPEAC workshop.
|
|
|
@3134
|
7 years |
mckinna |
Opps uncommitted edits!
|
|
|
@3133
|
7 years |
mckinna |
Underscores!
|
|
|
@3132
|
7 years |
mckinna |
1st version of workshop s reports. Comments/amendments welcome!
|
|
|
@3131
|
7 years |
campbell |
Add rest of correctness.
|
|
|
@3130
|
7 years |
campbell |
Tweak diagram spacing.
|
|
|
@3129
|
7 years |
campbell |
Right version of the diagram.
|
|
|
@3128
|
7 years |
campbell |
Start of D3.4.
(Sorry it's taking longer than anticipated; I blame a …
|
|
|
@3127
|
7 years |
piccolo |
report on general proof
|
|
|
@3126
|
7 years |
sacerdot |
Splitted into empty report + "stand alone" paper.
The paper needs to …
|
|
|
@3125
|
7 years |
sacerdot |
…
|
|
|
@3124
|
7 years |
sacerdot |
…
|
|
|
@3123
|
7 years |
sacerdot |
…
|
|
|
@3122
|
7 years |
sacerdot |
…
|
|
|
@3121
|
7 years |
sacerdot |
…
|
|
|
@3120
|
7 years |
sacerdot |
…
|
|
|
@3119
|
7 years |
sacerdot |
…
|
|
|
@3118
|
7 years |
piccolo |
1) finished return case in StatusSimulationHelper?
2) started to write …
|
|
|
@3117
|
7 years |
sacerdot |
…
|
|
|
@3116
|
7 years |
sacerdot |
…
|
|
|
@3114
|
7 years |
sacerdot |
Some progress on pipelines/caches.
|
|
|
@3113
|
7 years |
sacerdot |
Some work on control flow analysis.
|
|
|
@3111
|
7 years |
sacerdot |
Skeleton
|
|
|
@3110
|
7 years |
sacerdot |
…
|
|
|
@3109
|
7 years |
sacerdot |
New version.
|
|
|
@3108
|
7 years |
sacerdot |
Towards D5.2.
|
|
|
@3107
|
7 years |
regisgia |
* External tools to compile the plugin.
|
|
|
@3084
|
7 years |
amadio |
|
|
|
@2945
|
7 years |
campbell |
Minor tweak.
|
|
|
@2941
|
7 years |
campbell |
Update proof slides.
|
|
|
@2872
|
7 years |
tassi |
Fix list of distributed files so that the debian package can be built
|
|
|
@2749
|
7 years |
regisgia |
* Updated version of the Frama-C plugin.
|
|
|
@2748
|
7 years |
regisgia |
* Remove the old version of the plugin.
|
|
|
@2650
|
7 years |
regisgia |
* Final version of the untrusted software.
|
|
|
@2589
|
7 years |
campbell |
Add one of the simulation diagrams
|
|
|
@2587
|
7 years |
campbell |
Tweak talk a little.
|
|
|
@2586
|
7 years |
amadio |
r
|
|
|
@2585
|
7 years |
campbell |
Many improvements to proof/structured traces talk.
|
|
|
@2584
|
7 years |
regisgia |
* Update slides.
|
|
|
@2583
|
7 years |
campbell |
Structured traces talk with most of the content; not quite final.
|
|
|
@2579
|
7 years |
regisgia |
* First version of Yann's slides.
|
|
|
@2577
|
7 years |
tranquil |
abstract of indexed labels talk
|
|
|
@2567
|
7 years |
amadio |
r
|
|
|
@2558
|
7 years |
amadio |
r
|
|
|
@2431
|
7 years |
campbell |
Fix in matita-out branch too.
|
|
|
@2430
|
7 years |
campbell |
Fix casting for conditionals in CompCert?-derived C parser.
|
|
|
@2388
|
7 years |
campbell |
Example of each type of control flow statement, plus minor fix to …
|
|
|
@2384
|
7 years |
campbell |
Move Matita pretty printers into place.
|
|
|