← Back to branch summary

~verifypn-stub/verifypn/substraction-fix

~verifypn-stub/verifypn/substraction-fix

Viewing all changes in revision 183.

Committer: Jiri Srba
Date: 2017-06-22 21:04:00 UTC
mfrom: (182.1.6 arithmeticExpressions)
Revision ID: srba@cs.aau.dk-20170622210400-ufilq8k9llgi51da

merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
adding arithmetic expressions to CTL queries

files modified:
CTL/CTLParser/CTLParser.cpp

CTL/CTLParser/CTLQuery.cpp

CTL/CTLParser/EvaluateableProposition.cpp

CTL/CTLParser/EvaluateableProposition.h

CTL/PetriNets/OnTheFlyDG.cpp

PetriEngine/SuccessorGenerator.cpp

PetriParse/QueryXMLParser.cpp

Show diffs side-by-side

added added

removed removed

CTL/CTLParser/CTLParser.cpp

CTL/CTLParser/CTLQuery.cpp

CTL/CTLParser/EvaluateableProposition.cpp

CTL/CTLParser/EvaluateableProposition.h

CTL/PetriNets/OnTheFlyDG.cpp

PetriEngine/SuccessorGenerator.cpp

PetriParse/QueryXMLParser.cpp

Older »