

@2945

8 years 
campbell 
Minor tweak.



@2941

8 years 
campbell 
Update proof slides.



@2872

8 years 
tassi 
Fix list of distributed files so that the debian package can be built



@2749

8 years 
regisgia 
* Updated version of the FramaC plugin.



@2748

8 years 
regisgia 
* Remove the old version of the plugin.



@2650

8 years 
regisgia 
* Final version of the untrusted software.



@2589

8 years 
campbell 
Add one of the simulation diagrams



@2587

8 years 
campbell 
Tweak talk a little.



@2586

8 years 
amadio 
r



@2585

8 years 
campbell 
Many improvements to proof/structured traces talk.



@2584

8 years 
regisgia 
* Update slides.



@2583

8 years 
campbell 
Structured traces talk with most of the content; not quite final.



@2579

8 years 
regisgia 
* First version of Yann's slides.



@2577

8 years 
tranquil 
abstract of indexed labels talk



@2567

8 years 
amadio 
r



@2558

8 years 
amadio 
r



@2431

8 years 
campbell 
Fix in matitaout branch too.



@2430

8 years 
campbell 
Fix casting for conditionals in CompCert?derived C parser.



@2388

8 years 
campbell 
Example of each type of control flow statement, plus minor fix to …



@2384

8 years 
campbell 
Move Matita pretty printers into place.



@2383

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



@2321

9 years 
campbell 
Add toolstick branch of the prototype.



@2169

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



@2100

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



@2031

9 years 
Ian Stark 
Mention FMICS 2012 paper



@2029

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



@2013

9 years 
Ian Stark 
Put in HiPEAC 2013



@2012

9 years 
Ian Stark 
Added proposed papers to D6.2



@2007

9 years 
Ian Stark 
Potential workshop invitees



@2002

9 years 
Ian Stark 
Supplement to D6.2



@1998

9 years 
sacerdot 
Version number bumped.



@1997

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



@1992

9 years 
mckinna 
Ayache?



@1990

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



@1989

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



@1982

9 years 
amadio 
add 2.1 Survey



@1981

9 years 
amadio 
update 5.1



@1980

9 years 
amadio 
update 5.1



@1968

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



@1868

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



@1867

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



@1866

9 years 
campbell 
Drop "extra detail" from WP3.



@1865

9 years 
tranquil 
my presentation



@1864

9 years 
campbell 
Add PDF for WP3.



@1863

9 years 
campbell 
Minor WP3 revisions.



@1862

9 years 
mulligan 
Changes to presentation



@1861

9 years 
mulligan 
Changes to CSC's changes



@1860

9 years 
sacerdot 
…



@1859

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



@1858

9 years 
campbell 
Minor WP3 tweak.



@1857

9 years 
sacerdot 
…



@1856

9 years 
mulligan 
Added affiliation to title page



@1855

9 years 
mulligan 
Dynamic cost diagram added



@1854

9 years 
sacerdot 
…



@1853

9 years 
mulligan 
Changed names of labels etc. in diagram



@1852

9 years 
campbell 
Revise WP3 down.



@1851

9 years 
regisgia 
* Slides YRG.



@1850

9 years 
sacerdot 
…



@1849

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



@1848

9 years 
sacerdot 
…



@1847

9 years 
mulligan 
More changes to presentation based on comments



@1846

9 years 
ayache 
Review 2012: Nicolas's presentation.



@1845

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



@1844

9 years 
mulligan 
Changed from serif to sans serif fonts



@1843

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



@1842

9 years 
mulligan 
Small change to contents frame



@1841

9 years 
mulligan 
Added explicit PDF to directory for printing



@1840

9 years 
mulligan 
Changes to my presentation based on feedback from practice session …



@1839

9 years 
sacerdot 
…



@1838

9 years 
sacerdot 
First version.



@1837

9 years 
boender 
 added first draft of WP6 presentation



@1836

9 years 
campbell 
Revise WP3 presentation.



@1835

9 years 
tranquil 
fixed broken file



@1834

9 years 
tranquil 
presentation: TODO running example and a frame of intro



@1833

9 years 
tranquil 
cleaning up



@1832

9 years 
tranquil 
nested loops are not supported yet, the only test had one



@1830

9 years 
campbell 
Rest of WP3 presentation.



@1829

9 years 
mulligan 
changes to my presentation, just one point left to consider



@1828

9 years 
sacerdot 
…



@1827

9 years 
sacerdot 
Added again.



@1826

9 years 
sacerdot 
Removed because caused problems to the SVN.



@1825

9 years 
campbell 
WP3 draft slides.
Fix fetopen.png.



@1824

9 years 
mulligan 
More changes to presentation, following Claudio's comments



@1823

9 years 
ayache 
Review 2012: Nicolas's presentation.



@1822

9 years 
mulligan 
Finished presentation, added proper CerCo? style.



@1821

9 years 
mulligan 
discussed merges into o'caml compiler. talk complete subject to …



@1820

9 years 
sacerdot 
…



@1819

9 years 
sacerdot 
…



@1818

9 years 
sacerdot 
Moved from D1.1 to D1.2 where it should be.



@1817

9 years 
sacerdot 
Presentations for the second review.



@1816

9 years 
mulligan 
more slides added, only got topic of changes merged back into o'caml …



@1815

9 years 
mulligan 
Added more to talk



@1814

9 years 
mulligan 
renamed file to avoid confusion



@1813

9 years 
mulligan 
Added presentation that I have been working on for Paris meeting next week.



@1804

9 years 
sacerdot 
The submitted version.



@1803

9 years 
tranquil 
yet another small correction in the LTL to LIN part



@1802

9 years 
tranquil 
other small corrections



@1801

9 years 
tranquil 
small correction



@1800

9 years 
sacerdot 
Applied suggestions by Roberto.



@1799

9 years 
sacerdot 
Applied Roberto's suggestions.


