| Tue, 05 Jul 2022 09:44:38 +0200 |
desharna |
fixed diverging simproc cont_intro
|
changeset |
files
|
| Mon, 04 Jul 2022 10:08:10 +0000 |
haftmann |
corrections and adjustions for Scala 3
|
changeset |
files
|
| Mon, 04 Jul 2022 07:57:23 +0000 |
haftmann |
more complete set of code equations
|
changeset |
files
|
| Mon, 04 Jul 2022 07:57:22 +0000 |
haftmann |
officical abstract characters for code generation
|
changeset |
files
|
| Fri, 01 Jul 2022 20:47:16 +0200 |
wenzelm |
provide components for scala3 (still inactive);
|
changeset |
files
|
| Fri, 01 Jul 2022 20:27:56 +0200 |
wenzelm |
updated download version;
|
changeset |
files
|
| Fri, 01 Jul 2022 19:58:38 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 01 Jul 2022 19:57:06 +0200 |
wenzelm |
more keywords for scala3;
|
changeset |
files
|
| Fri, 01 Jul 2022 16:03:10 +0200 |
wenzelm |
discontinued Isabelle tools implemented as .scala scripts;
|
changeset |
files
|
| Fri, 01 Jul 2022 11:44:06 +0200 |
desharna |
tuned proofs
|
changeset |
files
|
| Thu, 30 Jun 2022 22:49:47 +0200 |
wenzelm |
clarified heap alignment, to make it potentially more stable on macOS;
|
changeset |
files
|
| Wed, 29 Jun 2022 22:33:08 +0200 |
desharna |
tuned proof
|
changeset |
files
|
| Wed, 29 Jun 2022 20:41:29 +0200 |
desharna |
added lemmas domain_comp and unify_gives_minimal_domain
|
changeset |
files
|
| Wed, 29 Jun 2022 15:36:19 +0200 |
desharna |
added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range
|
changeset |
files
|