← Back to branch summary

~tapaal-ltl/verifypn/rule-D-fix

« back to all changes in this revision

Viewing changes to src/VerifyPN.cpp

  • Committer: Jiri Srba
  • Date: 2020-10-31 18:56:49 UTC
  • mfrom: (226.1.3 show-reduced-net)
  • Revision ID: srba@cs.aau.dk-20201031185649-x1ejr9cjaojc2j28
merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/VerifyPN.cpp
372
372
            printf("                        Søren Moss Nielsen <soren_moss@mac.com>\n");
373
373
            printf("                        Thomas Søndersø Nielsen <primogens@gmail.com>\n");
374
374
            printf("                        Samuel Pastva <daemontus@gmail.com>\n");
 
375
            printf("                        Thomas Pedersen <thomas.pedersen@stofanet.dk\n");
375
376
            printf("                        Jiri Srba <srba.jiri@gmail.com>\n");
376
377
            printf("                        Lars Kærlund Østergaard <larsko@gmail.com>\n");
377
378
            printf("GNU GPLv3 or later <http://gnu.org/licenses/gpl.html>\n");