

@3242

8 years 
sacerdot 
New version with better description and copyright.



@3241

8 years 
sacerdot 
Debian package for matita_0.99.2



@3240

8 years 
Ian Stark 
Remove Microsoft Office droppings



@3239

8 years 
Ian Stark 
D1.4 updates



@3238

8 years 
sacerdot 
acctrusted bumper to version 0.2.



@3237

8 years 
campbell 
Some incomplete work on Clight > Cminor call steps.



@3236

8 years 
campbell 
Sneak in a single word fix.



@3235

8 years 
tranquil 
compiler tarball



@3234

8 years 
sacerdot 
Debian packages committed.
Some are using git, so you need to clone …



@3233

8 years 
tranquil 
passed spell checker, added description of the cerco wrapper, minor …



@3232

8 years 
Ian Stark 
D1.4 small changes



@3231

8 years 
campbell 
Final revisions to 3.4.



@3230

8 years 
sacerdot 
Financial parts removed.



@3229

8 years 
mckinna 
numbers adjusted; only mentioned in running text under "Attendance"



@3228

8 years 
campbell 
Add a more formal note to the abstract in 3.4.



@3227

8 years 
campbell 
Last bits about lifting proof in 3.4.



@3226

8 years 
campbell 
More 3.4 revisions; mostly administrative.



@3225

8 years 
mckinna 
More spelling, more grammar, more phrasing



@3224

8 years 
mckinna 
revisions…



@3223

8 years 
campbell 
More revisions to 3.4.



@3222

8 years 
tranquil 
added pages to included papers. final version.



@3221

8 years 
sacerdot 
Added cercoexecutable to install.



@3220

8 years 
sacerdot 
…



@3219

8 years 
sacerdot 
Fixed: .in should be there.



@3218

8 years 
campbell 
Text about Cminor to RTLabs.



@3217

8 years 
piccolo 
Correctness of ERTL to LTL in place



@3216

8 years 
campbell 
Revisions throughout 3.4.



@3215

8 years 
sacerdot 
 Version dumped to 0.2
 New executable cerco to be used with why3



@3214

8 years 
campbell 
Some 3.4 revisions.



@3213

8 years 
tranquil 
summary for D4.4, and other modifications



@3212

8 years 
campbell 
Sort out some "to do"s, minimal conclusion.



@3211

8 years 
campbell 
Put switch removal in correct place; describe cost labelling sim.



@3210

8 years 
sacerdot 
Final version.



@3209

8 years 
sacerdot 
Final version up to spelling.



@3208

8 years 
sacerdot 
Final version.



@3207

8 years 
sacerdot 
Final version up to spellchecking.



@3206

8 years 
sacerdot 
New publication.



@3205

8 years 
sacerdot 
New publication.



@3204

8 years 
sacerdot 
New publication and reindentation.



@3203

8 years 
campbell 
Text on structured trace construction.



@3202

8 years 
sacerdot 
…



@3201

8 years 
sacerdot 
…



@3200

8 years 
Ian Stark 
Final report summary



@3199

8 years 
Ian Stark 
D6.4/D6.5 executive summary



@3198

8 years 
sacerdot 
Spellchecked and reindented.



@3197

8 years 
sacerdot 
Spellchecked.



@3196

8 years 
sacerdot 
Spellchecked.



@3195

8 years 
sacerdot 
The followup letter.



@3194

8 years 
tranquil 
more on the role of the stack in the back end pass.
moved mauro.tex as …



@3193

8 years 
sacerdot 
Completed.



@3192

8 years 
sacerdot 
…



@3191

8 years 
garnier 
Some more info on cast removal



@3190

8 years 
sacerdot 
…



@3189

8 years 
sacerdot 
…



@3188

8 years 
sacerdot 
…



@3187

8 years 
sacerdot 
…



@3186

8 years 
sacerdot 
…



@3185

8 years 
sacerdot 
…



@3184

8 years 
sacerdot 
…



@3183

8 years 
sacerdot 
…



@3182

8 years 
sacerdot 
Part 2 completed.



@3181

8 years 
campbell 
Compiler overview section of 3.4



@3180

8 years 
tranquil 
first commit: report on backend correctness proof



@3179

8 years 
sacerdot 
…



@3178

8 years 
campbell 
Some progress on Callstate steps in Clight to Cminor.
Note that some …



@3177

8 years 
sacerdot 
…



@3176

8 years 
mckinna 
simplified dependencies



@3175

8 years 
sacerdot 
…



@3174

8 years 
sacerdot 
…



@3173

8 years 
campbell 
A little reworking of 3.4.



@3172

8 years 
sacerdot 
Second section in place. Rereading it, it seems to me worse than the …



@3171

8 years 
mckinna 
removed redundant dependencies



@3170

8 years 
mckinna 
removed redundant dependencies



@3169

9 years 
sacerdot 
…



@3168

9 years 
campbell 
Add some text from Ilias.



@3167

9 years 
campbell 
A little bit about structured traces.



@3166

9 years 
sacerdot 
Questionnaire about publications filled in, DOIs added to every …



@3165

9 years 
campbell 
A little bit of progress on Callstate case.



@3164

9 years 
sacerdot 
Executive report in place.



@3163

9 years 
sacerdot 
All tables have been filled in.



@3162

9 years 
sacerdot 
More administrative data.



@3161

9 years 
sacerdot 
Tables partially filled in.



@3160

9 years 
sacerdot 
Initial part and description of WP2, WP3 and WP4 completed.
WP5, final …



@3159

9 years 
campbell 
A bit more text in 3.4.



@3158

9 years 
campbell 
Some text on measurable subtraces throughout the frontend.



@3157

9 years 
mckinna 
Added tables with the workshop programmes indetail



@3156

9 years 
campbell 
Rebuild prefix traces in backend's preferred form.



@3155

9 years 
campbell 
Now have proof that the initial states are in simulation for clight to …



@3154

9 years 
piccolo 
1) changed block_of_call in order to prevent premain calls
2) …



@3153

9 years 
sacerdot 
More data.



@3152

9 years 
amadio 
r



@3151

9 years 
sacerdot 
More data flowing in.



@3150

9 years 
sacerdot 
Integrated all data I received so far.



@3149

9 years 
sacerdot 
More data from Roberto integrated.



@3148

9 years 
sacerdot 
Infos by Roberto integrated.



@3147

9 years 
sacerdot 
More work on Part 4.



@3146

9 years 
sacerdot 
Most of the "scientific" work required for Part4.
I still need to …



@3145

9 years 
tranquil 
* removed sigma types from traces of intensional events
* completed …



@3144

9 years 
sacerdot 
Initial work on D1.3.
Part 1 and Part 2 have been fixed already.



@3143

9 years 
sacerdot 
More papers pulled into the report.


