Viewing all changes in revision 982.
- Committer: Jiri Srba
- Date: 2019-02-12 13:57:23 UTC
- mfrom: (965.7.11 batch-processing-for-workflows-1272214)
- Revision ID: srba@cs.aau.dk-20190212135723-sytyg1uimxoqnr2p
merged in branch lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214 that adds soundness checks to batch processing
- files modified:
- src/dk/aau/cs/approximation/ApproximationWorker.java
expand all
collapse all
added
removed
