Tue, 15 Dec 2020 17:22:27 +0000 | Peter Lammich | removed redundant T_xxx_bound_aux lemmas | changeset | files |
Tue, 15 Dec 2020 14:56:13 +0100 | Mathias Fleury | don't generate not-fully-defined bit-vector constants in SMT problems | changeset | files |
Mon, 14 Dec 2020 21:02:57 +0100 | Mathias Fleury | improve and activate compression for veriT proof reconstruction | changeset | files |