log

age author description
Thu, 13 Feb 2014 11:18:11 +0100 Roland Schatz Documentation for jump emission logic.
Wed, 12 Feb 2014 23:57:22 -0800 Christian Wimmer Merge
Wed, 12 Feb 2014 10:49:31 -0800 Christian Wimmer Sort options alphabetically so that diffs do not show false positives
Wed, 12 Feb 2014 10:30:42 -0800 Christian Wimmer SL: small cleanups
Wed, 12 Feb 2014 10:25:29 -0800 Christian Wimmer Make code extensible
Wed, 12 Feb 2014 10:25:16 -0800 Christian Wimmer Move stamp inference in its own class, and make it extensible via the ValueAndStampProxy interface
Wed, 12 Feb 2014 10:24:11 -0800 Christian Wimmer Allow subclasses