8857 Commits (60ed3c74e7824414dd63bfe4703e8a44ee2f831f)
 

Author SHA1 Message Date
Sebastian Junges 60ed3c74e7 update changelog to reflect branch merge 4 years ago
Sebastian Junges cf63ea6767 eliminate nonstandard predicates early on 4 years ago
Sebastian Junges 65ba87dbd0 removed debug output 4 years ago
Sebastian Junges e3251c7500 reset reward from last action upon reset 4 years ago
Sebastian Junges a7f9a6e4c6 use state rewards (upon entry) 4 years ago
Sebastian Junges 7beb999219 label unlabelled commands 4 years ago
Sebastian Junges 71f60e812c more precise analysis of whether commands will synchronize 4 years ago
Sebastian Junges c4187b03eb fixed error messages 4 years ago
Sebastian Junges a5842e4a61 nasty bug where some sync action indices where not reflected in one of the data structures 4 years ago
Sebastian Junges 7daa5e2ab7 fixed error message 4 years ago
Sebastian Junges 52f88bca4d Merge branch 'master' into prismlang-sim 4 years ago
Matthias Volk 9fea07542a
Fixed warning 4 years ago
Matthias Volk c9841b71a0
Const reference for splittingThreshold 4 years ago
Jip Spel 8d17a0362d Fix extremal value computation 4 years ago
Matthias Volk 49dff36512
Github Actions: clone complete history to support version extraction 4 years ago
Sebastian Junges 4514ed76d6 Merge branch 'master' into prismlang-sim 4 years ago
Matthias Volk d25cd1d636
Enable Github Actions for pull requests (without deployment) 4 years ago
Matthias Volk 3f9616d3e0
Added documentation about integrating Github pull requests 4 years ago
Daniel Basgöze 0ed64b6257 Add == and != ops to RelevantEvents 4 years ago
Daniel Basgöze 7a2b060afc Remove allowDCForRelevant from RelevantEvents 4 years ago
Daniel Basgöze 972ef8b14c Break inclusion loop in DFT.h 4 years ago
Matthias Volk 7fc4046fbc
Fix DftSimulatorTest for older Boost versions 4 years ago
Matthias Volk 76afd5e3de
Implemented basis for handling invalid traces during simulation 4 years ago
Matthias Volk 6eec25de6c
Typos 4 years ago
Matthias Volk 7111674ec8
Support for simulation of PDEP 4 years ago
Matthias Volk 9e3e2c02fe
Handle PDEP in createSuccessorState as well 4 years ago
Matthias Volk 6c025f13d2
Added more tests for DFT simulation 4 years ago
Matthias Volk 344ba353e0
Use template for DFTTraceSimulator 4 years ago
Matthias Volk fb2f55d804
Fixed bug where POR was changed to PAND during transformation to binary FDEPs 4 years ago
Sebastian Junges d74558e0cb changelog update 4 years ago
Sebastian Junges 42ec9ec60d state lookup does not crash when state does not exist 4 years ago
Sebastian Junges c1fbe3c194 Merge branch 'master' into prismlang-sim 4 years ago
Sebastian Junges bfd03bc9ce Merge branch 'rubicon' into prismlang-sim 4 years ago
Sebastian Junges c1ec3032fa reset to state 4 years ago
Matthias Volk fded9732d2 Updated CHANGELOG 4 years ago
Matthias Volk fcc1762595 Github actions: run doxygen daily instead of on push to prevent race condition 4 years ago
Matthias Volk 08ea706cb4 Merge branch 'master' of origin 4 years ago
Tim Quatmann 6d24ea9606 Silenced many 'loop variable is always a copy' warnings 4 years ago
Tim Quatmann 481d23b904 Replaced storm::expressions::Expression::operator^ by storm::expressions::pow. An optional flag indicates if we should allow power expressions of integer type (PRISM semantics) or whether it is always a real (JANI semantics). 4 years ago
Tim Quatmann 46462d6556 Z3Adapter: Fixing translation of XOR operators - expression's operator^ is supposed to be power, not xor. 4 years ago
Tim Quatmann d863fe4156 Jani Export: Power expressions of integer type need to be type casted. 4 years ago
Matthias Volk 94cd2e7fbd Apply rewriting only for modularisation 4 years ago
Tim Quatmann 646181c533
Merge pull request #103 from ArashPartow/master 4 years ago
Tim Quatmann f39538763f Reverted Fix for CUDD (fixes #104) 4 years ago
Jip Spel 5a37a40cea Monotonicity for computing extremal value and parameter space partitioning 4 years ago
Matthias Volk 868c9fb0fd
Fixed activation for failed nested SPAREs. 4 years ago
Arash Partow f438473c9e Update the ExprTk library 4 years ago
Matthias Volk e156d7b8e7
Prevent problems with different random values on older Boost versions 4 years ago
Matthias Volk 6a48fc9e2e
Fixed variables in Github Actions 4 years ago
Matthias Volk d19d1bc367
Added email notification for Github Actions 4 years ago