| Mon, 14 Mar 2022 21:56:46 +0100 | wenzelm | clarified directory layout and settings: more robust on all platforms; | changeset | files |
| Mon, 14 Mar 2022 16:09:25 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 14 Mar 2022 16:03:15 +0100 | wenzelm | support Electron application framework; | changeset | files |
| Fri, 11 Mar 2022 11:19:38 +0100 | desharna | generated lemma map_ident_strong for BNFs | changeset | files |
| Fri, 11 Mar 2022 09:23:05 +0100 | desharna | updated SMT certificates | changeset | files |
| Fri, 11 Mar 2022 09:22:13 +0100 | desharna | used more descriptive assert names in SMT-Lib output | changeset | files |
| Sat, 12 Mar 2022 23:21:28 +0100 | wenzelm | clarified and unified executable names; | changeset | files |