Message4625

Author jendrik
Recipients florian, jendrik, malte
Date 2015-09-28.13:14:11
Content
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).
History
Date User Action Args
2015-09-28 13:14:11jendriksetrecipients: + jendrik, malte, florian
2015-09-28 13:14:11jendriksetmessageid: <1443438851.26.0.335700246982.issue575@unibas.ch>
2015-09-28 13:14:11jendriklinkissue575 messages
2015-09-28 13:14:11jendrikcreate