← Back to branch summary

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

Viewing all changes in revision 43.

  • Committer: Jiri Srba
  • Date: 2014-03-05 07:02:55 UTC
  • mfrom: (40.1.68 reductions)
  • Revision ID: srba@cs.aau.dk-20140305070255-m06q3nl5p2o5wq9q
merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: