Timeline
Aug 29, 2011:
- 6:27 PM Changeset [1137] by
- More progress.
- 6:01 PM Changeset [1136] by
- fixed ertl pass
- 5:45 PM Changeset [1135] by
- Add invariants to Cminor semantics to rule out some failures.
- 5:45 PM Changeset [1134] by
- Extra results for non-failing map updates.
- 5:45 PM Changeset [1133] by
- Add missing utilities files
- 5:30 PM Changeset [1132] by
- reunified ltl and lin instruction type, removing lifting in ltl and …
- 5:19 PM Changeset [1131] by
- changes to syntax of ertl: removed ertl_st_addr_l and ertl_st_addr_h …
- 5:11 PM Changeset [1130] by
- File in progress (copied from RTL). All instructions considered up to …
- 4:34 PM Changeset [1129] by
- removed conversions between Register and register
- 4:27 PM Changeset [1128] by
- fixed ERTLtoLTLI so it type checks again
- 3:30 PM Changeset [1127] by
- interference graphs axiomatised, more added to ertl
- 3:07 PM Changeset [1126] by
- Semantics completed up to initial state creation.
- 3:07 PM Changeset [1125] by
- Monadic mfold_left2 added.
- 2:42 PM Changeset [1124] by
- finished off liveness analysis by axiomatising properties
- 2:34 PM Changeset [1123] by
- Added comment about missing alignment of data in memory.
Aug 26, 2011:
- 8:06 PM Changeset [1122] by
- Internal function call implemented too.
- 8:00 PM Changeset [1121] by
- External function calls implemented (but look at the new comment on …
- 7:41 PM Changeset [1120] by
- All operations implemented.
- 7:38 PM Changeset [1119] by
- Type for evaluation of opaccs fixed (maybe wrongly: should it return …
- 7:08 PM Changeset [1118] by
- All derivatives of St_const implemented (up to axioms to match the two …
- 6:47 PM Changeset [1117] by
- More operations implemented.
- 6:47 PM Changeset [1116] by
- Some comments.
- 6:47 PM Changeset [1115] by
- Some comments.
- 1:01 PM Changeset [1114] by
- some more operations implemented
- 12:40 PM Changeset [1113] by
- Semantics (interpreter) of RTL. The file does not compile yet. I am …
Aug 24, 2011:
- 7:08 PM Changeset [1112] by
- got lin > asm stuff working
- 6:47 PM Changeset [1111] by
- minor change: marked some possibly dodgy (and very complex) code
- 6:45 PM Changeset [1110] by
- changes to get ltl to lin pass to work properly
- 5:12 PM Changeset [1109] by
- Update branch.
- 3:04 PM Changeset [1108] by
- changes to get ertltoltli to compile
- 2:43 PM Changeset [1107] by
- got rtl-ertl pass working again
- 2:23 PM Changeset [1106] by
- changes necessary to get RTLabs->RTL to compile
Aug 10, 2011:
- 5:17 PM Changeset [1105] by
- Show that RTLabs graphs are closed on branch (i.e., all labels in …
- 5:17 PM Changeset [1104] by
- A little more tidying.
Aug 5, 2011:
- 1:47 PM Changeset [1103] by
- - reverted to old policy
Aug 4, 2011:
- 1:55 PM Changeset [1102] by
- Tidy up branch
Aug 3, 2011:
- 5:18 PM Changeset [1101] by
- Label preservation in Cminor initialisation and RTLabs translation on …
- 5:18 PM Changeset [1100] by
- Finally show that labels in generated Cminor programs are properly …
- 4:17 PM Changeset [1099] by
- Bug fix in Deliverables/D2.2/8051: cast simplification.
- 2:48 PM Changeset [1098] by
- Merge branch with trunk
- 1:04 PM Changeset [1097] by
- Checkpoint labels work on branch again.
- 1:04 PM Changeset [1096] by
- Checkpoint part way through adding proper C label checking to the branch.
- 1:04 PM Changeset [1095] by
- Make add_exprs total (on branch).
Note: See TracTimeline
for information about the timeline view.
