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: 048b4978ac

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '048b4978ac'

${ noResults }

HTTPS

 ZIP  TAR.GZ

Joachim Klein 048b4978ac Travis CI: Reactivate JDK10 as target For JDK10, the test suite did not run as the JDK8 binary installed in /usr/bin/ was used for the PRISM runs instead of the JDK10 binaries, even though the JDK10 bin directory comes first on the PATH. This is due to the python startup helpers (when running prism-auto for the tests) fiddling with the PATH variable, prepending /usr/bin/... So, we now just set the PRISM_JAVA environment variable to the java binary on the PATH from the travis build script, which is then picked up correctly in the prism startup script.		8 years ago
cudd	cudd Makefile: recursive calls of make via $(MAKE)	8 years ago
prism	prism-auto: handle case of a 0 time out	8 years ago
prism-examples	Comment in dice model.	13 years ago
prism-tests	Fix NPE in fast adaptive uniformisation (cumulative reward, transition rewards without action name)	8 years ago
.classpath	Eclipse config: copy .classpath up to root dir, following switch from svn to git.	8 years ago
.gitignore	Eclipse config: copy .classpath up to root dir, following switch from svn to git.	8 years ago
.travis.yml	Travis CI: Reactivate JDK10 as target	8 years ago
Makefile	Top level Makefile change: examples-distr merges into rather than replaces examples, if present.	10 years ago