Timeline
May 25, 2011:
- 6:10 PM Changeset [846] by
- changes
- 6:09 PM Changeset [845] by
- Nightmare…
- 4:26 PM Changeset [844] by
- Useless code removed.
- 3:57 PM Changeset [843] by
- Function moved from Interpret to Status.
- 3:57 PM Changeset [842] by
- Bug fixed.
- 2:33 PM Changeset [841] by
- Minor changes.
- 1:57 PM Changeset [840] by
- sigma defined
- 1:31 PM Changeset [839] by
- More experiments.
- 12:08 PM Changeset [838] by
- Restored.
- 11:49 AM Changeset [837] by
- changes complete
- 11:43 AM Changeset [836] by
- changes to assembly functions
- 11:06 AM Changeset [835] by
- Old experiments removed.
- 12:10 AM Changeset [834] by
- Russell at work.
May 24, 2011:
- 11:19 PM Changeset [833] by
- Bug fixed to make the file compile. But the type of the assembly …
- 6:40 PM Changeset [832] by
- work from today
- 4:01 PM Changeset [831] by
- Progress in proofs.
- 2:27 PM Changeset [830] by
- Move files that accidentally ended up in the root of the repository.
- 2:06 PM Changeset [829] by
- …
- 1:32 PM Changeset [828] by
- Proof statement.
- 1:26 PM Changeset [827] by
- The preamble is now part of the PseudoStatus?.
May 23, 2011:
- 6:39 PM Changeset [826] by
- start of proof
- 6:12 PM Changeset [825] by
- lots of refactoring, finally got something to prove
- 5:39 PM Changeset [824] by
- Some work on showing that casts around integer operations can be removed.
- 4:24 PM Changeset [823] by
- added new file for proof of correctness of pseudo-assembly translation
- 4:22 PM Changeset [822] by
- removed all axioms
- 3:23 PM Changeset [821] by
- changes to introduce pseudostatus
May 20, 2011:
- 6:09 PM Changeset [820] by
- changes to get the semantics of pseudoassembly working
May 19, 2011:
- 4:45 PM Changeset [819] by
- Final changes. Under 8 pages.
- 4:03 PM Changeset [818] by
- 32 and 16 bits operations support in D2.2/8051
- 3:16 PM Changeset [817] by
- final changes, now to get under 8 pages
- 3:06 PM Changeset [816] by
- Clight to Cminor compilation, modulo switch statements, temporary …
- 12:24 PM Changeset [815] by
- some changes
May 18, 2011:
- 3:33 PM Changeset [814] by
- changes with claudio
May 16, 2011:
- 6:07 PM Changeset [813] by
- added boxing of matita code to distinguish from o'caml
- 5:43 PM Changeset [812] by
- small change
- 5:35 PM Changeset [811] by
- small typo fixed
- 5:12 PM Changeset [810] by
- More added.
- 4:32 PM Changeset [809] by
- more changes to get everything to fit correctly. gone past 8 pg limit
- 10:44 AM Changeset [808] by
- Changes to paper to get it ready for FMCAD
May 13, 2011:
- 6:31 PM Changeset [807] by
- small change
- 6:29 PM Changeset [806] by
- more changes to language used
- 6:21 PM Changeset [805] by
- …
- 6:18 PM Changeset [804] by
- …
- 6:07 PM Changeset [803] by
- more changes
- 5:55 PM Changeset [802] by
- …
- 5:50 PM Changeset [801] by
- Changes to english in letter.
- 5:36 PM Changeset [800] by
- Half finished.
- 5:35 PM Changeset [799] by
- more changes.
- 1:10 PM Changeset [798] by
- Fix usual matita tactic mistake.
- 1:10 PM Changeset [797] by
- Add error messages wherever the error monad is used. Sticks to …
- 1:10 PM Changeset [796] by
- Put correct type on cost label expressions in the prototype.
- 12:29 PM Changeset [795] by
- Changes from this morning.
May 12, 2011:
- 7:19 PM Changeset [794] by
- Some content for addendum
- 5:33 PM Changeset [793] by
- Work from today on rtlabs -> rtl pass.
May 11, 2011:
- 5:06 PM Changeset [792] by
- Deliverable D2.1 with addendum
- 2:01 PM Changeset [791] by
- Empty addendum
- 11:44 AM PublicationVenues edited by
- (diff)
May 10, 2011:
- 5:50 PM Changeset [790] by
- A little tidying: get rid of requirement for jmeq in Mem.ma, remove …
- 5:36 PM Changeset [789] by
- More work on rtlabs -> rtl pass.
May 9, 2011:
May 6, 2011:
- 3:47 PM Changeset [788] by
- Add newer files to experimental Cminor branch.
- 11:45 AM Changeset [787] by
- Update experimental version of Cminor semantics.
May 5, 2011:
- 12:48 PM Changeset [786] by
- A version of the clight matita term printer for the current prototype.
- 11:38 AM Changeset [785] by
- Addenda required by the reviewers.
Apr 29, 2011:
- 1:59 PM Changeset [784] by
- Added missing tailcall simplification file.
- 1:36 PM Changeset [783] by
- rtl to ertl pass complete (modulo some straightforward axioms that …
Apr 28, 2011:
- 5:36 PM Changeset [782] by
- More work on rtl-ertl pass from today, plus resolved conflict.
- 4:43 PM Changeset [781] by
- Implement labelling pass for Clight.
- 10:55 AM Changeset [780] by
- Properly update set of registers that are used for pointers in Cminor …
- 10:55 AM Changeset [779] by
- Add merging of tries and identifier sets (based on Dominic's earlier …
- 10:28 AM Changeset [778] by
- moved register set into correct place
Apr 27, 2011:
- 5:25 PM Changeset [777] by
- Lots of work on RTL to ERTL pass from today.
- 11:47 AM Changeset [776] by
- Fix up some minor null pointer issues in Clight. Add corresponding …
- 11:47 AM Changeset [775] by
- A few useful definitions for when RTLabs programs fail.
Apr 26, 2011:
- 4:51 PM Changeset [774] by
- Separate out the different forms of addition and subtraction in the …
- 4:51 PM Changeset [773] by
- Report a couple of minor changes from the prototype compiler.
Note: See TracTimeline
for information about the timeline view.