Changeset 705


Ignore:
Timestamp:
Mar 23, 2011, 2:21:47 AM (9 years ago)
Author:
sacerdot
Message:

Ported to new library (notation).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r698 r705  
    652652    let d ≝ get_index_v … r 2 ? in
    653653    let 〈 un, ln 〉 ≝ split ? 4 4 (get_8051_sfr s SFR_PSW) in
    654     let 〈 r1, r0 〉 ≝ mk_pair … (get_index_v … 4 un 2 ?) (get_index_v … 4 un 3 ?) in
     654    let 〈 r1, r0 〉 ≝ 〈 get_index_v … 4 un 2 ?, get_index_v … 4 un 3 ? 〉 in
    655655    let offset ≝
    656656      if ¬r1 ∧ ¬r0 then
Note: See TracChangeset for help on using the changeset viewer.