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: 9e386b90a1

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '9e386b90a1'

${ noResults }

prism-accumulation/prism-examples/leader

History

Joachim Klein 9e386b90a1 PRISM startup scripts: remove support for notification via NOTIFY='yes' Previously, the PRISM startup scripts on MacOS and Linux would call a GUI notification tool when the PRISM execution has finished and the environment variable NOTIFY was set to 'yes'. This feature was not advertised and probably not used much in practice. We remove it because it interferes with an exec-based mechanism of starting the Java VM for PRISM (see next commit). It is simple to get similar functionality by using a small wrapper script or other shell functionality.		8 years ago
..
asynchronous	Few more fixes in examples re new semantics.	15 years ago
synchronous	PRISM startup scripts: remove support for notification via NOTIFY='yes'	8 years ago