Skip to content
GitLab
Explore
Sign in
Register
toolset
Assignments native
#24
· created
Nov 18, 2017
by
Holger Hermanns
feature
10
updated
Jun 21, 2018
Use properties instead of fields for the state struct in compiled exploration
#22
· created
Nov 15, 2017
by
Arnd Hartmanns
improvement
3
updated
Mar 02, 2018
Modest language guide
#21
· created
Nov 15, 2017
by
Arnd Hartmanns
feature
updated
Nov 15, 2017
Simulation of steady-state properties
#19
· created
Nov 15, 2017
by
Arnd Hartmanns
feature
modes
updated
Nov 15, 2017
Smart sampling
#18
· created
Nov 15, 2017
by
Arnd Hartmanns
feature
modes
updated
Nov 15, 2017
PRISM input and output support
#17
· created
Nov 15, 2017
by
Arnd Hartmanns
feature
moconv
10
updated
Feb 26, 2019
Make automata modifiable
#16
· created
Nov 15, 2017
by
Michaela Klauck
improvement
7
1
updated
Feb 28, 2018
Infrastructure for integration tests
#14
· created
Nov 15, 2017
by
Gereon Fox
feature
6
updated
Mar 01, 2018
Committed Locations
#12
· created
Oct 04, 2017
by
Gregory Stock
feature
6
updated
Nov 15, 2017
declare a const array
#9
· created
Aug 03, 2017
by
Gregory Stock
feature
updated
Aug 03, 2017
Prev
1
2
3
Next