log

age author description
Fri, 03 Apr 2015 13:27:13 +0200 Roland Schatz Run input type verification only when assertions are enabled.
Thu, 02 Apr 2015 18:55:27 +0200 Roland Schatz IGV: Improve text contrast.
Thu, 02 Apr 2015 14:55:51 +0200 Lukas Stadler non-iterative PEA during partial evaluation