Changeset 2174 for src/LTL

Timestamp:
Jul 10, 2012, 5:37:10 PM (7 years ago)
Author:
tranquil
Message:
  • factored out script for (axiomatised) fixpoint computation
  • ERTL → LTL pass
File:
1 added

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