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: 48bc66440b

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '48bc66440b'

${ noResults }

prism-accumulation/prism

History

Steffen Märcker f1b70b679f Expressions.evaluate (binary,unary,function): Avoid explicit boxing of Booleans, Integers and Doubles During the evaluate calls, the code previously used 'new Boolean' and 'new Integer' constructors for the result values. By removing these allocations and simply letting Java take care of boxing the resulting primitive values, the integrated caching of Java can avoid creating objects in a lot of cases (always for Boolean, and often for Integers in a certain range). (adapted by Joachim Klein from https://github.com/prismmodelchecker/prism/pull/91) Tag: performance		8 years ago
..
dtds	Move images/dtds out of classes directory (is a pain in Eclipse).	20 years ago
etc	prism-auto: cleanup getFilesInDir call	8 years ago
ext	[lpsolve] fix compilation issue in relation to isnan [with Sascha Wunderlich, David Müller]	10 years ago
images	Small improvements to usability of the GUI simulator transition table.	13 years ago
include	Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac	8 years ago
lib	Add Nailgun jar, missing from last commit.	11 years ago
src	Expressions.evaluate (binary,unary,function): Avoid explicit boxing of Booleans, Integers and Doubles	8 years ago
.classpath	First version of Nailgun support built directly into PRISM. Adding switch -ng when running prism will instead start a Nailgun server ready to run PRISM instances, and running ngprism runs PRISM as a Nailgun client.	11 years ago
Makefile	Fixes to release building on Windows.	8 years ago
install.sh	install.sh: Make more robust	8 years ago