Timeline
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.
01/25/11:
- 18:22 Changeset [481] by
- Tcomp_ptr should take the memory region and use that to calculate its …
- 17:30 Changeset [480] by
- "memory_space" to "region" replacement to match ocaml code
- 17:30 Changeset [479] by
- Test of linked list insertion sort.
- 17:30 Changeset [478] by
- Prevent clashes between names in AST and other parts of the development. …
01/24/11:
- 14:57 Changeset [477] by
- Added file for LIN.
- 14:37 Changeset [476] by
- Commiting directory for formalization of intermediate compiler languages.
- 10:48 Ticket #1 (O'Caml emulator lacks export to Intel HEX) closed by
- fixed
- 10:47 Changeset [475] by
- Matita interpreter ported to latest version of matita (the one with the …
01/21/11:
- 14:31 Changeset [474] by
- Reduce "include"s to reduce compilation time. (Will be undone when moving …
- 14:31 Changeset [473] by
- Track changes in nlibrary list-theory.ma -> list.ma
- 11:08 Changeset [472] by
- More changes to debug and testing files to get them to work with the …
- 10:19 Changeset [471] by
- Deleted (now) superfluous custom library files in favour of using Matita …
- 10:18 Changeset [470] by
- Finished moving development over to standard library.
- 10:02 Changeset [469] by
- Update work-in-progress file to match current development.
- 10:02 Changeset [468] by
- Missing changes to completeness proof for function pointer type fix.
- 10:02 Changeset [467] by
- Update some of the commented-out parts of Globalenvs for testing.
01/20/11:
- 18:46 Changeset [466] by
- Most of execute_1 checked. Need to fix negations, though, in rest in …
- 18:10 Changeset [465] by
- Moved over to standard library.
- 13:35 Changeset [464] by
- Fixed strange bug/typo in BitVectorTrie?.ma
- 13:33 Changeset [463] by
- Fixed DoTest? so that it doesn't take an hour to typecheck.
- 13:32 Changeset [462] by
- Added bitvector arithmetic for Brian.
01/19/11:
- 18:23 Changeset [461] by
- Handle null pointer constants properly for generic pointers (introducing a …
- 18:23 Changeset [460] by
- Port memory spaces changes to latest prototype compiler.
- 17:22 Changeset [459] by
- Create branch of the prototype compiler for memory space support
- 15:16 Changeset [458] by
- Add a few more pointer tests.
- 15:06 Changeset [457] by
- Correct checking of function pointers.
- 11:45 Changeset [456] by
- Add 24bit initialisation data for null generic pointers.
- 10:58 Changeset [455] by
- Merge commit.
01/18/11:
- 19:23 Changeset [454] by
- CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from the …
Note: See TracTimeline
for information about the timeline view.
