diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-17 19:46:05 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-17 19:46:05 +0000 |
commit | 7d497177afc0faf7586dbb2a503b4eb1afb1ea5a (patch) | |
tree | f0501d8302fc41d6fecb31e34fe2a68d95321f19 /Makefile | |
parent | ee9999a2624f61e7105b6816ff253d52fe467b2a (diff) | |
download | vericert-kvx-7d497177afc0faf7586dbb2a503b4eb1afb1ea5a.tar.gz vericert-kvx-7d497177afc0faf7586dbb2a503b4eb1afb1ea5a.zip |
Add udiv and sdiv to constraints
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions