Merge requests · i7 / dtControl

Merge trains

Allow higher versions for all dependencies

!56 · created Jun 22, 2023 by Jonis Kiesbye
- Merged
- 1
updated Jun 23, 2023
Updated Requirements

!48 · created Feb 26, 2022 by Christoph Weinhuber
- Merged
updated Jun 22, 2023
Scrollbar fix

!54 · created Mar 16, 2023 by Christoph Weinhuber
- Merged
updated Mar 16, 2023
Help button #nobump

!53 · created Mar 16, 2023 by Christoph Weinhuber
- Merged
- Approved
updated Mar 16, 2023
Duplicate Subtree Finder

!52 · created Mar 16, 2023 by Christoph Weinhuber
- Merged
updated Mar 16, 2023
Simulation step out of bounds fix

!51 · created Mar 16, 2023 by Christoph Weinhuber
- Merged
updated Mar 16, 2023
website tutorial videos #nobump

!50 · created Sep 30, 2022 by Christoph Weinhuber
- Merged
updated Sep 30, 2022
#nobump

!49 · created Feb 26, 2022 by Christoph Weinhuber
- Merged
updated Feb 26, 2022
Feature Highlighting

!47 · created Nov 20, 2021 by Christoph Weinhuber
- Merged
updated Nov 20, 2021
updated webpage tacas21

!46 · created Apr 21, 2021 by Christoph Weinhuber
- Merged
- Approved
updated Apr 21, 2021
Updated user and developer manual

!43 · created Feb 20, 2021 by Christoph Weinhuber
- Merged
updated Mar 02, 2021
Python 3.9 support

!45 · created Mar 01, 2021 by Ghost User
- Merged
updated Mar 01, 2021
Bugfix/interactive-cli

!44 · created Feb 20, 2021 by Christoph Weinhuber
- Merged
updated Mar 01, 2021
Update/website v2

!42 · created Jan 22, 2021 by Christoph Weinhuber
- Merged
updated Jan 22, 2021
Allows printing C/DOT/JSON into stdout

!41 · created Jan 11, 2021 by Ghost User
- Merged
updated Jan 11, 2021
Frontend fixes

!40 · created Oct 24, 2020 by Ghost User
- Merged
updated Oct 24, 2020
TACAS 2021 artifact

!39 · created Oct 24, 2020 by Ghost User
- Merged
updated Oct 24, 2020
Feature/frontend v2

!38 · created Oct 20, 2020 by Ghost User
- Merged
updated Oct 23, 2020
JSON export 4 of 4 checklist items completed

!34 · created Aug 21, 2020 by Ghost User
feature-request
- Merged
updated Oct 19, 2020
Feature/bdd

!37 · created Oct 05, 2020 by Maximilian Weininger
- Merged
updated Oct 05, 2020

Admin message