tempest

Author	SHA1	Message	Date
gereon	6ad0c7041e	Allow DoubleExpressions to use integer constants	12 years ago
gereon	3ff9514f7b	Make clone() work for variables without initial value.	12 years ago
gereon	966377ae32	Added a few more example files.	12 years ago
gereon	ac86932785	Fixed renaming: Command names were not considered.	12 years ago
gereon	3b76126f6b	Split PrismParser and PrismGrammar in differenc object files. Added reset method for grammars, now we can parse multiple files in one program execution. Added test for mdp parsing.	12 years ago
gereon	4222130524	Fixed a few more bugs in clone() of various Expression classes and some in the module renaming.	12 years ago
gereon	5840ca5bab	Fixed weird error from previous commit.	12 years ago
gereon	c3cfc5404c	Somewhat fixed weird issue during module renaming. The "fix" is very weird (see VariableState.cpp:55 and following) and still seems to lead to a segfault upon program termination...	12 years ago
gereon	63e9ad1f0a	Adding test for prism parser	12 years ago
gereon	7fe4c8c813	fixing signed/unsigned comparisons in ParseMdpTest	12 years ago
gereon	4c0d7f6d95	adding cudd linker options for storm-tests	12 years ago
gereon	12745d466e	Fixing main, removing shared_ptr	12 years ago
david	1642c5f66c	Added missing functions to CUDDs cpp interface	12 years ago
gereon	f09be5c3b4	Made BaseGrammar constructor clang-compatible, fixed ms output of CPU usage	12 years ago
gereon	ac313cb997	Removed debug output, fixed DoubleExpressionGrammar	12 years ago
gereon	014ecd8597	Fixed some glitches, producing meaningful error if sum of probabilities for a command is not one	12 years ago
david	cfb721a66e	Turn off Cotire by default (because it triggers internal compilation errors not only in clang, but also in gcc 4.7). Signed-off-by: dehnert.	12 years ago
gereon	c1801b4ecc	Changed debug output to use LOG4CPLUS	12 years ago
gereon	766a92db3a	Fixed error in *Literal::clone()	12 years ago
gereon	dffe274f64	Fixed error in MDP builder: swapped number of columns and rows.	12 years ago
gereon	a9edf2aa8c	Removed some debug output.	12 years ago
gereon	9613d099bb	Removed shared_ptr for module, program and rewardmodel objects.	12 years ago
gereon	1878962dea	Fixed another nullptr, removed shared_ptr for Update and Command objects.	12 years ago
gereon	d03f8eeb9d	Added checks, if we actually have a model before accessing it...	12 years ago
Lanchid	d0adf9d1b3	Some more test cases and, resulting from those, minor changes in LTL parser.	12 years ago
Lanchid	01b1efc12d	Some improvements/corrections to the LTL parser and some test cases for it	12 years ago
Lanchid	834cb269a6	Minor corrections in code	12 years ago
Lanchid	fb50665564	Documentation of formula classes	12 years ago
Lanchid	ccfd1ccc6a	Documentation for CSL and PRCTL classes	12 years ago
Lanchid	0a2725d79c	Documentation of abstract formulas.	12 years ago
Lanchid	535ae933b0	Compiling implementation of LTL parser	12 years ago
Lanchid	9e3ec6c403	Added LTL	12 years ago
gereon	3c1cf4819c	Fixed a few other issues. Module renaming seems to work now! (However, there is still a segfault at some later point...)	12 years ago
gereon	152bcd2f20	Porting Program datastructures to use shared_ptr (at least for the moment...) some more cleanups	12 years ago
gereon	b92260fed0	A lot of work on PrismParser: * Created a distinct parser for each expression type and for identifiers * Removed all expression rules from PrismParser, using new parsers instead * Reduced excessive usage of boost::lambda, using semantic actions only for single calls * Moved actual state to new class (-> VariableState, whole two-run-logic can probably implemented there) * Much cleanup Work should be finished on expression parser, but not yet on prism parser...	12 years ago
Lanchid	00286b2f01	Added formula classes for CSL	12 years ago
Lanchid	42489b434d	Merge branch 'master' into LtlParser	12 years ago
Lanchid	45867c33c1	Prctl works now.	12 years ago
dehnert	1539062a47	Added build folder of TBB to enable building the repository version from source.	12 years ago
dehnert	e2f95e065f	Modified CmakeLists.txt to actually also link the libraries of TBB if requested. Included custom build of TBB for Mac OS using Apple clang 4.2 (based on clang 3.2).	12 years ago
PBerger	fd7971f9aa	Added sources to Intel TBB, PATCHED files for MacOSX + CLang > 3.1	12 years ago
PBerger	91e3af54c1	Merge branch 'threadplayingblocks-gmm'	12 years ago
PBerger	2a8920aeef	Updated CMakeLists.txt, added an option for Intel TBB Edited gmm_blas.h, reordered includes	12 years ago
PBerger	f5910e8da1	Added Intel TBB 4.1 Update 3 with Binaries for Windows, Linux and Mac OSX. Updated CMakeLists.txt to include default paths.	12 years ago
Lanchid	f513e49084	Almost finished restruction of PRCTL formulas; adapted code (including test cases) to work correctly with the new structure	12 years ago
Lanchid	3e554514cb	Correct formulas	12 years ago
Lanchid	ba4a3807dc	New header file for all PRCTL formulas	12 years ago
Lanchid	b64fd7c351	Adapted PRCTL formulas to the new structure	12 years ago
Lanchid	7e4d09cb01	Added abstract reward operators.	12 years ago
Lanchid	0e0b5ff688	Added methods to check whether child nodes are set (necessary, as sub classes have no direct access to the pointer)	12 years ago

... 2 3 4 5 6 ...

825 Commits (4c780a945c9de00837cefe2c01c901c47e0e35bd) All Branches Search

825 Commits (4c780a945c9de00837cefe2c01c901c47e0e35bd)

All Branches