Timeline
02/25/11:
- 23:49 Changeset [601] by
- Some cut&paste from the proposal to Section 1. To be (heavily?) changed …
- 23:06 Changeset [600] by
- …
- 22:58 Changeset [599] by
- …
- 22:53 Changeset [598] by
- …
- 22:20 Changeset [597] by
- …
- 18:30 Changeset [596] by
- …
- 18:15 Changeset [595] by
- …
- 11:19 Changeset [594] by
- Added names provided by Roberto.
- 10:43 Changeset [593] by
- Added word document version so non-Linux users can open it.
- 10:33 Changeset [592] by
- Updated list with detail of participants.
- 10:19 Changeset [591] by
- Small typo fixed.
- 10:13 Changeset [590] by
- Finished, apart from word which I do not understand. CSC to clarify.
- 10:01 PublicationVenues edited by
- (diff)
02/24/11:
- 20:01 Changeset [589] by
- Half completed the proofreading of CSC's document.
- 18:12 Changeset [588] by
- …
- 18:04 Changeset [587] by
- Added meeting schedule file.
02/23/11:
- 13:47 Changeset [586] by
- renamed to D1.1
- 13:45 Changeset [585] by
- …
- 13:41 Changeset [584] by
- Some work.
02/22/11:
- 16:23 Changeset [583] by
- Abstract pointer offsets a little, similar to the changes for the …
- 11:35 Changeset [582] by
- Use bit vector operations widely instead of round-trips through Z. …
02/21/11:
- 16:53 Changeset [581] by
- Template.
02/18/11:
- 15:11 Changeset [580] by
- Submitted version
- 15:08 Changeset [579] by
- slight tweaks
- 14:34 WikiStart edited by
- (diff)
- 14:29 Changeset [578] by
- Fixed typo.
- 13:45 Changeset [577] by
- Fixed capitalisation of FET-Open in bibliography.
- 13:43 Changeset [576] by
- Alphabetised cites that are given together.
- 13:38 Changeset [575] by
- Added explanation of ... syntax in Matita, along with current explanation …
- 13:32 Changeset [574] by
- Tweaked the document, and removed all junk from the end of the file.
- 13:30 Changeset [573] by
- Added round-trip tests.
- 13:28 Changeset [572] by
- tweaked the abstract
- 11:49 Changeset [571] by
- Finished tightening everything up. Just under 16 pages. Cannot add …
- 10:57 Changeset [570] by
- Tightened English up to Subsection 2.5
- 10:41 Changeset [569] by
- Tightened up English in the Introduction
- 10:10 Changeset [568] by
- Added two missing references, reduced back down to 16 pages by rewording …
02/17/11:
- 21:56 Changeset [567] by
- Undefined value singled out: what to do with it?
- 21:53 Changeset [566] by
- Undefined opcode singled out.
- 18:30 Changeset [565] by
- down to 16 pages after a bit of rewriting
- 17:36 Changeset [564] by
- Tentative conclusions.
- 16:45 Changeset [563] by
- …
- 16:41 Changeset [562] by
- …
- 16:20 Changeset [561] by
- …
- 15:14 Changeset [560] by
- Squashed emulator trace even further to save space
- 15:07 Changeset [559] by
- Added picture from Brian's report on 8051 memory layout
- 14:53 Changeset [558] by
- …
- 14:52 Changeset [557] by
- Emulator fixed for Wilmer
- 14:40 WikiStart edited by
- (diff)
- 14:37 WikiStart edited by
- (diff)
- 14:33 WikiStart edited by
- (diff)
- 14:31 Changeset [556] by
- …
- 14:30 WikiStart edited by
- (diff)
- 14:28 WikiStart edited by
- (diff)
- 14:17 Changeset [555] by
- Resolved conflict, updated bibtex, finished bibliography, and llncs.cls …
- 14:09 Changeset [554] by
- …
- 13:37 Changeset [553] by
- …
- 13:35 Changeset [552] by
- …
- 13:04 Changeset [551] by
- more added to bibliography
- 11:55 Changeset [550] by
- more entries added to bib
- 11:46 Changeset [549] by
- Half of bibliography added.
- 10:50 Changeset [548] by
- Fixed English in conclusion and discussion of I/O.
- 10:07 PublicationVenues edited by
- (diff)
02/16/11:
- 18:45 Changeset [547] by
- Add missing file.
- 18:12 Changeset [546] by
- Partly rewritten conclusions to fix English
- 18:07 Changeset [545] by
- I/O revisited.
- 17:35 Changeset [544] by
- …
- 17:34 Changeset [543] by
- …
- 17:32 Changeset [542] by
- Comparison.
- 17:23 Changeset [541] by
- Added more to appendix
- 17:21 Changeset [540] by
- Added appendix with main functions
- 17:10 Changeset [539] by
- more added
- 16:51 Changeset [538] by
- Fixed overview of paper, and finished describing continuations.
- 16:46 Changeset [537] by
- more added
- 16:29 Changeset [536] by
- more added
- 16:25 Changeset [535] by
- Minimal integration of bitvectors into Clight semantics - does a "round …
- 16:25 Changeset [534] by
- Fix a couple of bugs with branched 4.1 stuff.
- 16:25 Changeset [533] by
- Make stuff from D4.1 work with my copy of matita.
- 15:38 Changeset [532] by
- after much faffing, top of minipages now align correctly
- 15:27 Changeset [531] by
- Create temporary branch of D4.1 matita development to help integrate …
- 13:39 Changeset [530] by
- 8051/MIPS
- 13:38 Changeset [529] by
- wrote about cost labels
- 11:14 Changeset [528] by
- Removed all \begin{quote} .. \end{quote} around code snippets for better …
- 11:08 Changeset [527] by
- added section on representation of integers
02/15/11:
- 18:11 Changeset [526] by
- Something to say in the comparison.
- 18:04 Changeset [525] by
- lots of changes
- 17:26 Changeset [524] by
- Finished discussion of anatomy of emulator
- 16:55 Changeset [523] by
- added a small reference to cost labels, along with a pointer to the …
- 16:42 Changeset [522] by
- completed changes to discussion on labels and pseudoinstructions
- 16:24 Changeset [521] by
- more changes
- 15:37 Changeset [520] by
- more changes
- 15:23 Changeset [519] by
- Footnote fixed
- 15:05 Changeset [518] by
- small changes
- 14:53 Changeset [517] by
- more added
- 14:12 Changeset [516] by
- Added section on Tries
- 11:49 Changeset [515] by
- finished tidying the introduction
- 10:58 Changeset [514] by
- more tidying
- 10:44 Changeset [513] by
- more changes to intro
- 10:39 Changeset [512] by
- tidy up of the intro
02/14/11:
- 17:30 Changeset [511] by
- validation section complete
- 16:17 Changeset [510] by
- more added, talking about dependent types now
- 15:27 Changeset [509] by
- Background.
- 15:24 Changeset [508] by
- Changes
- 14:15 Changeset [507] by
- A bit on labels and pseudo-instructions
- 11:55 Changeset [506] by
- a bit more added
- 11:14 Changeset [505] by
- finished sentence
- 11:14 Changeset [504] by
- work on intro committed following claudio's second e-mail
- 11:04 Changeset [503] by
- Added PNG files for claudio.
02/11/11:
- 17:45 Changeset [502] by
- Fix not on nulls on Clight.
- 17:35 Changeset [501] by
- more changes
- 16:45 Changeset [500] by
- Use dependent pointer type to ensure that the representation is always …
- 16:45 Changeset [499] by
- pointer_compat is a little more natural if it takes that block rather than …
- 16:45 Changeset [498] by
- Make block type a little more abstract; remove knowledge about the old …
- 16:45 Changeset [497] by
- Remove bogus pointer compatibility case.
- 16:45 Changeset [496] by
- First pass at moving regions to block type.
- 15:16 Changeset [495] by
- more added
- 12:11 Changeset [494] by
- more added
- 11:40 Changeset [493] by
- incorporated some text from the eu report that needs to be pared down
- 10:22 Changeset [492] by
- Initial commit of outline of prospective itp-2011 paper.
02/10/11:
- 15:28 Changeset [491] by
- Initial commit of (part)-formalisation of LIN intermediate language.
02/09/11:
- 18:22 Changeset [490] by
- Update syntax of Matita Clight term printer.
- 18:22 Changeset [489] by
- Pointer fixes for the temporary version of the compiler that can output …
- 11:58 Changeset [488] by
- Some missing equality constants used by destruct.
- 11:49 Changeset [487] by
- Port Clight semantics to the new-new matita syntax.
02/08/11:
02/06/11:
- 11:36 PublicationVenues edited by
- (diff)
- 11:12 PublicationVenues edited by
- (diff)
- 11:08 PublicationVenues edited by
- (diff)
- 10:50 PublicationVenues created by
- Initial creation
- 10:47 WikiStart edited by
- Added a section on potential publication venues. (diff)
02/05/11:
- 11:18 WikiStart edited by
- Added Ian to Edinburgh (diff)
02/04/11:
- 13:52 Changeset [486] by
- Deliverable D2.2
02/02/11:
- 12:41 Changeset [485] by
- Fix treatment of pointers in initialisation data, a little like later …
01/28/11:
- 14:41 Changeset [484] by
- Separate out null values from integer zeros.
- 14:41 Changeset [483] by
- Use pointer-specific "chunks" of memory for pointer loads and stores, in …
- 14:41 Changeset [482] by
- Note the purpose of the region in a pointer value.
Note: See TracTimeline
for information about the timeline view.
