log

age author description
Fri, 22 Mar 2013 15:09:53 +0100 Christian Humer Merge.
Fri, 22 Mar 2013 15:09:38 +0100 Christian Humer Fixed substitution verifier emitted wrong error.
Thu, 21 Mar 2013 18:45:58 +0100 Gilles Duboscq Fuse the ExceptionObject its DispatchBegin into a single node since it has to be atomic while gurads are floating