hbruintjes
|
d9cb1a79f8
|
Replace cout macros with l3pp
Former-commit-id: 0cde42558d
|
9 years ago |
sjunges
|
4f1b8f12f0
|
Extra method
Former-commit-id: 44b165558d
|
9 years ago |
dehnert
|
3476df75e8
|
finally removed log4cplus and affected code parts
Former-commit-id: 2beea8195e
|
9 years ago |
TimQu
|
f285858e28
|
added required includes
Former-commit-id: c523950b43
|
9 years ago |
Mavo
|
37a86d8190
|
Compile fixes for gcc
Former-commit-id: cb1b187ef8
|
9 years ago |
|
sjunges
|
fde7b71933
|
Nice printing when no logging framework is enabled
Former-commit-id: 783fe7eea1
|
9 years ago |
|
sjunges
|
8c2cb4887f
|
Cmake option to disable debug and trace outputs
Former-commit-id: 9758862579
|
9 years ago |
|
sjunges
|
cf986311ad
|
loglevel can be set now and all logging macros support streaming
Former-commit-id: c8c32b43e6
|
9 years ago |
|
sjunges
|
e0980de0ba
|
first version of storm without log4cplus as a dependency
Former-commit-id: 5aa64fabd7
|
9 years ago |
|
dehnert
|
b88165f27c
|
fixed the warnings related to our macros
Former-commit-id: 526b6ea956
|
9 years ago |
|
dehnert
|
57338640be
|
added missing include
Former-commit-id: c67bb4a99e
|
10 years ago |
|
dehnert
|
0776d8a74b
|
Added and fixed some example models. Added option for maximal size of SCC that gets eliminated using state elimination.
Former-commit-id: bf1e73ff61
|
11 years ago |
|
dehnert
|
428518ee12
|
Added some error checking to configuration file parsing.
Former-commit-id: 48920feedd
|
11 years ago |
|
dehnert
|
1f1b60e6de
|
Added macros that can be used for printing and warnings. Included Dennis' fix for model checking of Markov automata. Added check methods to the settings modules that check whether the specified options are non-contradictive.
Former-commit-id: 18c1687958
|
11 years ago |
|
dehnert
|
e49814d391
|
Modified pctl/csl/ltl options to now take formulas instead of files. Prefixed the macros with STORM_. Moved these macros into a file in the utilities. Modified architecture of the exception classes slightly. Threw away all the contents of main(). This will now be build from scratch.
Former-commit-id: 89d94f7957
|
11 years ago |
