diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 14:59:10 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 14:59:17 +0100 |
| commit | 0ad95850cf12bfecbb25af9721f0626d4f75c687 (patch) | |
| tree | 3d098cfe5d95a2c60a1b1f7cb7e43fd198fb5e76 /CITATION.cff | |
| parent | c689bcc4eaaaf052ecb35539dff653185192b5e9 (diff) | |
| download | vericert-kvx-0ad95850cf12bfecbb25af9721f0626d4f75c687.tar.gz vericert-kvx-0ad95850cf12bfecbb25af9721f0626d4f75c687.zip | |
Fix equivalence checking
Do not compare memories in standard operations
Diffstat (limited to 'CITATION.cff')
0 files changed, 0 insertions, 0 deletions