4 Commits (87489f7adc8454fdb1b06f1889232bb676258f92)

Author SHA1 Message Date
Steffen Märcker 36e2804b56 Fix bug: broken test whether all initial states are in same BSCC (fixes #56) 8 years ago
Joachim Klein 45ac6e02e8 exact/parametric: support if-the-else expressions in properties 8 years ago
Joachim Klein 03d83d4abb Simplify: Preserve type for 0-x to -x simplification 8 years ago
Dave Parker 99c06ba2d4 Move prism-tests into this repository and update Makefile "tests" target. 8 years ago