Ignore:
Timestamp:
Aug 3, 2011, 4:17:41 PM (9 years ago)
Author:
ayache
Message:

Bug fix in Deliverables/D2.2/8051: cast simplification.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/README

    r818 r1099  
    3434--------------
    3535
    36   - ocaml    (>= 3.13)
     36  - ocaml    (>= 3.12)
    3737  - menhir   (>= 20090505)
    3838  - CIL      (included in the distribution)
Note: See TracChangeset for help on using the changeset viewer.