- Timestamp:
- Feb 27, 2013, 4:37:31 PM (7 years ago)
- Location:
- src/ERTLptr
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ERTLptr/ERTLptrToLTL.ma
r2700 r2739 426 426 (* colour registers *) 427 427 let after ≝ analyse_liveness the_fixpoint globals int_fun in 428 let coloured_graph ≝ build after in428 let coloured_graph ≝ build … int_fun after in 429 429 (* compute new stack size *) 430 430 let stack_sz ≝ spilled_no … coloured_graph + joint_if_stacksize … int_fun in -
src/ERTLptr/Interference.ma
r2700 r2739 19 19 }. 20 20 21 definition coloured_graph_computer ≝ ∀valuation. coloured_graph valuation. 21 definition coloured_graph_computer ≝ 22 ∀globals. 23 joint_internal_function ERTLptr globals → 24 ∀valuation. 25 coloured_graph valuation.
Note: See TracChangeset
for help on using the changeset viewer.