Timeline



Mar 1, 2011:

6:12 PM Changeset [614] by sacerdot
Template for the presentation.
5:47 PM Changeset [613] by mulligan
More changes to skeleton.
5:15 PM Changeset [612] by mulligan
Moved presentation file to something more descriptive.
5:04 PM Changeset [611] by mulligan
Added my skeleton presentation file for first-year meeting.
4:59 PM Changeset [610] by mulligan
Added directory for the presentations for the first-year meeting with …
3:47 PM Changeset [609] by sacerdot
1:07 PM Changeset [608] by mulligan
Final changes to document to get first section under 4 pages.
12:51 PM Changeset [607] by mulligan
Finished correcting English in the introduction
11:59 AM Changeset [606] by mulligan
Changes to English in intro to report.

Feb 28, 2011:

12:53 AM Changeset [605] by sacerdot
12:47 AM Changeset [604] by sacerdot

Feb 27, 2011:

11:07 PM Changeset [603] by sacerdot
4:59 PM Changeset [602] by sacerdot
One more talk.

Feb 25, 2011:

11:49 PM Changeset [601] by sacerdot
Some cut&paste from the proposal to Section 1. To be (heavily?) …
11:06 PM Changeset [600] by sacerdot
10:58 PM Changeset [599] by sacerdot
10:53 PM Changeset [598] by sacerdot
10:20 PM Changeset [597] by sacerdot
6:30 PM Changeset [596] by sacerdot
6:15 PM Changeset [595] by sacerdot
11:19 AM Changeset [594] by mulligan
Added names provided by Roberto.
10:43 AM Changeset [593] by mulligan
Added word document version so non-Linux users can open it.
10:33 AM Changeset [592] by mulligan
Updated list with detail of participants.
10:19 AM Changeset [591] by mulligan
Small typo fixed.
10:13 AM Changeset [590] by mulligan
Finished, apart from word which I do not understand. CSC to clarify.
10:01 AM PublicationVenues edited by mulligan
(diff)

Feb 24, 2011:

8:01 PM Changeset [589] by mulligan
Half completed the proofreading of CSC's document.
6:12 PM Changeset [588] by sacerdot
6:04 PM Changeset [587] by mulligan
Added meeting schedule file.

Feb 23, 2011:

1:47 PM Changeset [586] by sacerdot
renamed to D1.1
1:45 PM Changeset [585] by sacerdot
1:41 PM Changeset [584] by sacerdot
Some work.

Feb 22, 2011:

4:23 PM Changeset [583] by campbell
Abstract pointer offsets a little, similar to the changes for the …
11:35 AM Changeset [582] by campbell
Use bit vector operations widely instead of round-trips through Z. …

Feb 21, 2011:

4:53 PM Changeset [581] by sacerdot
Template.

Feb 18, 2011:

3:11 PM Changeset [580] by mulligan
Submitted version
3:08 PM Changeset [579] by mulligan
slight tweaks
2:34 PM D4_1_Code.tar.gz attached to WikiStart by mulligan
2:34 PM WikiStart edited by mulligan
(diff)
2:29 PM Changeset [578] by mulligan
Fixed typo.
1:45 PM Changeset [577] by mulligan
Fixed capitalisation of FET-Open in bibliography.
1:43 PM Changeset [576] by mulligan
Alphabetised cites that are given together.
1:38 PM Changeset [575] by mulligan
Added explanation of ... syntax in Matita, along with current …
1:32 PM Changeset [574] by mulligan
Tweaked the document, and removed all junk from the end of the file.
1:30 PM Changeset [573] by ricciott
Added round-trip tests.
1:28 PM Changeset [572] by mulligan
tweaked the abstract
11:49 AM Changeset [571] by mulligan
Finished tightening everything up. Just under 16 pages. Cannot add …
10:57 AM Changeset [570] by mulligan
Tightened English up to Subsection 2.5
10:41 AM Changeset [569] by mulligan
Tightened up English in the Introduction
10:10 AM Changeset [568] by mulligan
Added two missing references, reduced back down to 16 pages by …

Feb 17, 2011:

9:56 PM Changeset [567] by sacerdot
Undefined value singled out: what to do with it?
9:53 PM Changeset [566] by sacerdot
Undefined opcode singled out.
6:30 PM Changeset [565] by mulligan
down to 16 pages after a bit of rewriting
5:36 PM Changeset [564] by sacerdot
Tentative conclusions.
4:45 PM Changeset [563] by sacerdot
4:41 PM Changeset [562] by sacerdot
4:20 PM Changeset [561] by sacerdot
3:14 PM Changeset [560] by mulligan
Squashed emulator trace even further to save space
3:07 PM Changeset [559] by mulligan
Added picture from Brian's report on 8051 memory layout
2:53 PM Changeset [558] by sacerdot
2:52 PM Changeset [557] by mulligan
Emulator fixed for Wilmer
2:40 PM D6_2.pdf attached to WikiStart by mulligan
2:40 PM WikiStart edited by mulligan
(diff)
2:37 PM D4_1.pdf attached to WikiStart by mulligan
2:37 PM WikiStart edited by mulligan
(diff)
2:33 PM D3_1.pdf attached to WikiStart by mulligan
2:33 PM WikiStart edited by mulligan
(diff)
2:31 PM Changeset [556] by sacerdot
2:30 PM D2_2.pdf attached to WikiStart by mulligan
2:30 PM WikiStart edited by mulligan
(diff)
2:29 PM D2_1.pdf attached to WikiStart by mulligan
2:28 PM WikiStart edited by mulligan
(diff)
2:17 PM Changeset [555] by mulligan
Resolved conflict, updated bibtex, finished bibliography, and …
2:09 PM Changeset [554] by sacerdot
1:37 PM Changeset [553] by sacerdot
1:35 PM Changeset [552] by sacerdot
1:04 PM Changeset [551] by mulligan
more added to bibliography
11:55 AM Changeset [550] by mulligan
more entries added to bib
11:46 AM Changeset [549] by mulligan
Half of bibliography added.
10:50 AM Changeset [548] by mulligan
Fixed English in conclusion and discussion of I/O.
10:07 AM PublicationVenues edited by mulligan
(diff)

Feb 16, 2011:

6:45 PM Changeset [547] by campbell
Add missing file.
6:12 PM Changeset [546] by mulligan
Partly rewritten conclusions to fix English
6:07 PM Changeset [545] by sacerdot
I/O revisited.
5:35 PM Changeset [544] by sacerdot
5:34 PM Changeset [543] by sacerdot
5:32 PM Changeset [542] by sacerdot
Comparison.
5:23 PM Changeset [541] by mulligan
Added more to appendix
5:21 PM Changeset [540] by mulligan
Added appendix with main functions
5:10 PM Changeset [539] by mulligan
more added
4:51 PM Changeset [538] by mulligan
Fixed overview of paper, and finished describing continuations.
4:46 PM Changeset [537] by mulligan
more added
4:29 PM Changeset [536] by mulligan
more added
4:25 PM Changeset [535] by campbell
Minimal integration of bitvectors into Clight semantics - does a …
4:25 PM Changeset [534] by campbell
Fix a couple of bugs with branched 4.1 stuff.
4:25 PM Changeset [533] by campbell
Make stuff from D4.1 work with my copy of matita.
3:38 PM Changeset [532] by mulligan
after much faffing, top of minipages now align correctly
3:27 PM Changeset [531] by campbell
Create temporary branch of D4.1 matita development to help integrate …
1:39 PM Changeset [530] by sacerdot
8051/MIPS
1:38 PM Changeset [529] by mulligan
wrote about cost labels
11:14 AM Changeset [528] by mulligan
Removed all \begin{quote} .. \end{quote} around code snippets for …
11:08 AM Changeset [527] by mulligan
added section on representation of integers

Feb 15, 2011:

6:11 PM Changeset [526] by sacerdot
Something to say in the comparison.
6:04 PM Changeset [525] by mulligan
lots of changes
5:26 PM Changeset [524] by mulligan
Finished discussion of anatomy of emulator
4:55 PM Changeset [523] by mulligan
added a small reference to cost labels, along with a pointer to the …
4:42 PM Changeset [522] by mulligan
completed changes to discussion on labels and pseudoinstructions
4:24 PM Changeset [521] by mulligan
more changes
3:37 PM Changeset [520] by mulligan
more changes
3:23 PM Changeset [519] by mulligan
Footnote fixed
3:05 PM Changeset [518] by mulligan
small changes
2:53 PM Changeset [517] by mulligan
more added
2:12 PM Changeset [516] by mulligan
Added section on Tries
11:49 AM Changeset [515] by mulligan
finished tidying the introduction
10:58 AM Changeset [514] by mulligan
more tidying
10:44 AM Changeset [513] by mulligan
more changes to intro
10:39 AM Changeset [512] by mulligan
tidy up of the intro

Feb 14, 2011:

5:30 PM Changeset [511] by mulligan
validation section complete
4:17 PM Changeset [510] by mulligan
more added, talking about dependent types now
3:27 PM Changeset [509] by sacerdot
Background.
3:24 PM Changeset [508] by mulligan
Changes
2:15 PM Changeset [507] by mulligan
A bit on labels and pseudo-instructions
11:55 AM Changeset [506] by mulligan
a bit more added
11:14 AM Changeset [505] by mulligan
finished sentence
11:14 AM Changeset [504] by mulligan
work on intro committed following claudio's second e-mail
11:04 AM Changeset [503] by mulligan
Added PNG files for claudio.

Feb 11, 2011:

5:45 PM Changeset [502] by campbell
Fix not on nulls on Clight.
5:35 PM Changeset [501] by mulligan
more changes
4:45 PM Changeset [500] by campbell
Use dependent pointer type to ensure that the representation is always …
4:45 PM Changeset [499] by campbell
pointer_compat is a little more natural if it takes that block rather …
4:45 PM Changeset [498] by campbell
Make block type a little more abstract; remove knowledge about the old …
4:45 PM Changeset [497] by campbell
Remove bogus pointer compatibility case.
4:45 PM Changeset [496] by campbell
First pass at moving regions to block type.
3:16 PM Changeset [495] by mulligan
more added
12:11 PM Changeset [494] by mulligan
more added
11:40 AM Changeset [493] by mulligan
incorporated some text from the eu report that needs to be pared down
10:22 AM Changeset [492] by mulligan
Initial commit of outline of prospective itp-2011 paper.

Feb 10, 2011:

3:28 PM Changeset [491] by mulligan
Initial commit of (part)-formalisation of LIN intermediate language.

Feb 9, 2011:

6:22 PM Changeset [490] by campbell
Update syntax of Matita Clight term printer.
6:22 PM Changeset [489] by campbell
Pointer fixes for the temporary version of the compiler that can …
11:58 AM Changeset [488] by campbell
Some missing equality constants used by destruct.
11:49 AM Changeset [487] by campbell
Port Clight semantics to the new-new matita syntax.

Feb 8, 2011:

10:19 AM PublicationVenues edited by mulligan
(diff)

Feb 6, 2011:

11:36 AM PublicationVenues edited by mulligan
(diff)
11:12 AM PublicationVenues edited by mulligan
(diff)
11:08 AM PublicationVenues edited by mulligan
(diff)
10:50 AM PublicationVenues created by mulligan
Initial creation
10:47 AM WikiStart edited by mulligan
Added a section on potential publication venues. (diff)

Feb 5, 2011:

11:18 AM WikiStart edited by Ian Stark
Added Ian to Edinburgh (diff)

Feb 4, 2011:

1:52 PM Changeset [486] by ayache
Deliverable D2.2

Feb 2, 2011:

12:41 PM Changeset [485] by campbell
Fix treatment of pointers in initialisation data, a little like later …
Note: See TracTimeline for information about the timeline view.