Sebastian Junges
248e68a103
jenkinsfile updated
8 years ago
Sebastian Junges
f43eaf7bb9
do not compile in parallel in jenkins
8 years ago
Matthias Volk
a08106e7a2
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
8 years ago
Matthias Volk
cc4d2f27d4
Initialize layoutInfo with default values to fix warning
8 years ago
Matthias Volk
21cc2df4ca
ResourceSettings needed
8 years ago
TimQu
c1063f27cc
added a few more tests for multi-objective MAs. Also fixed/improved minor stuff.
8 years ago
TimQu
6fb9e54973
minor fix for the selection of the precision in Pareto queries
8 years ago
dehnert
e09e3f3f75
making the phoenix rise from the ashes (aka boost 1.63)
8 years ago
TimQu
74d22cb336
fixed a few warnings related to P{L|CA}A
8 years ago
Sebastian Junges
cd1cefafd0
rename jenkinsfile
8 years ago
Sebastian Junges
a888c51e49
first version of jenkinsfile
8 years ago
TimQu
dccedcad24
fixed minor compile issues
8 years ago
Tom Janson
8c438da784
ksp: fix assertion
8 years ago
Tom Janson
2f7f5eb212
ksp: forward-declare model
8 years ago
Tom Janson
1d5786dd58
catch uninit access on wrong formula type
8 years ago
dehnert
56d1928b9b
resolved some issues (ambiguity for call to carl::rationalize and several warnings because of signed/unsigned comparison)
8 years ago
dehnert
12a25158b6
Merge remote-tracking branch 'origin/master' into menu_games
8 years ago
dehnert
33759ed246
beautified help message printing. all requirements and default values are now printed automatically for all options
8 years ago
dehnert
49597fca86
reworked argument validators for settings
8 years ago
Sebastian Junges
be1109c885
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
8 years ago
Sebastian Junges
1d8c5f26a4
make tests builds all tests without running them. Make check now again works with the new location for executables
8 years ago
TimQu
fb54edfb11
adapted pcaa tests to recent interface changes
8 years ago
TimQu
83a77e77ba
fixed use of gmp numbers
8 years ago
TimQu
ae3ef2f14a
added testfiles for multiobjective mc tests
8 years ago
dehnert
9c183d42b3
adpted jani gspn builder to new template edges
8 years ago
dehnert
a976352b8c
some fixes to make tests pass
8 years ago
dehnert
b258f1e52d
some more warnings gone
8 years ago
dehnert
eac2735068
fixed more warnings
8 years ago
Sebastian Junges
0386888018
put libs and binaries in a separate folder
8 years ago
Sebastian Junges
e27ffb5b23
if hwloc is present on mac, it is also linked as otherwise, we get linker errors
8 years ago
dehnert
5b09b91ae1
fixed more warnings
8 years ago
dehnert
8d6b029d67
next batch of fixing warnings
8 years ago
dehnert
136cb194d1
fixed a bunch of unused variable warnings
8 years ago
dehnert
05203792f2
fixed a couple of warnings
8 years ago
dehnert
cf852d7c8b
Merge branch 'master' into menu_games
8 years ago
dehnert
208938b0a1
changed sylvan behaviour to take auto-detected number of threads if no thread count was set
8 years ago
dehnert
bcdc2a4247
added check for non-linearity to JANI menu game abstractor
8 years ago
Sebastian Junges
148cdf899a
carl include dir is correctly passed to c++ now
8 years ago
Sebastian Junges
14be5c128f
silenced warnings about unknown pragmas in eigen and gmm wrapper
8 years ago
dehnert
bc5dd814aa
fixed some tests
8 years ago
Tom Janson
f390aeadf3
rm broken Dijkstra from graph.cpp
8 years ago
Tom Janson
b71ef02692
comments and fixes (?) to graph.cpp's Dijkstra
This implementation seemed pretty wrong in multiple ways;
I attempted to fix it (a long time ago) (see diff, you'll see what I'm
talking about), then gave up.
Luckily (?) the code is unused, just sitting there, sad and broken.
8 years ago
Tom Janson
07fc8e32ec
merge k-shortest Paths
8 years ago
Tom Janson
87e8af9852
moved ksp stuff to right location
fix include
8 years ago
dehnert
9bb65389c4
some adjustments to pgcl treatment caused by changes in JANI data structures
8 years ago
Tom Janson
7d06eee4ea
adjusted KSP test model path
8 years ago
Tom Janson
6ec05a942d
rm accidentally reintroduced files (don't worry they are small)
8 years ago
Tom Janson
79f3e13906
change KSP test reference values to whatever they currently are
(and hoping for the best)
8 years ago
Tom Janson
3915a491cf
factor out test state
8 years ago
Tom Janson
71a54a842c
comment / clarification
8 years ago