Timeline


and

Mar 7, 2014:

12:52 PM Changeset [3466] by asperti
Removed function that is only in the standard library. Maaaany more to …

Feb 21, 2014:

8:49 PM Changeset [3465] by piccolo
8:34 PM Changeset [3464] by piccolo
static_dinamic in place
6:15 PM Changeset [3463] by piccolo
5:51 PM Changeset [3462] by campbell
Some final changes before submission.
11:50 AM Changeset [3461] by mulligan
more fiddling
11:24 AM Changeset [3460] by mulligan
more fiddling, commit to avoid conflicts
10:35 AM Changeset [3459] by mulligan
small changes to abstract again

Feb 20, 2014:

7:15 PM Changeset [3458] by piccolo
7:14 PM Changeset [3457] by piccolo
4:45 PM Changeset [3456] by mulligan
more small changes to bib file, including filling in paolo's qapl …
4:20 PM Changeset [3455] by mulligan
more space saving. now down to 16 pages + 1 page bibliography
1:01 PM Changeset [3454] by mulligan
a little more
12:38 PM Changeset [3453] by mulligan
reworking up to Section 2
11:57 AM Changeset [3452] by mulligan
changes to second para
11:43 AM Changeset [3451] by mulligan
de-Tristram Shandefied the opening paragraph
11:26 AM Changeset [3450] by mulligan
small rewordings of the abstract, working on rest of paper
10:59 AM Changeset [3449] by piccolo
clean up

Feb 19, 2014:

6:45 PM Changeset [3448] by piccolo

Feb 18, 2014:

5:43 PM Changeset [3447] by piccolo
correctness proof in place
12:03 PM Changeset [3446] by piccolo
Correctness proof, closed all cases except the big lemma one

Feb 17, 2014:

5:45 PM Changeset [3445] by piccolo
correctness proof finished with a big open lemma
12:37 PM Changeset [3444] by mulligan
More language changes. At end of file.
12:09 PM Changeset [3443] by mulligan
More changes, including more missing references (including to CerCo?'s …
11:40 AM Changeset [3442] by mulligan
Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.
11:17 AM Changeset [3441] by mulligan
Some language/spelling changes in fopara2013.tex up to Section 2. …

Feb 14, 2014:

8:19 PM Changeset [3440] by campbell
Add a preformatted PDF.
8:17 PM Changeset [3439] by campbell
Fiddle references back into one page.
8:10 PM Changeset [3438] by campbell
Appendix about the reviewer's comments.
7:56 PM Changeset [3437] by campbell
Deal more directly with some reviewer's comments.
7:21 PM Changeset [3436] by campbell
Section 4.5 revisions.
5:37 PM Changeset [3435] by campbell
Revise section 4.4.
4:36 PM Changeset [3434] by campbell
Section 4.3 revised.
2:43 PM Changeset [3433] by campbell
Revise sections 4.1, 4.2.
12:09 PM Changeset [3432] by campbell
Consistently use ll spelling of labelled/labelling.
12:09 PM Changeset [3431] by campbell
Note the specification language in Sec 3.

Feb 13, 2014:

2:12 PM Changeset [3430] by campbell
Revisions up to the end of section 3.
2:12 PM Changeset [3429] by campbell
Adjust figure formatting to fit in page without being unreadable.

Feb 12, 2014:

11:30 AM Changeset [3428] by campbell
More minor stuff.

Feb 11, 2014:

6:41 PM Changeset [3427] by campbell
Make example clearer for readers in black and white.
6:41 PM Changeset [3426] by campbell
Clarify WCET state-of-the-art citation.
5:02 PM Changeset [3425] by campbell
Rearrange section 4
12:35 PM Changeset [3424] by campbell
Minor edits to section 4.

Feb 10, 2014:

6:45 PM Changeset [3423] by campbell
Note for appendix.
6:45 PM Changeset [3422] by campbell
Basic restructuring of section 2.
6:45 PM Changeset [3421] by campbell
Note parametric example for appendix
5:18 PM Changeset [3420] by campbell
Parametric example for FOPARA.
5:18 PM Changeset [3419] by campbell
Tweak abstract.
11:53 AM Changeset [3418] by campbell
Move preproceedings version of FOPARA paper aside.
11:47 AM Changeset [3417] by campbell
Many of the minor reviewer comments about FOPARA paper.
Note: See TracTimeline for information about the timeline view.