40a982430c
cmake for carl: handle situation where carl version information is missing
Older carl versions don't provide detailed version information, so we
provide an informative error message instead of cmake syntax errors during
the comparison.
8 years ago
c5da67d6cf
refined warning for automatic switch to policy iteration in exact mode
8 years ago
8cdbf281fa
make minmax solvers use policy iteration when --exact is set and no other method was explicitly set
8 years ago
f254a05f4e
Update mtime_cache files for travis caching
8 years ago
39d789f042
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
8 years ago
c09f6c1924
Update mtime_cache files for travis caching
8 years ago
8cacede55f
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
8 years ago
5624818caf
Updated Changelog
8 years ago
66cf4f1d28
Command line access to onlyconstraints for any model type
8 years ago
2b01e2fa61
GraphConditions for any model type
8 years ago
a27e7bdc82
no longer use arithconstraint
8 years ago
a994b80931
getting rid of outdated carl simple constraint usage
8 years ago
04e542059d
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
8 years ago
9e9060ecd7
fix in changelog
8 years ago
b4a8833e3f
towards getting rid of code duplication in storm-pars-cli
8 years ago
e718acffba
move cli stuff from storm lib to an own small lib
8 years ago
2c2dc5acd8
Changed API such that the command line settings do not occur in the settings anymore. Moreover, to prevent having 15 Boolean arguments, the build options are now part of the API.
8 years ago
98d124bd06
As the builder options now occur in the API, we should improve their documentation.
8 years ago
bf6258bd86
builder options have uniform signature
8 years ago
1c2c4eb612
Added subtitle to README
8 years ago
2dba64705e
Removed redundant info in CHANGELOG
8 years ago
c903f738b3
Fixed some typos
8 years ago
49447da43d
Disable Debian in travis as there was no difference to Ubuntu
8 years ago
c8734591c3
Enable travis notifications
8 years ago
05e97917aa
Enable travis support for stable branch
8 years ago
8aaa205c57
Added travis build status to README
8 years ago
c639f39076
require carl version 17.08
8 years ago
ea7843d64b
Merge remote-tracking branch 'upstream/master'
8 years ago
6edbc52171
Removed remark to non-existing make command in README
8 years ago
a1934ce8a9
Fixed minor things in README
8 years ago
8ede347fdd
Fixed warning by fixing typo
8 years ago
c3d07063d4
Merge from upstream/master
8 years ago
38cc9b1265
Fixed typo in doc
8 years ago
07fe0a8e3a
new target: binaries, compiles all the storm binaries, but not the tests etc
8 years ago
324c0770dd
jani parser supports abscence of action declarations
8 years ago
6434587774
update changelog
8 years ago
a3337afb22
changelog updated in preparation of version 1.1.0
8 years ago
b24ba75909
option to only get welldefinedness constraints for a parametric model
8 years ago
ca3b475ce5
collect variables during collection of constraints
8 years ago
9ca14a54fc
templated the LpSolvers
8 years ago
f46e8bcccf
fixed selecting LPMinMaxSolver in --exact mode
8 years ago
e38ec10459
fixed permissive scheduler test (which is only compiled when gurobi is there)
8 years ago
8ff7cd1026
removed solver and constraint names in the LpMinMaxSolver
8 years ago
9341a5d386
added support for scheduler generation with the Lp based MinMaxSolver
8 years ago
89f1796c56
Fixed creation of LpMinMaxSolver with the generalMinMaxSolverFactory
8 years ago
31b5d77560
fixed expected results which have been too imprecise for the LP-based MinMaxLinearEquationSolver
8 years ago
6a986d2490
tests for MinMaxLinearEquationSolver
8 years ago
5fdb03440d
First version of LpMinMaxLinearEquationSolver
8 years ago
499b25c3ea
removed methods 'getPrecision' and 'getRelative' from the abstract MinMax solver interface. Not every solver needs these methods.
8 years ago
26aba5ebb2
make sure cudd makefile.in and aclocal.m4 are ignored
8 years ago
Joachim Klein
dehnert
Matthias Volk
Sebastian Junges
sjunges
TimQu