6 Commits (89f3924b8c39a01fb9f24711698ab9e9990b5d20)

Author SHA1 Message Date
Matthias Volk 45d8d978f4 Stormpy version 1.6.0 5 years ago
Sebastian Junges 5ebb83b1ea new stormpy version 1.4.1 5 years ago
Sebastian Junges bdff55242e setting stormpy version to 1.3.0 in preparation of release 6 years ago
Matthias Volk 6c729cabf7 New stormpy version 1.2.0 7 years ago
Sebastian Junges 54e6989ebc Update stormpy version 7 years ago
Matthias Volk 3fda6ba227 Get stormpy version similar to pycarl 8 years ago
Sebastian Junges 4bc07c7cd2 first version set in code 8 years ago