diff options
| author | Mark Tuttle <tuttle@acm.org> | 2021-12-06 19:42:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-06 17:42:13 -0700 |
| commit | eb9caf9d980c9c1e617ef71967732359e86f3677 (patch) | |
| tree | 7434a19ec267d9e80254650e476535e8f2ca2544 /manifest.yml | |
| parent | b1b3a0a3e98b226e7fe59a6db84bd3f3e2179967 (diff) | |
| download | freertos-git-eb9caf9d980c9c1e617ef71967732359e86f3677.tar.gz | |
Advance litani submodule for CBMC proofs (#725)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
Diffstat (limited to 'manifest.yml')
0 files changed, 0 insertions, 0 deletions