You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: d4d4108886

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'd4d4108886'

${ noResults }

prism-accumulation/cudd/st

History

Vojtech Forejt d4d4108886 fixes ticket #5 For some reason the code handling named properties in "new experiment" was different from "verify" and "simulate". I aligned it with those two and now it works. But maybe there was some reason why there was the difference, hence I am leaving this commit message here for future generations :-) git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4778 bbc10eb1-c90d-0410-af57-cb519fbb1720		14 years ago
..
Makefile	Population of CUDD in main trunk.	20 years ago
st.c	Population of CUDD in main trunk.	20 years ago
st.h	Population of CUDD in main trunk.	20 years ago