Kareem Khazem
Kareem Khazem
During unsuccessful runs of configure, we should try to identify the exact command that made configure terminate. This might not necessarily be sub-invocations that didn't return 0, because sometimes configure...
At every process invocation during the build process, we should check if the environment variables are being preserved. If something important (like `$PATH`) has been clobbered, we should log a...
Many builds ignore `$CC`, `$AR` etc. and try to call native tools in `/usr/bin`. Instead of allowing the build to fail, we should log a warning and then redirect the...
Requested feature: The value of the `env` key in Benchcomp's config file should expand strings of the form `${variable}` to the value of that environment variable. Use case: Benchcomp variants...
### Description of changes: This PR adds a validation schema for the benchcomp configuration file format, as well as code to emit that schema into the Kani book. This is...
This PR makes the VeriFast proofs run in CI along with the CBMC proofs. The results for both CBMC and VeriFast proofs are displayed on a single Litani dashboard. This...
- [x] https://github.com/FreeRTOS/CI-CD-Github-Actions/pull/58 then - [x] https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/pull/70 ([successful run](https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/actions/runs/4297908877/jobs/7491448292)) - [x] https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/pull/113 ([successful run](https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/actions/runs/4297909488/jobs/7491449069)) - [x] https://github.com/FreeRTOS/coreMQTT/pull/241 ([successful run](https://github.com/FreeRTOS/coreMQTT/actions/runs/4298053863/jobs/7491739162)) - [x] https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk/pull/78 ([successful run](https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk/actions/runs/4298084313/jobs/7491805078)) - [x] https://github.com/FreeRTOS/coreSNTP/pull/71 ([successful run](https://github.com/FreeRTOS/coreSNTP/actions/runs/4297989163/jobs/7491608666)) -...