Tree: d35a5e4bdd

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'd35a5e4bdd'

${ noResults }

Commit Graph

7 Commits (d35a5e4bdd5cf2fef83341728ff00a18068ab482)

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