| Mon, 04 Mar 2024 13:55:11 +0100 | wenzelm | clarified module signature and state; | changeset | files |
| Mon, 04 Mar 2024 13:44:11 +0100 | wenzelm | tuned signature: more protected operations; | changeset | files |
| Mon, 04 Mar 2024 12:30:33 +0100 | wenzelm | database performance tuning: just one synchronized_database for main loop body; | changeset | files |
| Mon, 04 Mar 2024 11:39:10 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Mar 2024 11:05:36 +0100 | wenzelm | more robust: assume that database is exclusive for this Progress instance --- always close on exit (see also bf377e10ff3b); | changeset | files |
| Sun, 03 Mar 2024 17:47:50 +0100 | wenzelm | more robust: imitate Isabelle/ML operation more closely (after 26a43785590b); | changeset | files |
| Sun, 03 Mar 2024 16:32:59 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Mar 2024 16:18:06 +0100 | wenzelm | tuned proof: avoid z3 to make it work on arm64-linux; | changeset | files |