~tapaal-dist-ctl/verifypn/par-ctl

Viewing all changes in revision 89.

  • Committer: Peter Gjøl Jensen
  • Date: 2016-08-25 16:48:20 UTC
  • Revision ID: peter.gjoel@gmail.com-20160825164820-7f0s580kfna2uq5o
minor errors with inhibitor, fixed deadlock, removed optimization in successor generator creating problems with inhibitors

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: