tempest

Author	SHA1	Message	Date
gereon	83e660ac3d	check is sums of each row is one (or zero for "imaginary" states)	12 years ago
gereon	470fa4c4b7	added sys/mman.h for linux target	12 years ago
gereon	0369207e9d	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC Conflicts: src/storage/SquareSparseMatrix.h	12 years ago
gereon	a5d922c6a8	removed pointless return that produces an error (return value...)	12 years ago
PBerger	2f05d035fe	Refactored all exceptions to use the macro generator to remove all redundant base code.	12 years ago
PBerger	fe95c2225b	Added missing contructors to all exceptions.	12 years ago
PBerger	01ea2c8427	Moved os specific includes into OsDetection.h	12 years ago
PBerger	9e5b69b211	Further naming scheme enforcement.	12 years ago
PBerger	96c7dd9a79	Added the (default) external build path /build to git ignore. Added, fixed, refactored Include Guards in ALL Files, should be consistent now.	12 years ago
PBerger	08f87d545c	Some more refactoring, renaming, adding #ifndef guards... Fixed a warning in SquareSparseMatrix.h regarding a conversion from uint64 to uint	12 years ago
PBerger	59408b2ab4	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC Conflicts: src/parser/readLabFile.cpp Additional refactoring, renamed tests.	12 years ago
gereon	64bf554cad	some more reformatting	12 years ago
gereon	6a720709a5	refactored opening braces in settings classes	12 years ago
gereon	94f46568d5	adding default value for trigger options trigger options get the value of the trigger that was registered first as default value.	12 years ago
PBerger	cce8391e44	Refactored everything to match naming scheme.	12 years ago
dehnert	c7781f8137	Added option matrixlib to the generic options of the settings class to define a default value for the used backend. Related to ticket #29 .	12 years ago
dehnert	18832101a4	Removed this-> in initializer list as clang++ does not like that.	12 years ago
dehnert	1bd0df7076	Added option support to gmm++-based model checker. Removed junk code from mrmc.cpp.	12 years ago
PBerger	50d9ce22de	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
PBerger	0c3cfeef20	Updated project files of included resources.	12 years ago
PBerger	95b000436b	Added a JacobiDecomposition container and conversion function. Added const where possible.	12 years ago
gereon	25ee8f906a	added a few words about the current state of the PRCTLParser	12 years ago
dehnert	b9d1eb28f1	Removed superfluous operator.	12 years ago
dehnert	d965595fbe	Evaluated given options in gmm++-based model checker.	12 years ago
gereon	e802942be2	fixing memory leaks. only log4cplus left...	12 years ago
gereon	331d3c7a11	fixing invalid read iterators just don't survive an erase...	12 years ago
dehnert	d34c39293e	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
dehnert	2a6228af71	Added some options to Gmmxx-Modelchecker. DO NOT PULL FOR THE TIME BEING AS THERE IS A PROBLEM WITH THE OPTIONS.	12 years ago
gereon	cc1441ce26	fixed wrong return type of operator<<() for BaseException. Templates FTW!	12 years ago
dehnert	f9cabfd483	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
gereon	a9129c00c7	new exception Created BaseException that can act as a stringstream. You can do the following: throw BaseException() << "some error " << variable << " foo"; Changed InvalidSettings to use BaseException, using this new syntax in Settings.	12 years ago
dehnert	467988f97d	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
dehnert	c54283cef2	Merge.	12 years ago
gereon	74588c84f4	removed helpConfigfile (as we don't distinguish anymore between cli and configfile options) added docu on how to call registerModule()	12 years ago
gereon	f6c88b3801	fixing some more documentation, adding dummy implementation	12 years ago
gereon	3610172125	updating documentation	12 years ago
gereon	c93b325e19	some cleanups module selector options have a meaningful description some code cleanup	12 years ago
gereon	09b35a2fa1	replace callbacks by register methods	12 years ago
Lanchid	be6223e4a7	Forgot the file for the probabilistic operator in the previous commit. Also, improved toString methods for other probabilistic operators	12 years ago
Lanchid	bc698ffd20	Implemented probabilistic operator without specified bounds, including check method in the model checker. Also, the check methods for other the probabilistic operators are now in the base class (as they do not depend on the library).	12 years ago
gereon	89d93d87d4	adding put methods for callbacks Now, you can also use mrmc::settings::Callbacks::instance()->put() to add a new callback from some other code.	12 years ago
gereon	b28c1f64c4	fixing a few memory issues	12 years ago
gereon	ef8721a40f	removing pointless newlines	12 years ago
gereon	39cd84a469	adding documentation that is visible to doxygen, adding logging	12 years ago
gereon	cd4463116e	completed work on intermediate callbacks and restructured settings class	12 years ago
gereon	2ff00441cb	adding intermediate callbacks for settings we'll soon have two runs of the option parser. The whole process will look like this: * call register callbacks (may update options_description) * first run of parser * call intermediate callbacks (may check variable_map and update options_description) * second run of parser (with new options_description) * call checker callbacks (may check variable_map)	12 years ago
dehnert	08ad2fe2f3	Fixed non-convergence of Eigen solver (for crowds examples) by correctly invoking solveWithGuess instead of solve.	12 years ago
gereon	19a1a38c47	made Callbacks::getInstance private There is nothing a non-friend can do with an instance of Callbacks, hence the is no point in making it public.	12 years ago
gereon	64f5430427	documented CallbackType	12 years ago
gereon	a2f27293f7	adding code samples for Register class	12 years ago

... 92 93 94 95 96 ...

4918 Commits (bb5a363689cb9f011cf725388f4dbbe5387584a9) All Branches Search

4918 Commits (bb5a363689cb9f011cf725388f4dbbe5387584a9)

All Branches