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