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.
JK
eee1a84562
fix, BinaryNumericalFunctionExpression: simplify for pow(a,b) in double context should not cast result to integer [with Linda Leuschner]
Small test case:
dtmc
const double x = 1E-2;
const double y = pow(1-x, 10);
module M1
s: [0..2] init 0;
[] s = 0 -> y:(s'=1) + (1-y):(s'=2);
endmodule
should satisfy Pmax>0 [F (s = 1)].
|
8 years ago |
| .. |
|
carl
|
put the carl-config cmake in the right spot
|
9 years ago |
|
cpptemplate
|
fixed a couple of warnings
|
9 years ago |
|
cudd-3.0.0
|
improved symbolic linear equation solving (via Jacobi) a bit
|
9 years ago |
|
cusplibrary@d8d7d9e97a
|
Added cusplibrary as a git submodule.
|
11 years ago |
|
eigen-3.3-beta1
|
fix, BinaryNumericalFunctionExpression: simplify for pow(a,b) in double context should not cast result to integer [with Linda Leuschner]
|
8 years ago |
|
exprtk
|
Updated exprtk. made exprtk case-sensitive. fixed other minor issues
|
9 years ago |
|
glpk-4.57
|
glpk 4.57 for the winners
|
9 years ago |
|
gmm-5.0
|
added proper mult_add to gmm++
|
9 years ago |
|
gtest-1.7.0
|
cmake: marked several variables as advanced
|
10 years ago |
|
l3pp
|
merge l3pp branch
|
9 years ago |
|
modernjson
|
modernjson updated, and removed deprecated flag as it causes some issues on ubuntu 16.10
|
9 years ago |
|
sparsepp
|
update sparsepp and fix emission of rational literal in to-cpp conversion
|
9 years ago |
|
sylvan
|
sylvan is now compiled with c++14 as it depends on c++14 code now (change in carl)
|
8 years ago |
|
xercesc-3.1.2
|
assorted fixes (builder for no-fix-deadline, semicolon, xercesbuild)
|
10 years ago |
|
CMakeLists.txt
|
replaced some StoRMs and Storms by storm, reworked version output a bit
|
8 years ago |
|
include_cpptemplate.cmake
|
Fixed problem with recompiling when using ninja
|
8 years ago |
|
include_cudd.cmake
|
replaced some StoRMs and Storms by storm, reworked version output a bit
|
8 years ago |
|
include_glpk.cmake
|
replaced some StoRMs and Storms by storm, reworked version output a bit
|
8 years ago |
|
include_xerces.cmake
|
replaced some StoRMs and Storms by storm, reworked version output a bit
|
8 years ago |
