Changeset 1145
 Timestamp:
 Aug 30, 2011, 4:02:37 PM (8 years ago)
 Location:
 src
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

src/ASM/I8051.ma
r1119 r1145 147 147 definition RegisterSPL ≝ Register06. 148 148 definition RegisterSPH ≝ Register07. 149 definition RegisterForbidden: list Register ≝ 150 [ RegisterSST; RegisterST0; RegisterST1; 151 RegisterSPL; RegisterSPH ]. 152 definition RegisterParams: list Register ≝ 153 [ Register30; Register31; Register32; Register33; 154 Register34; Register35; Register36; Register37 ]. 149 155 definition Registers ≝ 150 156 [Register00; Register01; Register02; Register03; Register04; … … 167 173 [Register20; Register21; Register22; Register23; Register24; 168 174 Register25; Register26; Register27]. 169 definition RegisterParameters ≝170 [Register30; Register31; Register32; Register33; Register34; Register35;171 Register36; Register37].172 175 173 176 definition register_address: Register → [[ acc_a; direct; registr ]] ≝ … … 192 195 ] 193 196 qed. 194 195 definition registers: list Register ≝196 [ Register00; Register01; Register02; Register03;197 Register04; Register05; Register06; Register07;198 RegisterA; RegisterB; RegisterDPL; RegisterDPH;199 Register10; Register11; Register12; Register13;200 Register14; Register15; Register16; Register17;201 Register20; Register21; Register22; Register23;202 Register24; Register25; Register26; Register27;203 Register30; Register31; Register32; Register33;204 Register34; Register35; Register36; Register37;205 RegisterSST; RegisterST0; RegisterST1;206 RegisterSPL; RegisterSPH ].207 208 definition forbidden_registers: list Register ≝209 [ RegisterSST; RegisterST0; RegisterST1;210 RegisterSPL; RegisterSPH ].211 212 definition parameters: list Register ≝213 [ Register30; Register31; Register32; Register33;214 Register34; Register35; Register36; Register37 ].215 197 216 198 record RegisterMap: Type[0] ≝ 
src/utilities/Interference.ma
r1127 r1145 1 1 include "basics/types.ma". 2 2 include "basics/list.ma". 3 include "common/Graphs.ma". 3 4 include "common/Registers.ma". 4 5 5 axiom interference_graph: Type[0]. 6 definition interference_graph ≝ graph label. 6 7 axiom vertex: Type[0]. 7 8 axiom vertex_set: Type[0].
Note: See TracChangeset
for help on using the changeset viewer.