Timeline
Jan 5, 2013:
- 1:41 PM Changeset [2570] by
- ERTLtoERTLptr in place
Jan 4, 2013:
- 2:59 PM Changeset [2569] by
- Fix Clight semantics for ptr + char. (Compiler works anyway.)
- 2:59 PM Changeset [2568] by
- Relax some Clight type checks to Cminor type checks to avoid …
Dec 22, 2012:
Dec 21, 2012:
- 4:44 PM HiPEAC13 edited by
- (diff)
- 4:42 PM HiPEAC13 edited by
- (diff)
- 4:41 PM HiPEAC13 edited by
- (diff)
- 4:36 PM HiPEAC13 edited by
- (diff)
Dec 19, 2012:
- 6:55 PM Changeset [2566] by
- ERTL to ERTLptr pass implemented up to a few things to be left to the …
- 6:11 PM Changeset [2565] by
- Cl to Cm progress.
- 12:46 PM Changeset [2564] by
- ERTL fully repaired, useless part of return value of pop_ra removed.
- 11:58 AM Changeset [2563] by
- Repairing ERTL: show stopper found.
- 10:38 AM Changeset [2562] by
- linearise modified
Dec 18, 2012:
- 5:03 PM Changeset [2561] by
- * moved CALL as different case than joint_seq: lots of broken code now …
- 4:38 PM Changeset [2560] by
- Fix in trace gen for CL
- 1:56 PM Changeset [2559] by
- lineariseProof finished
- 8:40 AM Changeset [2558] by
- r
Dec 17, 2012:
- 2:35 PM Changeset [2557] by
- minor modification of commented (for now) proof of correctness of …
Dec 14, 2012:
- 2:54 PM Changeset [2556] by
- in joint semantics and traces: added a last popped calling address to …
- 12:40 AM Changeset [2555] by
- lemma eval_call_ok finished
Dec 13, 2012:
- 5:22 PM Changeset [2554] by
- Proof of expression translation correctness "mostly" done for CL to …
Dec 12, 2012:
- 2:43 PM Changeset [2553] by
- as_classify changed to a partial function added a status for tailcalls
Dec 11, 2012:
- 3:19 PM Changeset [2552] by
- Some different ideas, don't seem to be working out well.
- 2:17 AM HiPEAC13 edited by
- (diff)
Dec 10, 2012:
- 8:11 PM Changeset [2551] by
- completed isFinal and fetchStatementSigmaCommute. Fixed exit …
- 6:39 PM Changeset [2550] by
- Some new ideas that lead to non-termination…
- 4:44 PM Changeset [2549] by
- Not as straightforward as first imagined…
- 2:33 PM Changeset [2548] by
- in BackEndOps?, cleaner def of be_op2 new statement of …
Note: See TracTimeline
for information about the timeline view.