Timeline


and

Jan 11, 2013:

9:36 PM Changeset [2578] by garnier
Progress on CL to CM, fixed some stuff in memory injections.
5:05 PM HiPEAC13 edited by sacerdot
(diff)
5:03 PM logo-hipeac.png attached to HiPEAC13 by sacerdot
HiPEAC logo
5:02 PM HiPEAC13 edited by sacerdot
(diff)
5:00 PM Changeset [2577] by tranquil
abstract of indexed labels talk
4:09 PM WikiStart edited by campbell
(diff)
4:09 PM WikiStart edited by campbell
(diff)
4:08 PM WikiStart edited by campbell
(diff)

Jan 10, 2013:

3:57 PM Changeset [2576] by campbell
Add conditional test case that also uses switch removal.

Jan 9, 2013:

8:51 PM Changeset [2575] by mckinna
temporary commit localised the source of trouble in the proof of …
6:33 PM Changeset [2574] by campbell
Update labelling simulation proofs due to some changes elsewhere.
6:15 PM Changeset [2573] by mckinna
temporary fixes to ensure {compiler,correctness}.ma recompile after …
1:23 PM Changeset [2572] by garnier
Progress on toCminorCorrectness.

Jan 8, 2013:

5:46 PM Changeset [2571] by campbell
Lots of little changes for cl_tailcall and classifier change.

Jan 5, 2013:

1:41 PM Changeset [2570] by piccolo
ERTLtoERTLptr in place

Jan 4, 2013:

2:59 PM Changeset [2569] by campbell
Fix Clight semantics for ptr + char. (Compiler works anyway.)
2:59 PM Changeset [2568] by campbell
Relax some Clight type checks to Cminor type checks to avoid …

Dec 22, 2012:

1:51 PM Changeset [2567] by amadio
r

Dec 21, 2012:

4:44 PM HiPEAC13 edited by campbell
(diff)
4:42 PM HiPEAC13 edited by campbell
(diff)
4:41 PM HiPEAC13 edited by campbell
(diff)
4:36 PM HiPEAC13 edited by campbell
(diff)

Dec 19, 2012:

6:55 PM Changeset [2566] by piccolo
ERTL to ERTLptr pass implemented up to a few things to be left to the …
6:11 PM Changeset [2565] by garnier
Cl to Cm progress.
12:46 PM Changeset [2564] by piccolo
ERTL fully repaired, useless part of return value of pop_ra removed.
11:58 AM Changeset [2563] by piccolo
Repairing ERTL: show stopper found.
10:38 AM Changeset [2562] by piccolo
linearise modified

Dec 18, 2012:

5:03 PM Changeset [2561] by tranquil
* moved CALL as different case than joint_seq: lots of broken code now …
4:38 PM Changeset [2560] by garnier
Fix in trace gen for CL
1:56 PM Changeset [2559] by piccolo
lineariseProof finished
8:40 AM Changeset [2558] by amadio
r

Dec 17, 2012:

2:35 PM Changeset [2557] by tranquil
minor modification of commented (for now) proof of correctness of …

Dec 14, 2012:

2:54 PM Changeset [2556] by tranquil
in joint semantics and traces: added a last popped calling address to …
12:40 AM Changeset [2555] by piccolo
lemma eval_call_ok finished

Dec 13, 2012:

5:22 PM Changeset [2554] by garnier
Proof of expression translation correctness "mostly" done for CL to …

Dec 12, 2012:

2:43 PM Changeset [2553] by tranquil
as_classify changed to a partial function added a status for tailcalls
Note: See TracTimeline for information about the timeline view.