diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-05-15 13:11:15 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-15 13:11:15 +0100 |
| commit | 1849816610419f688bddcb7446fd946995e3c2be (patch) | |
| tree | fe9bab98dcd7cbb0e889050024aaa52022b2fd8d /Makefile | |
| parent | 56d3a4d3f189a2f89d52375b1c71b230d87b05ee (diff) | |
| download | vericert-1849816610419f688bddcb7446fd946995e3c2be.tar.gz vericert-1849816610419f688bddcb7446fd946995e3c2be.zip | |
Add function to reason about executable constraints
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions