Merge Requests · ag-sks / Tools / hpnmg · GitLab

Merge master into hybridAutomaton

!10 · opened Dec 16, 2020 by Dr. Stefan Alexander Schupp hybridAutomaton
- MERGED
- 0
updated Dec 16, 2020
Hybrid automaton

!9 · opened Nov 03, 2020 by Dr. Stefan Alexander Schupp
- MERGED
- 0
updated Nov 03, 2020
Test refactoring

!8 · opened Oct 27, 2020 by Joanna Delicaris
- MERGED
- 0
updated Oct 27, 2020
Merge ARCH changes + integration on polytopes into master.

!7 · opened Sep 23, 2020 by Joanna Delicaris
- MERGED
- 0
updated Oct 06, 2020
WIP: Merge integration on polytopes into master

!2 · opened May 20, 2020 by Joanna Delicaris
- MERGED
- 0
updated Oct 06, 2020
Bugfix (adding distributions to a SingularAutomaton): don't add transitions to...

!5 · opened Jun 17, 2020 by Joanna Delicaris
- MERGED
- 0
updated Jun 18, 2020
Continuous places IDs in PLT xml file

!4 · opened May 27, 2020 by Joanna Delicaris bugfix_dynamictransitions
- MERGED
- 0
updated May 27, 2020
PLT/main improvements

!3 · opened May 26, 2020 by Joanna Delicaris
- MERGED
- 0
updated May 26, 2020
merge Annabell's changes (PropertyBasedPLTBuilder) into master

!1 · opened May 14, 2020 by Joanna Delicaris
- MERGED
- 0
updated May 20, 2020