diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 20:37:23 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 20:38:17 +0100 |
commit | d1d4d09558f79367ea5e486bec3fa5dd19d8b113 (patch) | |
tree | 3363bf0c4cafbe206b3337f700eb753ed7450129 /benchmarks/polybench-syn/common.mk | |
parent | 22923b92a04a94ef133c4eff6b80c0ef537aa4f3 (diff) | |
download | vericert-d1d4d09558f79367ea5e486bec3fa5dd19d8b113.tar.gz vericert-d1d4d09558f79367ea5e486bec3fa5dd19d8b113.zip |
Fix proof of predicates completely
Diffstat (limited to 'benchmarks/polybench-syn/common.mk')
0 files changed, 0 insertions, 0 deletions