hpnmg merge requestshttps://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests2020-12-16T14:09:52+01:00https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/10Merge master into hybridAutomaton2020-12-16T14:09:52+01:00Dr. Stefan Alexander SchuppMerge master into hybridAutomatonUpdate the hybridAutomaton-branch with some updates from master, e.g., the Dockerfile.Update the hybridAutomaton-branch with some updates from master, e.g., the Dockerfile.https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/9Hybrid automaton2020-11-03T13:28:38+01:00Dr. Stefan Alexander SchuppHybrid automatonMerge changes in HybridAutomaton into master. Note that some of the example files will be re-created in the old location, but we can move/remove them afterwards manually.Merge changes in HybridAutomaton into master. Note that some of the example files will be re-created in the old location, but we can move/remove them afterwards manually.https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/8Test refactoring2020-10-27T16:03:47+01:00Joanna DelicarisTest refactoringhttps://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/7Merge ARCH changes + integration on polytopes into master.2020-10-06T15:37:47+02:00Joanna DelicarisMerge ARCH changes + integration on polytopes into master.https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/2WIP: Merge integration on polytopes into master2020-10-06T15:37:47+02:00Joanna DelicarisWIP: Merge integration on polytopes into masterhttps://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/5Bugfix (adding distributions to a SingularAutomaton): don't add transitions t...2020-06-18T10:46:31+02:00Joanna DelicarisBugfix (adding distributions to a SingularAutomaton): don't add transitions to...Bugfix (adding distributions to a SingularAutomaton): don't add transitions to the predecessor of the root location
(cherry picked from commit f424e983289404b94aeca2a59100ddf6422f3647)Bugfix (adding distributions to a SingularAutomaton): don't add transitions to the predecessor of the root location
(cherry picked from commit f424e983289404b94aeca2a59100ddf6422f3647)https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/4Continuous places IDs in PLT xml file2020-05-27T15:10:44+02:00Joanna DelicarisContinuous places IDs in PLT xml file(cherry picked from commit 67fd583c052d02570f1968cfe7e96d3f86be56cd)(cherry picked from commit 67fd583c052d02570f1968cfe7e96d3f86be56cd)https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/3PLT/main improvements2020-05-26T12:57:03+02:00Joanna DelicarisPLT/main improvements(cherry picked from commit e634eb52a3a8f5819fb7e76dd70a268d07b4b5f5)(cherry picked from commit e634eb52a3a8f5819fb7e76dd70a268d07b4b5f5)https://zivgitlab.uni-muenster.de/ag-sks/tools/hpnmg/-/merge_requests/1merge Annabell's changes (PropertyBasedPLTBuilder) into master2020-05-20T18:01:47+02:00Joanna Delicarismerge Annabell's changes (PropertyBasedPLTBuilder) into master