lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck
- Get this branch:
- bzr branch lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck
Branch merges
- Jiri Srba: Approve
-
Diff: 396 lines (+177/-165)4 files modifiedsrc/dk/aau/cs/verification/UPPAAL/Verifyta.java (+27/-23)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+50/-47)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+50/-48)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+50/-47)
- TAPAAL Maintainers: Pending requested
-
Diff: 396 lines (+177/-165)4 files modifiedsrc/dk/aau/cs/verification/UPPAAL/Verifyta.java (+27/-23)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+50/-47)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+50/-48)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+50/-47)
Related bugs
Bug #1821164: Startup issue of 3.5.0 on linux | Critical | Fix Committed |
Related blueprints
Branch information
Recent revisions
- 991. By Kenneth Yrke Jørgensen
-
Made alterntaive check for expection on version check
Now handles exception near error, checkVersion now returnes falese
if no version (null) is returned when reading version.Also versioncheck is run when engine location is set from pref.
- 990. By Kenneth Yrke Jørgensen
-
Added exception handeling for TrySetup
Tries to fix lp:1821164, where an unexpected output craches TAPAAL
its not the nicest solution. But the best we can do without access
to somthing to test with.Also the trySetup part should properly be refactored, seems to be
a lot of copy past code. - 989. By Kenneth Yrke Jørgensen
-
Merged lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection removed
deleteSelection from selection manger.Function seems to be a leftower, using it will break delete.
- 988. By Kenneth Yrke Jørgensen
-
Merged lp:~yrke/tapaal/refactor-arcdraw-combinedublicatedraw Arcs now have a "head" member
used in parent to draw it.Refactored arc drawing to now only have one draw function that use a head
member for each type to define how its drawn. - 987. By Kenneth Yrke Jørgensen
-
Merged bzr merge lp:~yrke/tapaal/removeStaticAccesInStatisticPanel refactoring
statisticspanel to use argument over static accesor - 986. By Kenneth Yrke Jørgensen
-
Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup cleanup
after refactorings, removeing code and further refactorings - 985. By Kenneth Yrke Jørgensen
-
Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor with cleanup
and refactorings of elements and handlers - 983. By <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728 that allows to share places/transitions with names that appear in several components
- 982. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214 that adds soundness checks to batch processing
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal