Timeline


and

Mar 20, 2017:

6:53 PM Changeset [3669] by campbell
Add some notes on specification

Mar 16, 2017:

7:39 PM Changeset [3668] by mulligan
Attention on FramaC plugin section, now
7:11 PM Changeset [3667] by mulligan
Removed d2.1 citation in proof.tex so that document builds on MiXTeX …
5:21 PM Changeset [3666] by boender
Updated the proof part
5:09 PM Changeset [3665] by mulligan
finished compiler architecture section?
4:39 PM Changeset [3664] by mulligan
finished description of intermediate languages, will now move on to …
3:59 PM Changeset [3663] by mulligan
more work on compiler architecture section
3:42 PM Changeset [3662] by boender
Added LOC table to development chapter
2:34 PM Changeset [3661] by boender
Added second part of technical report as basis for Frama-C section
2:28 PM Changeset [3660] by mulligan
more work on compiler architecture section
12:54 PM Changeset [3659] by mulligan
more cannibalising, adding paolo's report on indexed labelling technique
12:40 PM Changeset [3658] by mulligan
added cannibalised diagrams to repo
12:39 PM Changeset [3657] by mulligan
more cannibalisation
12:17 PM Changeset [3656] by mulligan
cannibalising bits of project report for compiler proof section
12:06 PM Changeset [3655] by boender
Small mistake corrected
9:00 AM Changeset [3654] by boender
Used D5.1 as a base for the Frama-C plug-in chapter

Mar 14, 2017:

5:42 PM Changeset [3653] by mulligan
Added more ideas to future work, including use of DWARF for lifting …
4:34 PM Changeset [3652] by mulligan
more on biblio. finished now, i think…
11:14 AM Changeset [3651] by mulligan
more work on conclusions and related work, bibliography growing to …

Mar 13, 2017:

7:58 PM Changeset [3650] by mulligan
Finished first draft of verified compilation subsection. Many new …
6:01 PM Changeset [3649] by mulligan
more work on related work from this afternoon
12:48 PM Changeset [3648] by mulligan
exhausted my knowledge of type- and logic- based approaches to …
12:10 PM Changeset [3647] by mulligan
Reworked section on object-code approaches to resource analysis. Lots …
10:57 AM Changeset [3646] by mulligan
started rewriting conclusions…

Mar 8, 2017:

5:58 PM Changeset [3645] by mulligan
last commit of the day…
5:07 PM Changeset [3644] by mulligan
intro finished?
4:51 PM Changeset [3643] by mulligan
4:24 PM Changeset [3642] by mulligan
1:53 PM Changeset [3641] by mulligan
minor rewording before rems meeting
1:50 PM Changeset [3640] by mulligan
more work on intro…
1:01 PM Changeset [3639] by mulligan
more fiddling
12:34 PM Changeset [3638] by mulligan
moved big chunk of material out of intro, into conclusions
12:25 PM Changeset [3637] by mulligan
12:03 PM Changeset [3636] by mulligan
more rewriting, fiddling, rephrasing etc.
11:16 AM Changeset [3635] by mulligan
more work on intro…
11:01 AM Changeset [3634] by mulligan
more fleshing out
10:45 AM Changeset [3633] by mulligan
Fleshed out first part of introduction.

Mar 7, 2017:

11:04 AM Changeset [3632] by mulligan
Small tweaks before work on another paper
10:50 AM Changeset [3631] by mulligan
Rewrote abstract

Mar 6, 2017:

9:09 PM Changeset [3630] by mulligan
more on related work: mention of hume, and start of talk of raml …
8:25 PM Changeset [3629] by mulligan
tweaks…
7:37 PM Changeset [3628] by mulligan
refinements to conclusions
7:27 PM Changeset [3627] by mulligan
Abstract tweaks, compression, removing redundancies and ugly turns of …
7:22 PM Changeset [3626] by mulligan
Changes to main cerco.tex file: Changed subtitle to something a …
5:20 PM Changeset [3625] by mulligan
more work on related work section
5:15 PM Changeset [3624] by mulligan
more work on related work section
5:12 PM Changeset [3623] by boender
Added D2.1 as a base for the architecture parts
4:20 PM Changeset [3622] by boender
Added necessary file
4:19 PM Changeset [3621] by mulligan
refinements to summary, starting work on related work section
4:06 PM Changeset [3620] by boender
Rewrote introduction to sound less futuristic/defensive
4:02 PM Changeset [3619] by boender
Added section on Matita
3:50 PM Changeset [3618] by boender
Added Matita section
3:50 PM Changeset [3617] by mulligan
first draft of summary section of conclusion
3:36 PM Changeset [3616] by boender
Introduction: spell check
3:31 PM Changeset [3615] by boender
Moved paper structure comments to their relevant sections
3:28 PM Changeset [3614] by boender
Rewrote introduction, and moved development section
2:35 PM Changeset [3613] by boender
Cut paper into sections, continued introduction rewrite
2:26 PM Changeset [3612] by mulligan
more work on conclusions prior to meeting student
2:23 PM Changeset [3611] by boender
Rewrote introduction
2:13 PM Changeset [3610] by mulligan
started rewriting conclusions, making it less defensive and going on …
1:58 PM Changeset [3609] by boender
Prettified author list
1:51 PM Changeset [3608] by mulligan
added outline of paper, after discussion with jaap
12:51 PM Changeset [3607] by mulligan
more structure to paper
12:47 PM Changeset [3606] by mulligan
changed bibstyle to correct one
12:46 PM Changeset [3605] by mulligan
bib file
12:43 PM Changeset [3604] by mulligan
fopara intro as a base
12:37 PM Changeset [3603] by mulligan
added abstract from fopara as a base to work from
12:32 PM Changeset [3602] by mulligan
fixed up addresses, names, etc. for consistency
12:28 PM Changeset [3601] by boender
Added my address
12:24 PM Changeset [3600] by mulligan
addresses, authors, title, etc.
12:13 PM Changeset [3599] by mulligan
more initialisation work…
12:12 PM Changeset [3598] by mulligan
added empty tex file
12:11 PM Changeset [3597] by mulligan
changed to current year…
12:10 PM Changeset [3596] by mulligan
added jar style files
12:07 PM Changeset [3595] by mulligan
added new directory for paper

Feb 27, 2017:

10:50 AM Changeset [3594] by sacerdot
Old stuff never committed is now committed
Note: See TracTimeline for information about the timeline view.