Sun, 19 Dec 2010 17:55:56 +0100 | boehmes | only linear occurrences of multiplication are treated as built-in (SMT solvers only support linear arithmetic in general); | changeset | files |
Sun, 19 Dec 2010 13:25:18 +0100 | blanchet | escape backticks in altstrings | changeset | files |
Sun, 19 Dec 2010 11:48:42 +0100 | blanchet | added a timestamp to Nitpick in verbose mode for debugging purposes; | changeset | files |