Alexander Senier
Alexander Senier
There doesn't seem to be an easy, end-user friendly way of learning which crates have been added our updated recently. It would be nice to have such a list prominently...
- support most of our usual checkers - use pytests `-n auto` switch instead of `nproc` - remove launch configuration (didn't seem to be very helpful)
Currently `_prove_reachability` does not include constraints (type constraints and potentially others) which prevents it from finding unreachable paths. When the reachability proof is fixed, `_prove_contradictions` can be removed.
### Context and Problem Statement In protocols the values of two scalar types sometimes have to be mapped onto / converted into each other in a way that cannot be...
https://github.com/marketplace/actions/gs-commit-message-checker
The generator currently doesn't support private types (cf. #758). We need to decide whether we want / need private types at all an either implement them in the generator or...
Run `gnatstack` on a variety of generated code. Idea: - Run `gnatstack` on every `Run` procedure in feature tests - Run `gnatstack` on `dhcp_client` app