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