

@3140

7 years 
campbell 
Diagram illustrating nested function calls in structured traces.



@3139

7 years 
mckinna 
English tweaks



@3138

7 years 
campbell 
Sketch uptolabelling 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 FramaC 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 matitaout 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.



@2383

7 years 
campbell 
Branch prototype so that there's a version with the matita output …



@2321

7 years 
campbell 
Add toolstick branch of the prototype.



@2169

8 years 
tranquil 
corrected bug where definition of carry bit by MUL and DIV (which …



@2100

8 years 
tranquil 
temporary solution to a bug where operations on spilled registers …



@2031

8 years 
Ian Stark 
Mention FMICS 2012 paper



@2029

8 years 
Ian Stark 
Mild revision of invitee list; commitment to HiPEAC



@2013

8 years 
Ian Stark 
Put in HiPEAC 2013



@2012

8 years 
Ian Stark 
Added proposed papers to D6.2



@2007

8 years 
Ian Stark 
Potential workshop invitees



@2002

8 years 
Ian Stark 
Supplement to D6.2



@1998

8 years 
sacerdot 
Version number bumped.



@1997

8 years 
mulligan 
Changed titles of reports to match correct deliverable title



@1992

8 years 
mckinna 
Ayache?



@1990

8 years 
mckinna 
the LUSTRE paper has not yet appeared
what about the Ayache/Frama?C …



@1989

8 years 
mckinna 
Notes of 20120524 of the UEdin/UniBo meeting to discuss publication …



@1982

8 years 
amadio 
add 2.1 Survey



@1981

8 years 
amadio 
update 5.1



@1980

8 years 
amadio 
update 5.1



@1968

8 years 
campbell 
Update D4.3's title, memory model details, and some typographical …



@1868

8 years 
Ian Stark 
Put beamer code in the template to remove fungus



@1867

8 years 
mulligan 
Large changes following comments by IS, JMc and CSC



@1866

8 years 
campbell 
Drop "extra detail" from WP3.



@1865

8 years 
tranquil 
my presentation



@1864

8 years 
campbell 
Add PDF for WP3.



@1863

8 years 
campbell 
Minor WP3 revisions.



@1862

8 years 
mulligan 
Changes to presentation



@1861

8 years 
mulligan 
Changes to CSC's changes



@1860

8 years 
sacerdot 
…



@1859

8 years 
mulligan 
Added a new slide with the dynamic cost computation on it



@1858

8 years 
campbell 
Minor WP3 tweak.



@1857

8 years 
sacerdot 
…



@1856

8 years 
mulligan 
Added affiliation to title page



@1855

8 years 
mulligan 
Dynamic cost diagram added



@1854

8 years 
sacerdot 
…



@1853

8 years 
mulligan 
Changed names of labels etc. in diagram



@1852

8 years 
campbell 
Revise WP3 down.



@1851

8 years 
regisgia 
* Slides YRG.



@1850

8 years 
sacerdot 
…



@1849

8 years 
mulligan 
Added title pages to split talk into three separate sections



@1848

8 years 
sacerdot 
…



@1847

8 years 
mulligan 
More changes to presentation based on comments



@1846

8 years 
ayache 
Review 2012: Nicolas's presentation.



@1845

8 years 
campbell 
Minor WP3 revisions prior to more major stuff.



@1844

8 years 
mulligan 
Changed from serif to sans serif fonts



@1843

8 years 
mulligan 
Added svg file for my image for editing in inkscape



@1842

8 years 
mulligan 
Small change to contents frame



@1841

8 years 
mulligan 
Added explicit PDF to directory for printing


