| Sun, 01 Jan 2012 18:12:11 +0100 | nipkow | tuned var names | changeset | files |
| Sun, 01 Jan 2012 16:32:53 +0100 | nipkow | tuned argument order | changeset | files |
| Sun, 01 Jan 2012 09:27:48 +0100 | huffman | merged | changeset | files |
| Fri, 30 Dec 2011 16:08:35 +0100 | huffman | add simp rules for bitwise word operations with 1 | changeset | files |
| Sat, 31 Dec 2011 17:53:50 +0100 | nipkow | tuned types | changeset | files |
| Sat, 31 Dec 2011 10:15:53 +0100 | krauss | disabled failing sledgehammer unit test (collateral damage of 184d36538e51) | changeset | files |
| Sat, 31 Dec 2011 00:19:32 +0100 | krauss | disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5) | changeset | files |