| Tue, 10 Sep 2013 15:56:51 +0200 | blanchet | faster uniquification | changeset | files |
| Tue, 10 Sep 2013 15:56:51 +0200 | blanchet | stronger fact normalization | changeset | files |
| Tue, 10 Sep 2013 15:56:51 +0200 | blanchet | gracefully handle huge thys | changeset | files |
| Tue, 10 Sep 2013 15:56:51 +0200 | blanchet | speed up detection of simp rules | changeset | files |
| Tue, 10 Sep 2013 15:56:51 +0200 | blanchet | don't be so verbose about SMT solver failures | changeset | files |
| Tue, 10 Sep 2013 14:02:49 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 10 Sep 2013 11:57:53 +0200 | wenzelm | more portable hash-bang; | changeset | files |
| Tue, 10 Sep 2013 11:46:51 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Sep 2013 00:22:12 +0200 | wenzelm | merged | changeset | files |
| Tue, 10 Sep 2013 00:18:30 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:11:02 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:55:35 +0200 | blanchet | make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices | changeset | files |