Title speed up PDB evaluation
Priority bug Status unread
Superseder Nosy List florian, jendrik, malte, silvan
Assigned To Keywords
Optional summary

Created on 2015-09-28.13:14:11 by jendrik, last changed by jendrik.

msg4625 (view) Author: jendrik Date: 2015-09-28.13:14:11
Using the task interface (mainly the transformation from GlobalStates to States) 
made the evaluation of PDBs slower. We should think about ways for making it 
faster again. One way might be to operate on packed states (issue348).
Date User Action Args
2018-12-03 11:37:28jendriksettitle: make PDB evaluation fast again -> speed up PDB evaluation
2015-09-28 14:05:17silvansetnosy: + silvan
2015-09-28 13:14:11jendrikcreate