Timeline



Oct 20, 2012:

8:08 PM Changeset [2411] by sacerdot
Extensible records implemented via option type. One axiom left.

Oct 19, 2012:

5:05 PM Changeset [2410] by mulligan
Changes to Section 2.
4:48 PM Changeset [2409] by mulligan
Some text about algebraic data types and their limitations. Needs to …
2:07 PM Changeset [2408] by sacerdot
11:18 AM Changeset [2407] by campbell
Sigh, continue in for loops was broken too.

Oct 18, 2012:

6:35 PM Changeset [2406] by sacerdot
Elimination principle committed.
5:29 PM Changeset [2405] by sacerdot
Type of elimination principle generated + more lemmas.
4:10 PM Changeset [2404] by sacerdot
Example finished.
3:57 PM Changeset [2403] by sacerdot
More work, example almost finished up to recursive type.
3:36 PM Changeset [2402] by sacerdot
Progress on parametric types.
1:41 PM Changeset [2401] by mulligan
For Jaap's delight.
1:40 PM Changeset [2400] by sacerdot
Some tests.

Oct 17, 2012:

6:45 PM Changeset [2399] by campbell
Fill in some details about the statement of correctness.
3:35 PM Changeset [2398] by boender
- committed start of stacksize
12:27 PM Changeset [2397] by mulligan
Knocked the initial skeleton into some form of compilable state
12:20 PM Changeset [2396] by mulligan
Polymorphic variants paper skeleton

Oct 12, 2012:

3:33 PM Changeset [2395] by campbell
Proper handling of comparison of pointers off-the-end of an object. We …
12:59 PM Changeset [2394] by campbell
I've kept the odd note on bits of CerCo? work I've been doing. James …

Oct 10, 2012:

5:56 PM Changeset [2393] by campbell
A pointer comparison test case that illustrates a bug.
5:18 PM Changeset [2392] by campbell
Labelling translations of && and || need a lot of cost labelling to …

Oct 9, 2012:

3:10 PM Changeset [2391] by campbell
Revert "Put the post-loop cost label into the Clight while statement …

Oct 5, 2012:

12:57 PM Changeset [2390] by campbell
Tidy up a corner case when generating RTLabs so that we generate less …
12:57 PM Changeset [2389] by campbell
Fix dowhile statements, and carefully arrange the translation so that …
12:57 PM Changeset [2388] by campbell
Example of each type of control flow statement, plus minor fix to …

Oct 3, 2012:

1:27 PM Changeset [2387] by garnier
Revamped memory extensions, proved stuff on freeing blocks and on …
1:26 PM Changeset [2386] by garnier
Implementation of constructive finite sets based on lists. Various …
11:33 AM Changeset [2385] by campbell
Minor housekeeping.

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 …
Note: See TracTimeline for information about the timeline view.