Timeline
05/13/11:
- 18:31 Changeset [807] by
- small change
- 18:29 Changeset [806] by
- more changes to language used
- 18:21 Changeset [805] by
- …
- 18:18 Changeset [804] by
- …
- 18:07 Changeset [803] by
- more changes
- 17:55 Changeset [802] by
- …
- 17:50 Changeset [801] by
- Changes to english in letter.
- 17:36 Changeset [800] by
- Half finished.
- 17:35 Changeset [799] by
- more changes.
- 13:10 Changeset [798] by
- Fix usual matita tactic mistake.
- 13:10 Changeset [797] by
- Add error messages wherever the error monad is used. Sticks to CompCert? …
- 13:10 Changeset [796] by
- Put correct type on cost label expressions in the prototype.
- 12:29 Changeset [795] by
- Changes from this morning.
05/12/11:
- 19:19 Changeset [794] by
- Some content for addendum
- 17:33 Changeset [793] by
- Work from today on rtlabs -> rtl pass.
05/11/11:
- 17:06 Changeset [792] by
- Deliverable D2.1 with addendum
- 14:01 Changeset [791] by
- Empty addendum
- 11:44 PublicationVenues edited by
- (diff)
05/10/11:
- 17:50 Changeset [790] by
- A little tidying: get rid of requirement for jmeq in Mem.ma, remove extra …
- 17:36 Changeset [789] by
- More work on rtlabs -> rtl pass.
05/09/11:
05/06/11:
- 15:47 Changeset [788] by
- Add newer files to experimental Cminor branch.
- 11:45 Changeset [787] by
- Update experimental version of Cminor semantics.
05/05/11:
- 12:48 Changeset [786] by
- A version of the clight matita term printer for the current prototype.
- 11:38 Changeset [785] by
- Addenda required by the reviewers.
04/29/11:
- 13:59 Changeset [784] by
- Added missing tailcall simplification file.
- 13:36 Changeset [783] by
- rtl to ertl pass complete (modulo some straightforward axioms that need …
04/28/11:
- 17:36 Changeset [782] by
- More work on rtl-ertl pass from today, plus resolved conflict.
- 16:43 Changeset [781] by
- Implement labelling pass for Clight.
- 10:55 Changeset [780] by
- Properly update set of registers that are used for pointers in Cminor to …
- 10:55 Changeset [779] by
- Add merging of tries and identifier sets (based on Dominic's earlier …
- 10:28 Changeset [778] by
- moved register set into correct place
04/27/11:
- 17:25 Changeset [777] by
- Lots of work on RTL to ERTL pass from today.
- 11:47 Changeset [776] by
- Fix up some minor null pointer issues in Clight. Add corresponding Cminor …
- 11:47 Changeset [775] by
- A few useful definitions for when RTLabs programs fail.
04/26/11:
- 16:51 Changeset [774] by
- Separate out the different forms of addition and subtraction in the …
- 16:51 Changeset [773] by
- Report a couple of minor changes from the prototype compiler.
04/22/11:
- 17:09 Changeset [772] by
- Implement proper support for RTLabs addressing modes.
- 15:21 Changeset [771] by
- Implement switch statements in Cminor -> RTLabs phase
- 13:49 Changeset [770] by
- Clight and Cminor examples for switch statement.
- 13:49 Changeset [769] by
- Update the Clight matita term printer.
- 13:49 Changeset [768] by
- Make Cminor tests test translation to RTLabs.
- 11:48 Changeset [767] by
- Use variable shadowing as a poor man's state monad in cminor to rtlabs …
04/21/11:
- 19:24 Changeset [766] by
- Most of the Cminor to RTLabs stage. Is buggy, generates inefficient …
04/20/11:
- 17:39 Changeset [765] by
- Remove superfluous register in RTLabs return statements. Also fix up …
- 17:38 Changeset [764] by
- Start Cminor to RTLabs phase. Includes some syntax for matching triples …
- 11:33 Changeset [763] by
- Changes to RTL-ERTL pass.
04/19/11:
- 17:48 Changeset [762] by
- Make naming of RTLabs files more uniform
- 15:47 RelatedWork edited by
- (diff)
- 15:44 RelatedWork edited by
- (diff)
- 15:42 RelatedWork edited by
- (diff)
- 14:46 RelatedWork edited by
- (diff)
- 14:46 RelatedWork edited by
- (diff)
- 14:45 RelatedWork edited by
- (diff)
- 14:45 RelatedWork edited by
- (diff)
- 14:40 RelatedWork created by
- 14:40 WikiStart edited by
- (diff)
- 12:22 Changeset [761] by
- Enforce the use of declared identifiers/registers in Cminor/RTLabs.
- 12:22 Changeset [760] by
- Fix tailcall continuations in Cminor.
04/18/11:
- 17:32 Changeset [759] by
- More work on the RTL to ERTL pass.
- 12:33 Changeset [758] by
- Implement replacement of global var initialisation data by code in Cminor.
- 12:30 Changeset [757] by
- Lots more fixing to get both front and backends using same conventions and …
04/15/11:
- 17:47 Changeset [756] by
- Made a start on RTL. Renaming in ERTL and below to move closer to Brian's …
- 16:26 Changeset [755] by
- An experimental branch of the Cminor semantics.
- 13:29 Changeset [754] by
- Syntax of RTL.
04/14/11:
- 17:54 Changeset [753] by
- Work from today.
- 14:23 Changeset [752] by
- Fixed error in BitVectorTrieSet? file.
04/13/11:
- 18:52 Changeset [751] by
- Initial version of the Cminor syntax and semantics.
Note: See TracTimeline
for information about the timeline view.
