Viewing all changes in revision 1038.
- Committer: Mark Glavind
- Date: 2019-05-10 08:03:18 UTC
- mfrom: (1034.1.6 TACPNUnfoldExport)
- Revision ID: mglavi14@student.aau.dk-20190510080318-67boqe85c257pf4h
Merge from unfoldExport, we can now unfold an verify TACPN through the verification menu in TAPAAL
- files modified:
- src/dk/aau/cs/approximation/ApproximationWorker.java
expand all
collapse all
added
removed
