|
Revision tags: dev, v36.0.9, v44.0.1, v43.0.2, v36.0.8, v24.0.8, v44.0.0, v43.0.1, v42.0.2, v36.0.7, v24.0.7, v43.0.0, v42.0.1, v41.0.4, v42.0.0, v40.0.4, v36.0.6, v24.0.6, v41.0.3, v41.0.2, v41.0.1, v36.0.5, v40.0.3, v41.0.0, v36.0.4, v39.0.2, v40.0.2, v40.0.1, v40.0.0, v39.0.1, v39.0.0, v38.0.4, v37.0.3, v36.0.3, v24.0.5, v38.0.3, v38.0.2, v38.0.1, v37.0.2, v37.0.1, v37.0.0, v36.0.2, v36.0.1, v36.0.0, v35.0.0, v24.0.4, v33.0.2, v34.0.2, v34.0.1, v33.0.1, v24.0.3, v32.0.1, v34.0.0, v33.0.0, v32.0.0, v31.0.0, v30.0.2, v30.0.1, v30.0.0, v29.0.1, v29.0.0, v28.0.1, v28.0.0, v27.0.0, v26.0.1, v25.0.3, v24.0.2, v26.0.0, v21.0.2, v22.0.1, v23.0.3, v25.0.2, v24.0.1 |
| #
e4980870 |
| 04-Oct-2024 |
Alexa VanHattum <[email protected]> |
ISLE: upstream prototype ISLE verifier (Crocus) (#9178)
* Squash of verification changes 2024-08-28
* Cleanup
* fmt
* More cleanup
* clippy
* update example spec
* fmt
* null
* clippy part 1
ISLE: upstream prototype ISLE verifier (Crocus) (#9178)
* Squash of verification changes 2024-08-28
* Cleanup
* fmt
* More cleanup
* clippy
* update example spec
* fmt
* null
* clippy part 1
* clippy fix, null
* clippy part 3
* fmt
* disable veri_engine tests in CI
* clap dependency
* remove strum
* use easy-smt version
* Get `cargo vet/deny` working and passing
Undoes a seeming `cargo update` that was performed previously and then
adds a vet for the new crate added.
* Flag new crates as not published
* Revert "remove strum"
This reverts commit df7b540b51ebf14d45a7b9f9bbedeba018a53e9a.
* itertools
* Review feedback
* Future work comments for encodings
* fmt
* post merge Cargo.lock updates
* authors
---------
Co-authored-by: Alex Crichton <[email protected]>
show more ...
|