Home
last modified time | relevance | path

Searched refs:Correct (Results 1 – 4 of 4) sorted by relevance

/mcuboot-latest/ext/fiat/
DREADME.chromium1 Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
DMETADATA2 description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
/mcuboot-latest/sim/tests/
Dcore.rs109 depends: [DepType::Correct, DepType::Correct],
125 depends: [DepType::Newer, DepType::Correct],
132 depends: [DepType::Correct, DepType::Newer],
/mcuboot-latest/sim/src/
Ddepends.rs81 Correct, enumerator
156 DepType::Correct => vec![ in my_deps()