Changeset 1303 for src/LTL

Timestamp:
Oct 6, 2011, 12:16:22 AM (8 years ago)
Author:
sacerdot
Message:
  1. LTL/semantics.ma added (work in progress)
  2. init_locals fixed to take in input the old register environment, since physical registers should just be left untouched
File:
1 added

Note: See TracChangeset for help on using the changeset viewer.