sjunges
|
a82904a5a8
|
GLPK: Dynamic lib
Former-commit-id: d47eeb1e88
|
9 years ago |
sjunges
|
0380997e1d
|
removed eigen3
Former-commit-id: 2e7e5b5253
|
9 years ago |
sjunges
|
2bc4f61453
|
extended os detection, include extension assumptions
Former-commit-id: 1ff024d7e3
|
9 years ago |
sjunges
|
d2d71960fc
|
slightly better cmake output
Former-commit-id: 796d0a652d
|
9 years ago |
sjunges
|
faca16db36
|
minor refactoring of cmakecode for inclusion of tbb
Former-commit-id: 51deceb978
|
9 years ago |
sjunges
|
3d0826849e
|
glpk 4.57 for the winners
Former-commit-id: 568dad7ba4
|
9 years ago |
sjunges
|
c319a997da
|
cmake lists from future
Former-commit-id: b3bc2f1bfb
|
9 years ago |
sjunges
|
a9bd5724c0
|
Silenced warnings about superfluous parentheses, they are more disturbing than helpful
Former-commit-id: 09e1b6691d
|
9 years ago |
Mavo
|
ecc41f7063
|
Require minimum boost version
Former-commit-id: 07b138d157
|
9 years ago |
sjunges
|
9873d2c915
|
boost python cmake fix for debian
Former-commit-id: facd495c4b
|
9 years ago |
dehnert
|
cf15015421
|
some more work on games
Former-commit-id: 6741b1f0bc
|
9 years ago |
dehnert
|
ebbd03c15b
|
fixed some warning-related stuff. introduced abstraction-refinement engine in options and entrypoints that currently only throws not-implemented exception
Former-commit-id: 7a4bb8e18c
|
9 years ago |
sjunges
|
21e678b59c
|
stormpy logic and using dynamic boost::python version
Former-commit-id: 6b203a4d6d
|
9 years ago |
dehnert
|
2ea5fd7418
|
fix in sylvan, minor changes to cmake list
Former-commit-id: 96adc0c187
|
9 years ago |
dehnert
|
a01e46779f
|
CMake now requiring hwloc for sylvan under linux
Former-commit-id: d9425c362c
|
9 years ago |
sjunges
|
1e1400d68d
|
merge
Former-commit-id: eb9efc4bb2
|
9 years ago |
dehnert
|
7080f954b9
|
Fixed sylvan cmake file to also work with xcode (stripping the build type from the directory)
Former-commit-id: 5c934c7793
|
9 years ago |
dehnert
|
226c77db77
|
added sylvan and started making it compile using cmake
Former-commit-id: b6b6171d0f
|
9 years ago |
sjunges
|
73073d2fff
|
Added Xerces
Former-commit-id: 9e5eeb3b86
|
9 years ago |
dehnert
|
a8f89c3875
|
fixed cmake file
Former-commit-id: a62e21ef52
|
9 years ago |
dehnert
|
15b97057dd
|
silenced some warnings within boost (new clang version) and fixed an unused variable issue
Former-commit-id: d19970b278
|
9 years ago |
sjunges
|
c7f8a653d4
|
CCache fixed name of option, write info about that in storm-version
Former-commit-id: 57c07b8449
|
9 years ago |
sjunges
|
8a48f80a99
|
use ccache as an option
Former-commit-id: 9f7fa74225
|
9 years ago |
dehnert
|
27e06940a9
|
templated all explicit parsers so that they may now be modified to produce non-double models
Former-commit-id: dd7f8767f8
|
9 years ago |
sjunges
|
98e3226fd1
|
first version of stormpy (we can parse a prism program)
Former-commit-id: dc13d7f183
|
9 years ago |
sjunges
|
7fd28d4564
|
refactored cmakelists
Former-commit-id: 34e4e217a6
|
9 years ago |
sjunges
|
d214e8783e
|
first version for python support
Former-commit-id: 9a459146a5
|
9 years ago |
sjunges
|
f65efdb4bb
|
disable smtrat for now
Former-commit-id: 4f63d4cd05
|
9 years ago |
sjunges
|
dbe4380b09
|
Option to force color output for clang/ninja.
Former-commit-id: c0fb2ac6a7
|
9 years ago |
sjunges
|
9254e6650c
|
Option to force color output for clang/ninja.
Former-commit-id: 89e960b383
|
9 years ago |
sjunges
|
bed31b463f
|
Added generated sources
Former-commit-id: b19af1f416
|
9 years ago |
dehnert
|
7cafd61c38
|
switched gcc to use c++14 as well
Former-commit-id: 32d9c46192
|
9 years ago |
sjunges
|
1d5faef301
|
cmake use carl flag
Former-commit-id: 75ff508329
|
9 years ago |
dehnert
|
21d9e91586
|
work towards interval reward model
Former-commit-id: 24f7e9684f
|
9 years ago |
sjunges
|
31ed578e2c
|
Xcode generation fix.
Former-commit-id: 345be05301
|
9 years ago |
sjunges
|
f219437acf
|
Faster compilation times!
Former-commit-id: a8dc8fa612
|
9 years ago |
sjunges
|
7b79725421
|
Allow hints for z3
Former-commit-id: 24885ab1bc
|
9 years ago |
dehnert
|
b94e978843
|
another round of fixes
Former-commit-id: 67f4e4be47
|
9 years ago |
dehnert
|
a9142a752d
|
fixed another bug
Former-commit-id: 2f0eb64b6f
|
9 years ago |
dehnert
|
b56766e993
|
more work on reward model that turned out to be refactoring in disguise
Former-commit-id: 31a7fa4801
|
9 years ago |
sjunges
|
c7becb3c60
|
improved cmake for z3 and gurobi
Former-commit-id: d85982abd2
|
10 years ago |
sjunges
|
72784d752d
|
permissive schedulers - ongoing work
Former-commit-id: 0f637998c6
|
10 years ago |
dehnert
|
bb7d4c3b0e
|
update for gmm++: 4.2 to 5.0
Former-commit-id: 542b048470
|
10 years ago |
dehnert
|
56b4f53ce7
|
got rid of more warnings
Former-commit-id: 5c39f63c69
|
10 years ago |
dehnert
|
04f789619c
|
some work towards eliminating compiler warnings
Former-commit-id: d1eca470a4
|
10 years ago |
dehnert
|
21627fbab4
|
Started to get rid of some warnings. In particular this means making the compiler more silent for third-party stuff.
Former-commit-id: 2b6ca07d06
|
10 years ago |
sjunges
|
613724fa9f
|
fix
Former-commit-id: 2e0bdc1268
|
10 years ago |
sjunges
|
9c0b5b028c
|
Finding z3 in system, cleaned some cmakelists.
Former-commit-id: 67ab9f7a0c
|
10 years ago |
sjunges
|
5fddb47a91
|
some cleaning and extra comments in the CMakeLists
Former-commit-id: 95b2bc6d30
|
10 years ago |
sjunges
|
37eacf574b
|
Further work on state space generation
Former-commit-id: 3c0c4c016d
|
10 years ago |