Message4882

Author silvan
Recipients malte, silvan
Date 2015-12-07.10:49:19
Content
issue601 has been merged: label reduction was moved back to its own file, and
FactoredTransitionSystem was refactored further.
History
Date User Action Args
2015-12-07 10:49:19silvansetmessageid: <1449481759.98.0.304110577086.issue567@unibas.ch>
2015-12-07 10:49:19silvansetrecipients: + silvan, malte
2015-12-07 10:49:19silvanlinkissue567 messages
2015-12-07 10:49:19silvancreate