| Fri, 24 Nov 2023 12:35:00 +0100 | Fabian Huch | proper filter for approximations; | changeset | files |
| Fri, 24 Nov 2023 10:36:23 +0100 | Fabian Huch | proper inflection point check; | changeset | files |
| Fri, 24 Nov 2023 10:34:10 +0100 | Fabian Huch | tuned; | changeset | files |
| Thu, 23 Nov 2023 16:49:39 +0000 | haftmann | slightly more elementary characterization of unset_bit | changeset | files |
| Thu, 23 Nov 2023 16:49:39 +0000 | haftmann | more direct characterization of binary bit operations | changeset | files |
| Thu, 23 Nov 2023 20:58:19 +0100 | Fabian Huch | tuned; | changeset | files |
| Thu, 23 Nov 2023 20:53:58 +0100 | Fabian Huch | clarified timing data operations: proper estimation (instead of known points); | changeset | files |