log

age author description
Mon, 04 Feb 2013 18:18:16 +0100 Lukas Stadler remove successorProbabilities from SwitchNode
Mon, 04 Feb 2013 15:33:43 +0100 Lukas Stadler fix formatting in MonitorSnippets
Mon, 04 Feb 2013 09:47:11 -0800 Christian Wimmer Merge
Mon, 04 Feb 2013 09:36:51 -0800 Christian Wimmer Merge
Mon, 04 Feb 2013 09:31:44 -0800 Christian Wimmer Use equal() and notEqual() instead of == and != to compare words
Mon, 04 Feb 2013 07:36:35 -0800 Christian Wimmer Use java.nio.ByteOrder instead of our own ByteOrder enumeration
Mon, 04 Feb 2013 17:50:35 +0100 Christian Haeubl minor fix after merge