Timeline



Jul 7, 2010:

6:46 PM Changeset [12] by campbell
Make memory model tests more readable. Update README.
12:55 PM Changeset [11] by campbell
Fill in some axioms to aid executablity. Implement global variable …

Jul 6, 2010:

11:53 AM Changeset [10] by campbell
Add binary arithmetic libraries, use for integers and identifiers (but …

Jun 21, 2010:

4:22 PM Changeset [9] by campbell
Enough of an executable semantics to execute a not-quite-trivial …

Jun 15, 2010:

11:50 PM WikiStart edited by sacerdot
(diff)
11:48 PM D6_1.pdf attached to WikiStart by sacerdot
11:27 PM Changeset [8] by sacerdot
Final version of D6.1.
10:58 PM Changeset [7] by sacerdot
ispelled
10:56 PM Changeset [6] by sacerdot
First deliverable (D6.1).
6:42 PM Proposal4 created by sacerdot
6:22 PM Proposal1.2 edited by sacerdot
(diff)
6:18 PM img29.png attached to Proposal1.2 by sacerdot
6:17 PM img20.png attached to Proposal1.2 by sacerdot
6:08 PM Proposal1.2 edited by sacerdot
(diff)
6:05 PM img30.png attached to Proposal1.2 by sacerdot
6:04 PM Proposal1.2 edited by sacerdot
(diff)
4:33 PM assembly.png attached to Proposal1.2 by sacerdot
4:33 PM Proposal1.2 edited by sacerdot
(diff)
4:22 PM Proposal1.2 edited by sacerdot
(diff)
4:10 PM Proposal1.2 edited by sacerdot
(diff)
3:57 PM Proposal1.2 edited by sacerdot
(diff)
3:56 PM interaction_diagram.png attached to Proposal1.2 by sacerdot
3:55 PM case_study_diagram.png attached to Proposal1.2 by sacerdot
3:54 PM Proposal1.2 edited by sacerdot
(diff)
3:53 PM Proposal1.2 edited by sacerdot
(diff)
3:50 PM img3.png attached to Proposal1.2 by sacerdot
3:49 PM Proposal1.2 edited by sacerdot
(diff)
3:45 PM Proposal1.1 edited by sacerdot
(diff)
3:34 PM data_flow.png attached to Proposal1.1 by sacerdot
3:34 PM Proposal1.1 edited by sacerdot
(diff)
3:22 PM Proposal1.3.7 created by sacerdot
3:22 PM Proposal1.3.4 created by sacerdot
3:21 PM Proposal1.3.2 created by sacerdot
3:19 PM Proposal1.3.1 created by sacerdot
3:16 PM Proposal1.3 edited by sacerdot
(diff)
3:15 PM Proposal1.3 edited by sacerdot
(diff)
3:14 PM Proposal1.3 created by sacerdot
3:11 PM Proposal3.1.3 created by sacerdot
3:11 PM Proposal3.1.2 created by sacerdot
3:10 PM Proposal3.1.1 created by sacerdot
3:10 PM Proposal3.1 edited by sacerdot
(diff)
3:07 PM Proposal2.2.3 created by sacerdot
3:03 PM Proposal2.2.2 created by sacerdot
2:57 PM Proposal2.2.1 created by sacerdot
2:57 PM Proposal2.2 edited by sacerdot
(diff)
2:51 PM Proposal2.4 created by sacerdot
2:50 PM WikiStart edited by sacerdot
(diff)
1:18 PM Proposal1.2 edited by sacerdot
(diff)
1:14 PM WikiStart edited by sacerdot
(diff)
1:13 PM Proposal3.2 created by sacerdot
1:08 PM Proposal3.1 edited by sacerdot
(diff)
1:07 PM Proposal3.1 edited by sacerdot
(diff)
1:06 PM Proposal3.1 created by sacerdot
1:03 PM Proposal2.3 created by sacerdot
1:03 PM Proposal2.2 edited by sacerdot
(diff)
1:03 PM Proposal2.2 edited by sacerdot
(diff)
12:54 PM Proposal2.2 created by sacerdot
12:48 PM Proposal2.1 created by sacerdot

Jun 8, 2010:

3:25 PM Changeset [5] by campbell
Add a few execution steps and calculation of the initial state to the …
Note: See TracTimeline for information about the timeline view.