You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
dehnert 3ea11188b7 fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present 9 years ago
..
ctmc fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present 9 years ago
dft Cleaned examples 9 years ago
dtmc fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present 9 years ago
jani-examples jani examples 9 years ago
mdp some typos 10 years ago
pdtmc fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present 9 years ago
pmdp fixed an issue in the CMakeLists.txt that prevented carl from being properly loaded if it's not already present 9 years ago
benchmarkRegions.sh forgot something 10 years ago
benchmarkRegionsRefinement.sh forgot something 10 years ago
fractions.sh ModelInstantiator!!!!11 9 years ago
list.sh modified selection of benchmarks 10 years ago
list2.sh another script for remaining benchmarks 10 years ago
listBenchmarks.sh modified selection of benchmarks 10 years ago
plot.sh some benchmarking scripts and example regions... 9 years ago