sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 5be8de293c fixes when tbb is enabled TimQu 2018-02-28 16:27:56 +0100
  • 27d6e48dad workaround for quotient extraction using the original variables dehnert 2018-02-28 14:48:08 +0100
  • 02d2cf07b6 using multiplier in PLA TimQu 2018-02-28 12:47:08 +0100
  • 5ff20b55e1 misc compilation issues TimQu 2018-02-28 12:46:52 +0100
  • 50245d3d86 gmmm multiplier TimQu 2018-02-28 12:46:21 +0100
  • 66c5255d8c Using multiplier in game solver TimQu 2018-02-28 09:46:11 +0100
  • 64ba34a397 removed multiplication support from minmax equation solvers. Also removed Factories. TimQu 2018-02-28 09:45:46 +0100
  • b7bac59ae0 Using multiplier in IterativeMinMaxSolvers TimQu 2018-02-27 14:37:20 +0100
  • 10f8ddc343 started on quotient extraction using the original variables, debugging CUDD... dehnert 2018-02-27 22:58:21 +0100
  • 56061c0bfa Using multiplier in MDP Model checker helpers TimQu 2018-02-27 13:26:53 +0100
  • 9e875adea9 Using Multiplier in CTMC and DTMC model checkers TimQu 2018-02-27 12:55:27 +0100
  • 541810f3b2 removed 'multiplication' part from remaining linear equation solvers TimQu 2018-02-27 12:31:18 +0100
  • f3c843561d integrated new multiplier into native linear equation solver TimQu 2018-02-27 12:16:38 +0100
  • d0de99ba51 fist version of new multiplier TimQu 2018-02-27 09:53:51 +0100
  • e02640fe82 multipliertype TimQu 2018-02-27 09:52:31 +0100
  • e5e2a2465b removed obsolete option TimQu 2018-02-27 09:51:27 +0100
  • 7e639b4328 multiplier settings and environment TimQu 2018-02-27 09:50:55 +0100
  • 893793f898 Merge remote-tracking branch 'origin/master' into sound-vi TimQu 2018-02-26 16:19:49 +0100
  • 537a8152d3 Removed Duplicated code TimQu 2018-02-22 17:34:54 +0100
  • e76a77abc9 improved code for sound power iteration TimQu 2018-02-22 16:09:07 +0100
  • c4ebf751f4 Use version label in cli Matthias Volk 2018-02-22 15:19:01 +0100
  • 295572d24e Better version parsing thanks to regex magic Matthias Volk 2018-02-22 15:04:14 +0100
  • 38489fef4c Merge branch 'master' of https://github.com/TimoPGros/storm Matthias Volk 2018-02-20 10:09:18 +0100
  • 528e007e6a Travis: fixed typo Matthias Volk 2018-02-17 09:35:29 +0100
  • b867e5366a Travis: use better tagging structure Matthias Volk 2018-02-16 18:23:59 +0100
  • ed7efc0268 Moved DFTBuilder to builder dir Matthias Volk 2018-02-16 18:15:19 +0100
  • b00e65adf9 Created API for storm-dft Matthias Volk 2018-02-16 17:41:15 +0100
  • 63a9f3a5ca Fixed assertion by incorporating precision Matthias Volk 2018-02-16 11:06:21 +0100
  • 370f602921 Travis: build Docker container with separate carl automatically Matthias Volk 2018-02-15 18:07:59 +0100
  • 6355619c09 Refactored BE parsing Matthias Volk 2018-02-15 17:49:10 +0100
  • f81b6d4917 Added NumberParser Matthias Volk 2018-02-15 16:10:00 +0100
  • 09bcaa8db8 fixed correct requirements in minmaxsolver TimQu 2018-02-15 13:37:07 +0100
  • a6c6118733 Renamed 'sound power' to interval iteration and 'quick sound power' to 'sound power' TimQu 2018-02-15 13:18:52 +0100
  • ea25c8fd2e renamed 'sound value iteration' to 'interval iteration' and 'quick sound value iteration' to 'sound value iteration' TimQu 2018-02-15 12:43:35 +0100
  • f2289a3b87 removed unused option TimQu 2018-02-15 12:24:41 +0100
  • f168df139d made qvi code more readable TimQu 2018-02-15 12:11:10 +0100
  • 022adf988d fixed typo dehnert 2018-02-15 08:44:06 +0100
  • 8d845fad95 Throw exceptions for all unsupported Galileo distributions Matthias Volk 2018-02-14 23:51:49 +0100
  • 32b9585184 Method for parsing node name Matthias Volk 2018-02-14 23:11:38 +0100
  • f37bd143f1 Better handling of comments in GalileoParser Matthias Volk 2018-02-14 23:01:13 +0100
  • 8eb16634c1 Better error message in ValueParser Matthias Volk 2018-02-14 22:53:39 +0100
  • bdae2a7b5d Travis: generate better docker container Matthias Volk 2018-02-14 17:10:39 +0100
  • 821300e777 Use ValueParser in GalileoParser Matthias Volk 2018-02-13 18:12:12 +0100
  • c0481ab72d Moved ValueParser to separate file Matthias Volk 2018-02-13 18:02:02 +0100
  • db27777dc4 fix typo dehnert 2018-02-12 19:43:09 +0100
  • 667cef37a6 more information about when progress is made in SMT-based high-level cex dehnert 2018-02-12 19:25:51 +0100
  • a5bc5d30e5 added new gurobi version to find script dehnert 2018-02-12 17:42:51 +0100
  • 5dff46c648 added more stats output to SMT-based high-level cex dehnert 2018-02-12 17:02:30 +0100
  • 8482063a16 made symbolic bisimulation work with MA and support of sparse quotient extraction for MA dehnert 2018-02-11 19:11:18 +0100
  • 9e5e1980dd first working version of symbolic Markov automaton bisimulation dehnert 2018-02-11 13:20:00 +0100
  • 017d4abd84 first steps towards symbolic MA building dehnert 2018-02-10 08:21:34 +0100
  • a0ac4faa7d slight fix to JANI high-level cex and better statistics dehnert 2018-02-09 15:31:09 +0100
  • ef2108a8f8 Merge branch 'master' into highlevelcex dehnert 2018-02-09 12:11:15 +0100
  • 4d7be96dda MaxSAT-based high-level counterexamples for JANI dehnert 2018-02-09 12:10:55 +0100
  • d2cfbb6096 fix issue where constraint based multi objective model checking lead to a stack overflow. TimQu 2018-02-09 12:09:50 +0100
  • 24d6337006 JANI choice origins and MILP-based high-level cex for JANI dehnert 2018-02-08 19:07:56 +0100
  • c43830ed52 Set new storm version Matthias Volk 2018-02-01 19:49:02 +0100
  • 1284dad8e3 Updated Changelog Matthias Volk 2018-02-01 19:48:14 +0100
  • 134bba827f Enabled smart GSPN transformation Matthias Volk 2018-02-01 19:21:53 +0100
  • 55c42e06ab Merge branch 'master' into dft_gspn Matthias Volk 2018-02-01 18:08:03 +0100
  • ec8304c386 Refactored DftToGspnTransformator Matthias Volk 2018-02-01 18:07:28 +0100
  • 2ab46e8686 Merge branch 'master' into pomdp_datastructures Sebastian Junges 2018-01-30 16:18:57 +0100
  • 4a4cc26d58 Replaced travis_wait with custom function Matthias Volk 2018-01-30 11:57:36 +0100
  • 13ddd940ef Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm Matthias Volk 2018-01-29 17:02:17 +0100
  • 2a209d18e1 fixing some bisimulation issues dehnert 2018-01-29 16:10:53 +0100
  • 9452506b4c Merge branch 'master' into dft_gspn Matthias Volk 2018-01-29 15:18:54 +0100
  • ddbe3d7c4c Use Ubuntu 17.10 in travis now Matthias Volk 2018-01-29 13:09:49 +0100
  • 78208e1e4d Merge branch 'master' into pomdp_datastructures Sebastian Junges 2018-01-28 21:23:13 +0100
  • 7660a6c9f8 dont check != 0 in templated code sjunges 2018-01-27 14:33:00 +0100
  • b64b65f156 qualitative model checking for pmdps enabled Sebastian Junges 2018-01-27 19:14:21 +0100
  • 5a62a60e17 fix in pla without simplifications allowed Sebastian Junges 2018-01-27 19:13:50 +0100
  • 078b5fee60 use weak bisim instead of strong bisim for pmcs generated from pomdps Sebastian Junges 2018-01-27 18:12:35 +0100
  • b0059b6d85 pomdp stuff working again with latest master Sebastian Junges 2018-01-27 18:12:06 +0100
  • 58990aea27 Another try with travis_wait Matthias Volk 2018-01-27 14:57:34 +0100
  • 2a8e58284c Next try with travis_wait Matthias Volk 2018-01-26 17:45:43 +0100
  • e951265839 Do not display help for hidden modules Matthias Volk 2018-01-26 13:48:53 +0100
  • 8a836a2bfd Try to avoid timeout in travis with travis_wait Matthias Volk 2018-01-25 19:25:08 +0100
  • 8b757466e8 Added GameSolverSettings which are now required Matthias Volk 2018-01-25 18:23:51 +0100
  • 8b1fbca271 Set priority to 1 for all GSPN transitions Matthias Volk 2018-01-24 18:04:53 +0100
  • 674a30c154 removed some 'experimental' code and introduced the #iteration output again TimQu 2018-01-23 22:30:35 +0100
  • ca1bcebc71 Added an option that enforces updating both bounds in interval iteration TimQu 2018-01-23 22:15:25 +0100
  • ef893abca6 fixed a case for topologicalMinMaxSolver with exact arithmetic TimQu 2018-01-23 21:47:22 +0100
  • 8bd75a435c First child is not initially claimed by default Matthias Volk 2018-01-23 19:54:22 +0100
  • e0f19d893c Fixed layouting Matthias Volk 2018-01-23 11:03:19 +0100
  • bc69092f16 LayoutInfo for disabled place in BE template Matthias Volk 2018-01-23 10:45:45 +0100
  • 64443170e3 Minor fixes in GSPN translation Matthias Volk 2018-01-21 18:22:05 +0100
  • 5942c8c853 Merge remote-tracking branch 'origin/master' into highlevelcex dehnert 2018-01-21 18:11:58 +0100
  • d45eead440 improved asserted constraints for high-level cex dehnert 2018-01-21 18:11:39 +0100
  • 22d97332b0 Temporarily disabled Mac builds in Travis Matthias Volk 2018-01-19 23:05:20 +0100
  • 13184aefcf Printing the number of performed iterations (reverted from commit b5399d0596) TimQu 2018-01-19 17:32:49 +0100
  • cebf29ef23 trying something else TimQu 2018-01-19 16:44:45 +0100
  • 26362ed36f trying an alternative implementation of qvi TimQu 2018-01-19 15:58:15 +0100
  • b5399d0596 Printing the number of performed iterations TimQu 2018-01-19 09:55:40 +0100
  • 5c911c6bc4 fixed capitalization TimQu 2018-01-18 22:40:14 +0100
  • 52979dcbc1 setting the 'requirementsChecked' flag in topo min max solver TimQu 2018-01-18 22:31:12 +0100
  • a1c10cac37 filtering reward zero states for MDPs TimQu 2018-01-18 21:51:27 +0100
  • a9f72198a0 made filtering states with reward zero a setting TimQu 2018-01-18 20:10:27 +0100
  • 7d705240ce introduced model checker settings TimQu 2018-01-18 19:39:30 +0100
  • aabbea11b8 various fixes for topological min max solver TimQu 2018-01-18 19:23:59 +0100
  • 5d5159c437 fixed compiling TimQu 2018-01-18 18:23:53 +0100