| 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
|
| Sat, 12 Mar 2022 20:56:03 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 12 Mar 2022 20:49:50 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 11 Mar 2022 19:55:03 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 11 Mar 2022 19:44:34 +0100 |
wenzelm |
suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
|
changeset |
files
|
| Fri, 11 Mar 2022 16:43:09 +0100 |
Mathias Fleury |
fix handling of lambdas in reconstruction of eq_congruent
|
changeset |
files
|
| Fri, 11 Mar 2022 14:02:13 +0100 |
wenzelm |
more robust: avoid breakdown of Search dialog;
|
changeset |
files
|
| Fri, 11 Mar 2022 13:44:13 +0100 |
wenzelm |
tuned;
|
changeset |
files
|