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