Viewing all changes in revision 230.
- Committer: mglavi14 at aau
- Date: 2019-04-19 13:36:30 UTC
- Revision ID: mglavi14@student.aau.dk-20190419133630-05j5lt3g5bye155d
WIP on adding query unfolding to TACPN tool
- files added:
- PetriEngine/PQL
- files modified:
- CMakeLists.txt
expand all
collapse all
added
removed
