Hanno Becker
Hanno Becker
The current 1.3 prototype allows extension writing functions to fail, see e.g. #2. This deviates from upstream Mbed TLS where extension writing functions silently return on an error and must...
At the moment, the use of early data is configured via `mbedtls_ssl_conf_early_data()` - in particular, it applies to the SSL _configuration_. Since users should be able to use a single...
If `litani` is not in the `PATH`, `cbmc-starter-kit-setup` fails because of the reference https://github.com/model-checking/cbmc-starter-kit/blob/master/src/cbmc_starter_kit/setup.py#L80 to the no-longer existing `repository.litani_root()`. From https://github.com/model-checking/cbmc-starter-kit/commit/d7aa4eed99d2dfe8fbef362396746451b48ce23c it seems that the branch should be removed: "Developers,...
**Context:** When optimizing large code using the split heuristic, a rough rule of thumb is to pick the split factor so that each window has a size somewhere between 50-200...
Currently, detecting performance regressions in SLOTHY (or CP-SAT) requires carefully inspecting the CI runtimes and comparing them to common results. - [ ] Create a dashboard of CI runtimes that's...
When running SLOTHY in debug output, you're currently flooded with so much information that it is very difficult to get anything useful out of it. Consider options to improving this,...
When passing an invalid output directory (e.g. one which doesn't exist, or which can't be written to), the user will only find out when the SLOTHY optimization completes, which for...
### Suggested enhancement Deprecate ```c int mbedtls_ecp_set_zero( mbedtls_ecp_point * ) ``` in favor of a new ```c int mbedtls_ecp_set_zero_ext( mbedtls_ecp_group const *, mbedtls_ecp_point * ) ``` ### Justification * There's...