Commit Graph

  • 71d37705dd fix path for cudd3 lib sjunges 2016-02-17 20:56:02 +0100
  • 8eeb62e11e Merge branch 'exact_equation_solver' into monolithic-dft sjunges 2016-02-17 20:48:17 +0100
  • 3209c52a7c elim linear equation solver used the wrong rational number sjunges 2016-02-17 20:48:00 +0100
  • aa72d8a158 added missing instantiation of sparse matrix with carl ratnumber sjunges 2016-02-17 20:46:19 +0100
  • e24343516c constants comparator extended to carlrationalnumber (cln/cl_ra) sjunges 2016-02-17 20:45:19 +0100
  • 266d417168 constants.h/cpp extended to treat carl rational numbers sjunges 2016-02-17 20:44:35 +0100
  • 16a2152794 hash_value for cln::cl_ra sjunges 2016-02-17 20:44:07 +0100
  • 05baa23035 Merge branch 'future' into exact_equation_solver sjunges 2016-02-17 19:53:23 +0100
  • 0a9f68ed74 update dft towards cnt.abst sjunges 2016-02-17 19:49:01 +0100
  • a46ab2f631 use dynamic version of cudd sjunges 2016-02-17 19:48:07 +0100
  • 0cab5661e5 Merge branch 'future' into cudd3 sjunges 2016-02-17 19:46:22 +0100
  • ad1dbb95db Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-17 19:11:28 +0100
  • b679ed8522 Merge branch 'future' into monolithic-dft sjunges 2016-02-17 19:11:15 +0100
  • 52268103e6 use shared version of log4cplus sjunges 2016-02-17 19:11:03 +0100
  • eaaa36928a prevent xercesc from being linked when no xml support is required sjunges 2016-02-17 19:03:54 +0100
  • 3008546623 to prevent confusion, explicitely force static builds for cudd 2.5.0 sjunges 2016-02-17 19:02:49 +0100
  • 002f4128f5 fixed name of variable for storm xml support sjunges 2016-02-17 19:02:17 +0100
  • 2604df54ec more refactoring of formula classes: in particular fragment checking dehnert 2016-02-17 18:40:56 +0100
  • 97d9ecccbb started making cudd3 work dehnert 2016-02-17 18:40:18 +0100
  • 167cbbe04f updates for cudd inclusion - Warning: This does not compile sjunges 2016-02-17 15:49:16 +0100
  • faafff06d8 removed cudd 2.5 from cmake sjunges 2016-02-17 15:25:30 +0100
  • 114f46d299 added cudd3 to cmake sjunges 2016-02-17 15:24:45 +0100
  • f1c151be26 cudd 3.0 added to resources sjunges 2016-02-17 15:00:20 +0100
  • a030198836 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-17 14:32:23 +0100
  • b51d997d5b Detect error with more than one spare in a module Mavo 2016-02-17 14:31:35 +0100
  • cd7125558b Merge branch 'future' into monolithic-dft sjunges 2016-02-17 13:31:48 +0100
  • 5655766d36 Small changes Mavo 2016-02-17 11:44:08 +0100
  • 7788d45ab5 No distinction between successful dependency and no dependency at all Mavo 2016-02-17 11:22:15 +0100
  • c78d9ff802 Fixed problems with pdeps Mavo 2016-02-17 11:21:46 +0100
  • be8c65525e introduced some methods to query formula type dehnert 2016-02-16 21:12:55 +0100
  • fc1dd999b2 only build xercesc if xml input format support is required sjunges 2016-02-16 18:56:29 +0100
  • 596ad8f7a3 Link directories are not the way to go. sjunges 2016-02-16 18:53:51 +0100
  • b772c92edb removed reward path formulas. reward path formulas are now just path formulas. this allows some invalid formulas to be constructed, so this now has to be checked dynamically dehnert 2016-02-16 17:44:27 +0100
  • a82904a5a8 GLPK: Dynamic lib sjunges 2016-02-16 16:53:53 +0100
  • 0380997e1d removed eigen3 sjunges 2016-02-16 16:42:02 +0100
  • c8798653bc Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-02-16 16:40:45 +0100
  • 2bc4f61453 extended os detection, include extension assumptions sjunges 2016-02-16 16:40:39 +0100
  • 4970268ae1 fixed gtest for xcode (cmake) dehnert 2016-02-16 14:44:50 +0100
  • 919d5db41a merge sjunges 2016-02-16 13:08:07 +0100
  • c5214c6aba Removed unused include Mavo 2016-02-16 12:06:56 +0100
  • a9c80ef9dc Better error handling Mavo 2016-02-16 12:06:19 +0100
  • 6b31b23c62 Removed unused time keeping variables Mavo 2016-02-16 11:21:37 +0100
  • 67626ff9bb Xcode support for new directory Mavo 2016-02-16 11:18:47 +0100
  • a3a39d1944 Merge branch 'future' into scheduler_computation dehnert 2016-02-16 10:10:56 +0100
  • 50c0df75d8 towards supporting xcode generator again sjunges 2016-02-15 23:16:31 +0100
  • d2d71960fc slightly better cmake output sjunges 2016-02-15 22:36:15 +0100
  • faca16db36 minor refactoring of cmakecode for inclusion of tbb sjunges 2016-02-15 22:27:23 +0100
  • 845d9f60ed support for platforms with libtool using a different standard lib folder and gtest is built with the same compiler as the project now sjunges 2016-02-15 22:18:47 +0100
  • db7000ba03 Merge branch 'future' into scheduler_computation dehnert 2016-02-15 19:18:04 +0100
  • fa44d65ebd renamed policy to scheduler in some variable names dehnert 2016-02-15 19:17:46 +0100
  • 3727018ef4 added functionality to sparse MDP helper to compute until probabilities just for maybe states (and produce the corresponding scheduler) dehnert 2016-02-15 19:11:25 +0100
  • 28bc49ed66 Relative paths in benchmark script Mavo 2016-02-15 19:06:53 +0100
  • 0a78ba13f5 MA to CTMC for trivial nondeterminism Mavo 2016-02-15 18:45:49 +0100
  • 471ae19438 refactored further parts of the external library building sjunges 2016-02-15 17:55:56 +0100
  • f20d479328 we dont need log4cplus tests and logging server sjunges 2016-02-15 17:51:57 +0100
  • 7bf20d3e83 Merge branch 'exact_equation_solver' into monolithic-dft Mavo 2016-02-15 17:15:13 +0100
  • a6a8e5fff6 Structure for MA to CTMC Mavo 2016-02-15 17:14:03 +0100
  • 3d4c5b3df2 Fixed output for flexible matrix Mavo 2016-02-15 17:06:16 +0100
  • 8f087597cc more work towards proper scheduler generation dehnert 2016-02-15 16:06:14 +0100
  • 63b0513f38 Set probability for pdeps Mavo 2016-02-15 14:58:26 +0100
  • 017fa19281 Fixed compile issue Mavo 2016-02-15 11:55:42 +0100
  • 7bf5fcb308 Fixed compile issue under Debian Mavo 2016-02-15 11:51:15 +0100
  • a64a7cdbf8 Python script compatible with version 3.4 Mavo 2016-02-15 11:50:21 +0100
  • cd638e6908 Merge branch 'exact_equation_solver' into monolithic-dft Mavo 2016-02-15 10:07:38 +0100
  • 56bcdcc807 Priority queue as pointer Mavo 2016-02-15 10:06:40 +0100
  • 5a1039838f made everything compile again and all tests passing dehnert 2016-02-14 16:32:38 +0100
  • 4cc8442b77 Fixed warning about superfluous semicolon after a method def. sjunges 2016-02-13 01:24:44 +0100
  • f1bf0f5469 Merge branch 'exact_equation_solver' into monolithic-dft Mavo 2016-02-12 19:03:18 +0100
  • acab78ba0e Added row groups to flexible matrix Mavo 2016-02-12 19:01:24 +0100
  • eeaff790a4 Merge branch 'future' into monolithic-dft sjunges 2016-02-12 18:24:03 +0100
  • ed2d8c800a Merge branch 'future' into python_api sjunges 2016-02-12 18:23:38 +0100
  • 0de91e0284 disable warnings for glpk build sjunges 2016-02-12 18:23:26 +0100
  • 2637491249 Merge branch 'future' into python_api sjunges 2016-02-12 18:22:59 +0100
  • 70ee3396d9 we said goodbye to glpk 4.53 sjunges 2016-02-12 18:02:07 +0100
  • 3d0826849e glpk 4.57 for the winners sjunges 2016-02-12 18:00:42 +0100
  • 2dd6a3dba2 minor change dehnert 2016-02-12 17:43:40 +0100
  • bdcd4b26a3 refactoring early termination and solve goals and bounds dehnert 2016-02-12 17:28:59 +0100
  • 71133f40d7 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-12 14:20:52 +0100
  • 6d84d030bd Fixed lowercase Mavo 2016-02-12 14:20:45 +0100
  • 2a65257571 Merge branch 'exact_equation_solver' into monolithic-dft Mavo 2016-02-12 13:44:47 +0100
  • 1ba6181fb5 Merge from future Mavo 2016-02-12 13:42:40 +0100
  • 7a10a04cde Created StateEliminator with specialized subclasses Mavo 2016-02-12 13:18:04 +0100
  • dee44056d1 work towards generating schedulers (and some other related stuff) dehnert 2016-02-11 19:07:46 +0100
  • d09bd92ddf Merge branch 'python_api' of https://sselab.de/lab9/private/git/storm into python_api Mavo 2016-02-11 17:16:58 +0100
  • 64f7f9f8ad Arguments for cmake and make in setup.py possible now Mavo 2016-02-11 17:16:55 +0100
  • d60afed273 MA model checking can be called now for doubles Mavo 2016-02-11 10:45:20 +0100
  • a1f05b1853 Set override Mavo 2016-02-11 10:38:26 +0100
  • 81c37019d7 Merge from future Mavo 2016-02-11 10:37:55 +0100
  • 27521fc027 fixed some warnings sjunges 2016-02-11 00:19:29 +0100
  • 0e38738e09 DFT element types and some extensions to the elements API sjunges 2016-02-11 00:16:12 +0100
  • 42eb671435 work towards const correctness and additional methods sjunges 2016-02-10 21:48:26 +0100
  • bd18d0f622 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-10 18:12:21 +0100
  • c319a997da cmake lists from future sjunges 2016-02-10 18:10:44 +0100
  • c428b9f7ff Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-02-10 18:05:33 +0100
  • a9bd5724c0 Silenced warnings about superfluous parentheses, they are more disturbing than helpful sjunges 2016-02-10 18:05:30 +0100
  • 49dc27077c Added row grouping members (but not the needed logic) Mavo 2016-02-10 17:23:38 +0100
  • f67c92b526 FlexibleSparseMatrix is in own class now Mavo 2016-02-10 16:36:54 +0100
  • 3636b9ac0d Added more benchmarks Mavo 2016-02-10 09:49:09 +0100
  • a901d910b6 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-09 23:40:07 +0100
  • 64d3273630 updates on isomorphism sjunges 2016-02-09 23:40:03 +0100