Timeline



Mar 21, 2017:

7:09 PM Changeset [3673] by campbell
Tweak whole-compiler spec statement
3:57 PM Changeset [3672] by campbell
I'd been keeping some notes in the repo; didn't commit these before
3:57 PM Changeset [3671] by campbell
Rework some whole-compiler spec
3:57 PM Changeset [3670] by campbell
Move a chunk of old specification text into place

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