Viewing all changes in revision 1265.
- Committer: tpede16 at aau
- Date: 2020-12-18 14:50:46 UTC
- Revision ID: tpede16@student.aau.dk-20201218145046-ui92111toaiyi1qv
Open unfolded nets after verfication and enable traces for unfolded nets
- files modified:
- src/dk/aau/cs/approximation/ApproximationWorker.java
expand all
collapse all
added
removed
