Changeset 2040


Ignore:
Timestamp:
Jun 8, 2012, 7:38:12 PM (5 years ago)
Author:
sacerdot
Message:

Repaired using new /demod/ that allows to specify the rules to be used.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2036 r2040  
    952952    try (@or_introl //)
    953953    try (@or_intror //)
    954     try (#_ /demod/ %)
    955     try (#_ //)
    956     cases daemon (* WAS WORKING, /demod/ PROBLEMS
    957     [ <set_arg_8_ok @or_introl //
    958     |*: <set_arg_1_ok @or_introl // ]*)
     954    try #_
     955    try /demod nohyps by clock_set_clock,clock_set_8051_sfr,set_arg_8_ok,set_arg_1_ok,
     956                         program_counter_set_8051_sfr,program_counter_set_arg_1/
     957    try (% @I) try (@or_introl % @I) try (@or_intror % @I) //
    959958qed.
    960959
Note: See TracChangeset for help on using the changeset viewer.