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 /scripts | |
| parent | ee9999a2624f61e7105b6816ff253d52fe467b2a (diff) | |
| download | vericert-kvx-7d497177afc0faf7586dbb2a503b4eb1afb1ea5a.tar.gz vericert-kvx-7d497177afc0faf7586dbb2a503b4eb1afb1ea5a.zip | |
Add udiv and sdiv to constraints
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions