issues
search
gerasimou
/
EvoChecker
EvoChecker
GNU General Public License v2.0
4
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Initial Port is not configurable
#11
maormann
closed
2 months ago
3
Execution time is printed to stderr
#10
maormann
closed
2 months ago
0
EvoChecker extension: Reloading past sets
#9
ccimrie
opened
2 years ago
0
Problem with parsing anonymous action rewards and state rewards in DTMCs
#8
ytzemih
opened
3 years ago
2
Using an LTL property as a constraint doesn't work
#7
ytzemih
opened
3 years ago
6
Problems when parsing guards in reward structures
#6
ytzemih
opened
3 years ago
0
Supporting formulae from Prism language
#5
gerasimou
closed
3 years ago
1
Supporting more Prism language constructs
#4
gerasimou
opened
3 years ago
3
Support boolean in EvoChecker template
#3
gerasimou
closed
3 years ago
1
Bump junit from 4.12 to 4.13.1
#2
dependabot[bot]
opened
3 years ago
0
OSX linking Java Applications to PRISM
#1
gerasimou
closed
3 years ago
2