log

age author description
Thu, 19 Nov 2015 20:35:05 +0100 Thomas Wuerthinger Fix for the GraphDecoder for the case when merge loop explosions is enabled.
Thu, 19 Nov 2015 20:33:47 +0100 Doug Simon reproduced comment from markOop.hpp in MonitorSnippets for convenience
Thu, 19 Nov 2015 20:27:04 +0100 Doug Simon made more of MonitorSnippets public to allow for reuse by alternative monitor snippets