Commit Graph

Select branches

Hide Pull Requests

refactoring

Mono Color

• ad65f009ad Build from prism program has default formulas = [] Matthias Volk 2016-12-13 18:05:43 +0100
• 2c57642ca0 use math.isclose for float comparison asserts Tom Janson 2016-12-13 14:45:56 +0100
• c9da6fed35 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2016-12-09 17:11:38 +0100
• 2163d0b3b1 Used new pybind way of declaring parent classes Matthias Volk 2016-12-09 17:11:19 +0100
• 05cf1071b8 resolved pybind issue 550 Sebastian Junges 2016-12-09 16:18:33 +0100
• 53066d0e5a = missing for custom argument in setup.py Matthias Volk 2016-12-09 13:13:23 +0100
• 2bd01d022f examples added Sebastian Junges 2016-12-08 20:47:02 +0100
• 7be90d75e6 prevent usage of python2 Sebastian Junges 2016-12-07 23:04:19 +0100
• be13dc3e6d gitignore Sebastian Junges 2016-12-07 23:00:29 +0100
• e571266b8b fixed destination for extension modules Sebastian Junges 2016-12-07 22:51:22 +0100
• 35f68044b4 initial readme Sebastian Junges 2016-12-07 22:50:55 +0100
• 0c79aba2c7 extracted from storm repo, refactored formula Sebastian Junges 2016-12-07 22:03:26 +0100