Ignore:
Timestamp:
Jan 7, 2012, 12:33:17 AM (8 years ago)
Author:
tranquil
Message:
  • lists with binders and monads
  • Joint.ma and other temprarily forked, awaiting feedback from Claudio
  • translation of RTLabs → RTL refactored with new tools
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml

    r1590 r1635  
    285285  let ((destrs_cted, destrs_rest), (srcrs_cted, _)) =
    286286    MiscPottier.reduce destrs_rest srcrs_rest in
    287   let (def, tmpr) = fresh_reg def in
    288287  let carry_init = match op with
    289288    | I8051.Sub | I8051.Addc ->
Note: See TracChangeset for help on using the changeset viewer.