Changeset 2160 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Jul 6, 2012, 5:26:21 PM (7 years ago)
Author:
mulligan
Message:

Added a new scratch file Test.ma for working on lemmas that are needed in the massive proof to avoid having to retypecheck everything. Lots of work from the last week on the AssemblyProofSplit?.ma file, as well as an attempt to use Russell-style types on set_arg_8.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2130 r2160  
    944944    try (@or_intror //)
    945945    try #_
    946     try /demod nohyps by clock_set_clock,clock_set_8051_sfr,set_arg_8_ok,set_arg_1_ok,
     946    try /demod nohyps by clock_set_clock,clock_set_8051_sfr,clock_set_arg_8,set_arg_1_ok,
    947947                         program_counter_set_8051_sfr,program_counter_set_arg_1/
    948948    try (% @I) try (@or_introl % @I) try (@or_intror % @I) //
Note: See TracChangeset for help on using the changeset viewer.