tempest

Author	SHA1	Message	Date
Tim Quatmann	1241829981	Merge pull request #131 from tquatmann/update-eigen Update Eigen to 3.3.9	3 years ago
Tim Quatmann	bfbc339d27	update eigen version mentioned in comments and directory names	3 years ago
Tim Quatmann	91382c8662	Update Eigen to 3.3.9	3 years ago
jipspel	74a24c3ac9	Merge pull request #130 from jipspel/fixes Fixes	3 years ago
Jip Spel	d77c285faf	Fix TODOs	3 years ago
Jip Spel	24fa7c9529	Fix warnings	3 years ago
Jip Spel	0f0256b422	Fix warning	3 years ago
Jip Spel	9f5128c4af	Update documentation with fixed choices	3 years ago
Tim Quatmann	044a900aa1	Added new gurobi versions	3 years ago
Tim Quatmann	62ad294e1e	Merge pull request #129 from tquatmann/update-gtest Update gtest	3 years ago
Tim Quatmann	7bcf78650f	Included missing header required to output boost::optionals in tests	3 years ago
Tim Quatmann	72a387960d	Merge pull request #123 from johannesalehmann/master Fixed incorrect type of modulo expression with integer inputs	3 years ago
Tim Quatmann	3af128184e	Fixed usage of missing operator<< for permissive scheduler tests	3 years ago
Tim Quatmann	32ddadea17	Added explanations on how to update gtest in the future.	3 years ago
Tim Quatmann	4e93e0a19d	Renamed gtest directory to make it version independent.	3 years ago
Tim Quatmann	9f21e0e777	Updated to gtest 1.11 (see #128 )	3 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

1 2 3 4 5 ...

8874 Commits (1241829981108e41d565c7d32084b1cae89e480a) All Branches Search

8874 Commits (1241829981108e41d565c7d32084b1cae89e480a)

All Branches