|
|
|
@3151
|
8 years |
sacerdot |
More data flowing in.
|
|
|
|
@3150
|
8 years |
sacerdot |
Integrated all data I received so far.
|
|
|
|
@3149
|
8 years |
sacerdot |
More data from Roberto integrated.
|
|
|
|
@3148
|
8 years |
sacerdot |
Infos by Roberto integrated.
|
|
|
|
@3147
|
8 years |
sacerdot |
More work on Part 4.
|
|
|
|
@3146
|
8 years |
sacerdot |
Most of the "scientific" work required for Part4.
I still need to …
|
|
|
|
@3144
|
8 years |
sacerdot |
Initial work on D1.3.
Part 1 and Part 2 have been fixed already.
|
|
|
|
@3143
|
8 years |
sacerdot |
More papers pulled into the report.
|
|
|
|
@3142
|
8 years |
campbell |
Sketch out a bit more of 3.4.
|
|
|
|
@3141
|
8 years |
mckinna |
Rephrase Tullio's contribution... more work needed?
|
|
|
|
@3140
|
8 years |
campbell |
Diagram illustrating nested function calls in structured traces.
|
|
|
|
@3139
|
8 years |
mckinna |
English tweaks
|
|
|
|
@3138
|
8 years |
campbell |
Sketch up-to-labelling bit.
|
|
|
|
@3137
|
8 years |
mckinna |
Tweaks
|
|
|
|
@3136
|
8 years |
mckinna |
Updates: form and content, incorporating comments from Brian, and from …
|
|
|
|
@3135
|
8 years |
campbell |
Discussion with Kevin at HiPEAC workshop.
|
|
|
|
@3134
|
8 years |
mckinna |
Opps uncommitted edits!
|
|
|
|
@3133
|
8 years |
mckinna |
Underscores!
|
|
|
|
@3132
|
8 years |
mckinna |
1st version of workshop s reports. Comments/amendments welcome!
|
|
|
|
@3131
|
8 years |
campbell |
Add rest of correctness.
|
|
|
|
@3130
|
8 years |
campbell |
Tweak diagram spacing.
|
|
|
|
@3129
|
8 years |
campbell |
Right version of the diagram.
|
|
|
|
@3128
|
8 years |
campbell |
Start of D3.4.
(Sorry it's taking longer than anticipated; I blame a …
|
|
|
|
@3127
|
8 years |
piccolo |
report on general proof
|
|
|
|
@3126
|
8 years |
sacerdot |
Splitted into empty report + "stand alone" paper.
The paper needs to …
|
|
|
|
@3125
|
8 years |
sacerdot |
…
|
|
|
|
@3124
|
8 years |
sacerdot |
…
|
|
|
|
@3123
|
8 years |
sacerdot |
…
|
|
|
|
@3122
|
8 years |
sacerdot |
…
|
|
|
|
@3121
|
8 years |
sacerdot |
…
|
|
|
|
@3120
|
8 years |
sacerdot |
…
|
|
|
|
@3119
|
8 years |
sacerdot |
…
|
|
|
|
@3118
|
8 years |
piccolo |
1) finished return case in StatusSimulationHelper?
2) started to write …
|
|
|
|
@3117
|
8 years |
sacerdot |
…
|
|
|
|
@3116
|
8 years |
sacerdot |
…
|
|
|
|
@3114
|
8 years |
sacerdot |
Some progress on pipelines/caches.
|
|
|
|
@3113
|
8 years |
sacerdot |
Some work on control flow analysis.
|
|
|
|
@3111
|
8 years |
sacerdot |
Skeleton
|
|
|
|
@3110
|
8 years |
sacerdot |
…
|
|
|
|
@3109
|
8 years |
sacerdot |
New version.
|
|
|
|
@3108
|
8 years |
sacerdot |
Towards D5.2.
|
|
|
|
@3107
|
8 years |
regisgia |
* External tools to compile the plugin.
|
|
|
|
@3084
|
8 years |
amadio |
|
|
|
|
@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 Frama-C 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 matita-out 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
|
8 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 2012-05-24 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
|
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.
|
|
|
|
