Skip to content
GitLab
Explore
Sign in
Open
0
Merged
9
Closed
1
All
10
Merge trains
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Merge master into hybridAutomaton
!10
· created
Dec 16, 2020
by
Dr. Stefan Alexander Schupp
hybridAutomaton
Merged
updated
Dec 16, 2020
Hybrid automaton
!9
· created
Nov 03, 2020
by
Dr. Stefan Alexander Schupp
Merged
updated
Nov 03, 2020
Test refactoring
!8
· created
Oct 27, 2020
by
Joanna Delicaris
Merged
updated
Oct 27, 2020
Merge ARCH changes + integration on polytopes into master.
!7
· created
Sep 23, 2020
by
Joanna Delicaris
Merged
updated
Oct 06, 2020
Bugfix (adding distributions to a SingularAutomaton): don't add transitions to...
!5
· created
Jun 17, 2020
by
Joanna Delicaris
Merged
updated
Jun 18, 2020
Continuous places IDs in PLT xml file
!4
· created
May 27, 2020
by
Joanna Delicaris
bugfix_dynamictransitions
Merged
updated
May 27, 2020
PLT/main improvements
!3
· created
May 26, 2020
by
Joanna Delicaris
Merged
updated
May 26, 2020
WIP: Merge integration on polytopes into master
!2
· created
May 20, 2020
by
Joanna Delicaris
Merged
updated
Oct 06, 2020
merge Annabell's changes (PropertyBasedPLTBuilder) into master
!1
· created
May 14, 2020
by
Joanna Delicaris
Merged
updated
May 20, 2020