Tree: 499b25c3ea

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '499b25c3ea'

${ noResults }

Commit Graph

7 Commits (499b25c3ea15cc07f68d39401a31fd819d0138d7)

Author	SHA1	Message	Date
TimQu	040c1f0d4c	fixed ignoring the hypothesis when not doing refinement	8 years ago
TimQu	48e029dd9d	Adapted region settings and CLI to new features.	8 years ago
TimQu	9591157996	new features for storm-pars api: - depth limit for iterative refinement - the regions with inconclusive result are now also part of the result - when analyzing a region, a hypothesis (AllSat or AllViolated) can now be given	8 years ago
TimQu	c1b4cb848c	added missing newlines in the storm-pars cli. Also do not segfault when there is no result	8 years ago
TimQu	f2294fadb0	fixed compiling storm-pars cli and improved output a little	8 years ago
TimQu	62d50b336b	Moved parametric model simplification inside the Parameter lifting checker	8 years ago
TimQu	62dd371411	storm-pars cli	8 years ago