toolset

Disabling console output, especially the progress bar

#28 · created Dec 07, 2017 by Michaela Klauck improvement
- 4
- 2
updated Dec 08, 2017
scheduling transitions, not actions

#25 · created Nov 19, 2017 by Holger Hermanns feature mcsta
- 1
- 1
updated Jan 03, 2018
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