Timeline



Oct 1, 2012:

6:21 PM Changeset [2384] by campbell
Move Matita pretty printers into place.
5:58 PM Changeset [2383] by campbell
Branch prototype so that there's a version with the matita output …
11:55 AM Changeset [2382] by campbell
Final version of executable semantics paper.
11:55 AM Changeset [2381] by campbell
Executable semantics paper as it was in the first submission.

Sep 28, 2012:

6:35 PM Changeset [2380] by mulligan
Some spelling changes to Britishi*S*e the text.
6:26 PM Changeset [2379] by mulligan
Down to 16 pages again
6:24 PM Changeset [2378] by sacerdot
6:18 PM Changeset [2377] by sacerdot
typo fixed
6:13 PM Changeset [2376] by mulligan
To avoid conflicts
6:12 PM Changeset [2375] by sacerdot
5:54 PM Changeset [2374] by sacerdot
5:43 PM Changeset [2373] by mulligan
Changes to the Italian-English
5:28 PM Changeset [2372] by sacerdot
3.5 rewritten up to XXXX
5:09 PM Changeset [2371] by mulligan
Added scanned LNCS copyright form as a PDF
4:19 PM Changeset [2370] by mulligan
Added reference to Jaap's ArXiv? paper
3:13 PM Changeset [2369] by mulligan
English fixes and some rewording.
11:41 AM Changeset [2368] by sacerdot
3.4 patched.
2:27 AM Changeset [2367] by sacerdot
2:19 AM Changeset [2366] by sacerdot

Sep 27, 2012:

5:48 PM Changeset [2365] by mulligan
More minor tweaks.
5:46 PM Changeset [2364] by mulligan
Some minor changes to Claudio's additions and reinstatement of some …
5:36 PM Changeset [2363] by sacerdot
New 3.3. Maybe worse than the previous one.
5:34 PM Changeset [2362] by mulligan
16 pages at last due to all sorts of fiddling. Any more additions …
4:24 PM Changeset [2361] by mulligan
Just half of a page left to find.
3:28 PM Changeset [2360] by mulligan
Back to 17 pages after Claudio's additions.
3:17 PM Changeset [2359] by sacerdot
3:16 PM Changeset [2358] by mulligan
Down to 17 pages now.
2:46 PM Changeset [2357] by mulligan
Begun editing down to reclaim space. Fixed some embarrassing typos …
2:39 PM Changeset [2356] by mulligan
Consistency changes.
1:26 PM Changeset [2355] by sacerdot
"Total correctness" => correctness

Sep 26, 2012:

10:39 PM Changeset [2354] by sacerdot
3.1 and 3.2 rewritten because now the reader has more information …
6:14 PM Changeset [2353] by campbell
Put the post-loop cost label into the Clight while statement to get …
5:57 PM Changeset [2352] by mulligan
Removed repeated references as suggested by the referee
5:55 PM Changeset [2351] by mulligan
Small consistency changes.
5:53 PM Changeset [2350] by mulligan
Got to the conclusions.
5:44 PM Changeset [2349] by mulligan
Up to section 3.5.
3:43 PM Changeset [2348] by mulligan
Edited up to Sec. 3.3
3:17 PM Changeset [2347] by mulligan
MCS-51 not MCS-8051
3:16 PM Changeset [2346] by mulligan
Minor changes to Claudio's new text
2:57 PM Changeset [2345] by sacerdot
2:50 PM Changeset [2344] by mulligan
Fixed "C statements" rather than "blocks of instructions"
2:46 PM Changeset [2343] by mulligan
Fixed Claudio's horrifying use of American spellings (optimizing, etc.)
2:43 PM Changeset [2342] by mulligan
simplified statements
2:08 PM Changeset [2341] by sacerdot
More introduction.
1:53 PM Changeset [2340] by sacerdot
Introduction rewritten.
12:24 PM Changeset [2339] by mulligan
Got to page 8/9.
10:17 AM Changeset [2338] by campbell
Use much nicer definition for making several steps in the labelling …

Sep 25, 2012:

2:47 PM Changeset [2337] by mulligan
Removed the referee's comments that have already been addressed from …
2:11 PM Changeset [2336] by mulligan
Added hyphenat.sty, needed file to compile even after doing a …

Sep 20, 2012:

6:57 PM Changeset [2335] by campbell
Deal with goto labels in RTLabs to Cminor by fixing up goto statements …

Sep 16, 2012:

5:40 PM Changeset [2334] by sacerdot
Only relevant pieces of reviews left in place.
5:30 PM Changeset [2333] by sacerdot
Reviews committed.

Sep 13, 2012:

6:35 PM P1010316.JPG attached to StructuredTracesWIP by campbell
State of the whiteboard
6:32 PM StructuredTracesWIP created by campbell

Sep 12, 2012:

12:36 PM Changeset [2332] by garnier
Some progress on switch removal. Small fix in the definition of free, …

Sep 11, 2012:

5:40 PM Changeset [2331] by mulligan
Added some structure to the paper
5:11 PM Changeset [2330] by mulligan
Added directory for new structured traces paper.
5:10 PM Changeset [2329] by mulligan
Added new directory for papers so as to stop them from being spread …

Sep 10, 2012:

6:18 PM Changeset [2328] by campbell
Cut down the notion of a Clight labelled state to those where we pick …
4:45 PM Changeset [2327] by mulligan
Fixed typos in paper highlighted by referees. More substantial …

Sep 7, 2012:

12:15 PM Changeset [2326] by campbell
More accurate notion of labelled states in Clight.
11:26 AM Changeset [2325] by campbell
Fill out some Clight bits and pieces in correctness.ma.

Sep 5, 2012:

5:17 PM Changeset [2324] by tranquil
semantics of blocks: function to produce trace from execution of …
1:36 PM Changeset [2323] by campbell
Some correctness proof comments.
1:34 PM EdinburghSep2012 edited by campbell
(diff)
1:34 PM P1010314.JPG attached to EdinburghSep2012 by campbell
10:50 AM P1010310.JPG attached to EdinburghSep2012 by campbell
10:50 AM 2012-09-04 16.26.05.jpg attached to EdinburghSep2012 by campbell
10:49 AM EdinburghSep2012 created by campbell

Sep 4, 2012:

7:37 PM Changeset [2322] by campbell
Today's correctness groupthink.

Sep 3, 2012:

4:44 PM Changeset [2321] by campbell
Add toolstick branch of the prototype.
4:33 PM Changeset [2320] by campbell
Update compiler and correctness with labelling changes.
1:16 PM Changeset [2319] by campbell
Generate per-program cost labels rather than per-function ones, and …
12:42 PM Changeset [2318] by boender
- now it compiles
11:36 AM Changeset [2317] by boender
- small changes to make things compile
9:03 AM Changeset [2316] by boender
- committed temporary version: true version has to wait until I …
Note: See TracTimeline for information about the timeline view.