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: f1b70b679f

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'f1b70b679f'

${ noResults }

prism-accumulation/manual/ThePRISMLanguage

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
..
AllOnOnePage.html	Add html copy of manual into repo, for release building.	8 years ago
CTMCs.html	Add html copy of manual into repo, for release building.	8 years ago
Commands.html	Add html copy of manual into repo, for release building.	8 years ago
Constants.html	Add html copy of manual into repo, for release building.	8 years ago
CostsAndRewards.html	Add html copy of manual into repo, for release building.	8 years ago
Example1.html	Add html copy of manual into repo, for release building.	8 years ago
Example2.html	Add html copy of manual into repo, for release building.	8 years ago
Expressions.html	Add html copy of manual into repo, for release building.	8 years ago
FormulasAndLabels.html	Add html copy of manual into repo, for release building.	8 years ago
GlobalVariables.html	Add html copy of manual into repo, for release building.	8 years ago
LocalNondeterminism.html	Add html copy of manual into repo, for release building.	8 years ago
Main.html	Add html copy of manual into repo, for release building.	8 years ago
ModelType.html	Add html copy of manual into repo, for release building.	8 years ago
ModuleRenaming.html	Add html copy of manual into repo, for release building.	8 years ago
ModulesAndVariables.html	Add html copy of manual into repo, for release building.	8 years ago
MultipleInitialStates.html	Add html copy of manual into repo, for release building.	8 years ago
PRISMModelFiles.html	Add html copy of manual into repo, for release building.	8 years ago
PTAs.html	Add html copy of manual into repo, for release building.	8 years ago
ParallelComposition.html	Add html copy of manual into repo, for release building.	8 years ago
ProcessAlgebraOperators.html	Add html copy of manual into repo, for release building.	8 years ago
Synchronisation.html	Add html copy of manual into repo, for release building.	8 years ago