| Mon, 07 Apr 2025 09:13:10 +0200 | desharna | added try0's schedule to sledgehammer's schedule | changeset | files |
| Mon, 07 Apr 2025 08:39:10 +0200 | desharna | clarified signature | changeset | files |
| Sun, 06 Apr 2025 18:12:53 +0200 | haftmann | clarified variable names | changeset | files |
| Sun, 06 Apr 2025 18:12:52 +0200 | haftmann | tuned | changeset | files |
| Sun, 06 Apr 2025 14:21:18 +0200 | haftmann | use existing implementations of bit operations if nat is implemented by target-language integer | changeset | files |
| Sun, 06 Apr 2025 16:05:35 +0200 | wenzelm | merged | changeset | files |
| Sun, 06 Apr 2025 15:50:56 +0200 | wenzelm | more comments; | changeset | files |
| Sun, 06 Apr 2025 15:47:23 +0200 | wenzelm | mandatory option --enable-ho (see also fc5f10691147); | changeset | files |