Tim Quatmann
91382c8662
Update Eigen to 3.3.9
4 years ago
jipspel
74a24c3ac9
Merge pull request #130 from jipspel/fixes
Fixes
4 years ago
Jip Spel
d77c285faf
Fix TODOs
4 years ago
Jip Spel
24fa7c9529
Fix warnings
4 years ago
Jip Spel
0f0256b422
Fix warning
4 years ago
Jip Spel
9f5128c4af
Update documentation with fixed choices
4 years ago
Tim Quatmann
044a900aa1
Added new gurobi versions
4 years ago
Tim Quatmann
62ad294e1e
Merge pull request #129 from tquatmann/update-gtest
Update gtest
4 years ago
Tim Quatmann
7bcf78650f
Included missing header required to output boost::optionals in tests
4 years ago
Tim Quatmann
72a387960d
Merge pull request #123 from johannesalehmann/master
Fixed incorrect type of modulo expression with integer inputs
4 years ago
Tim Quatmann
3af128184e
Fixed usage of missing operator<< for permissive scheduler tests
4 years ago
Tim Quatmann
32ddadea17
Added explanations on how to update gtest in the future.
4 years ago
Tim Quatmann
4e93e0a19d
Renamed gtest directory to make it version independent.
4 years ago
Tim Quatmann
9f21e0e777
Updated to gtest 1.11 (see #128 )
4 years ago
Johannes Lehmann
0d43a55923
Fixed incorrect type of modulo expression with integer inputs
4 years ago
Matthias Volk
996da02efd
Remove support for Travis CI
4 years ago
Sebastian Junges
c575890229
Merge pull request #117 from tquatmann/revised-constants-comparator
Revised ConstantsComparator
4 years ago
Tim Quatmann
e1ddb9f9aa
.clang-format: disabled namespace indentation
4 years ago
Tim Quatmann
4d674e18db
Added a .clang-format file.
Co-authored-by: Daniel Basgöze
4 years ago
Tim Quatmann
f0378363bb
ConstantsComparator: reduced code duplications, fixed a potentially div by 0, and silenced a warning
ConstantsComparator: The old code used `abs(x-y)/abs(x+y)<= epsilon` when comparing two numbers for equality (modulo relative precision). This is weird when x and y have different signs and potentially even causes a div by 0 whenever x=-y. Moreover the templating was awkward, causing a lot of code duplications and a Warning with clang.
Distribution[WithReward]: replaced forward declarations of ConstantsComparator by actual includes as the forward declarations caused some ambiguity regarding the template parameters.
4 years ago
Tim Quatmann
c5bbf68eaf
Removed several unnecessary forward declarations of ConstantsComparator.
4 years ago
Tim Quatmann
decd3e0ad8
Merge pull request #115 from AlexBork/master
Fix for CUDD
4 years ago
Alex Bork
db9097be8c
Fix for CUDD
4 years ago
Tim Quatmann
bc506d24f1
Merge pull request #114 from tquatmann/prism-unbounded-integers
Support for Prism Programs with unbounded integers
4 years ago
Tim Quatmann
a7a10136fa
Cmake: Marking two options as advanced.
4 years ago
Tim Quatmann
b3a6d91d58
CMake: Changed github address of Carl.
4 years ago
Tim Quatmann
a07ee8a018
Updated Changelog
4 years ago
Tim Quatmann
bdd89d87b2
Prism next state generator now deals with unbounded integer variables.
4 years ago
Tim Quatmann
1fe0254f5d
DdPrismModelBuilder now errors in case it has a program with unbounded integer variables as input
4 years ago
Tim Quatmann
9f1c540f05
Counterexamples:making minimal label set generator aware of unbounded integer variables
4 years ago
Tim Quatmann
171ff270e0
Prism to Jani conversion now supports unbounded integer variables
4 years ago
Tim Quatmann
8f9ff95531
Added Test cases for parsing/processing prism programs that use unbounded integer variables
4 years ago
Tim Quatmann
5c2b9c503c
prism/Program: Integer variables can now have no lower and/or upper bound.
4 years ago
Tim Quatmann
aa5bb9cb7d
PrismParser: Parsing unbounded integer variables
4 years ago
Tim Quatmann
871efc0d8c
Fixed TerminalStatesGetter with multi-bounded formulae.
4 years ago
Daniel Basgöze
b58addcf50
Github Actions: fix PR testing originating from different branches
4 years ago
Daniel Basgöze
b6c8ab1cf6
Github Actions: use current ref instead of hardcoded master
4 years ago
Tim Quatmann
aac792bd1d
Updated list of contributers in Readme
4 years ago
Daniel Basgöze
c3859ec021
Add merge operation to RelevantEvents
4 years ago
Daniel Basgöze
8bccb7ffa1
Fix const correctness in RelevantEvents
4 years ago
Daniel Basgöze
7cd2394078
Make RelevantEvents independent of std::vector
Instead use a flexible iterator based api
4 years ago
Tim Quatmann
d5c6a509a2
JaniNextStateGenerator: Fixed evaluation of terminal states using expressions over transient variables
4 years ago
Tim Quatmann
95d53e444b
Fixed an issue with jani::VariablSet using different kinds of variable names when adding and deleting variables.
4 years ago
Tim Quatmann
66e6938d20
added a few clarifying comments in JaniNextStateGenerator
4 years ago
Matthias Volk
6f39d431a3
Github Actions: only run doxygen and deploy on master branch of original
repository (and not on forks or pull requests).
4 years ago
Tim Quatmann
168b5fabd6
Silenced several warnings
4 years ago
Tim Quatmann
45a7db8222
LpMinMaxLinearEquationSolver: Fixed an issue when using glpk occurring when the lower bound of a variable matches the upper bound. Also revamped retrieving of lower/upper bounds.
4 years ago
Tim Quatmann
e59918668e
AbstractEquationSolver: Added more convenient getters for the most appropriate lower/upper bound of a given variable
4 years ago
Matthias Volk
6df0efcd3e
Set result correctly for reachability rewards in MdpInstantiationChecker
4 years ago
Tim Quatmann
eaff65ef27
LinearCoefficientVisitor: Fixed translation of division expressions.
4 years ago