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
f0f9831ac3
reworked CMake stuff a bit, removed some superfluous things
Former-commit-id: 16df6afd44 [formerly f27354d54c]
Former-commit-id: 3e706797be
|
9 years ago |
| .. |
|
carl@d67f986226
|
improvements on carl include
|
10 years ago |
|
cpptemplate
|
minor fixes to make storm work with boost 1.62
|
9 years ago |
|
cudd-3.0.0
|
fixed bug in sparse dtmc elimination model checker. commented out weird eliminaton functions in CTMC model checker and storm.h
|
10 years ago |
|
cusplibrary@d8d7d9e97a
|
Added cusplibrary as a git submodule.
|
12 years ago |
|
eigen-3.3-beta1
|
Removed all mentions of EIGEN_DEPRECATED from Eigen Sources. Each instance triggers an error about an unexpected attribute "deprecated". It seems to be a combination of Eigen + Storm or other 3rd party libraries since this error does not apprear in stand-alone compilations with Eigen3.
|
10 years ago |
|
exprtk
|
Added expression evaluation (header-only) library exprtk and a corresponding evaluator class.
|
11 years ago |
|
glpk-4.57
|
glpk 4.57 for the winners
|
10 years ago |
|
gmm-5.0
|
added proper mult_add to gmm++
|
10 years ago |
|
gtest-1.7.0
|
cmake: marked several variables as advanced
|
10 years ago |
|
l3pp
|
merge l3pp branch
|
10 years ago |
|
modernjson
|
latest version of modernjson
|
9 years ago |
|
sparsepp
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
|
sylvan
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
|
utf8_v2_3_4
|
some start on JIT-based model builder
|
9 years ago |
|
xercesc-3.1.2
|
assorted fixes (builder for no-fix-deadline, semicolon, xercesbuild)
|
10 years ago |
|
CMakeLists.txt
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
|
include_cpptemplate.cmake
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
|
include_cudd.cmake
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
|
include_glpk.cmake
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
|
include_xerces.cmake
|
reworked CMake stuff a bit, removed some superfluous things
|
9 years ago |
