diff options
| author | Jannis Harder <me@jix.one> | 2022-06-07 13:19:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-07 13:19:34 +0200 |
| commit | fe048a48b3e9507b119def1a88a952c94ad600c7 (patch) | |
| tree | 273e73df241bf38cfcd6636a78f3192ccab1677b /kernel/constids.inc | |
| parent | d07828b40958c6c2a1d09cf13c9a307c75b855b4 (diff) | |
| parent | ab9e887dee3c6e173ca0943a4ac8bb55dd9b31b3 (diff) | |
| download | yosys-fe048a48b3e9507b119def1a88a952c94ad600c7.tar.gz yosys-fe048a48b3e9507b119def1a88a952c94ad600c7.tar.bz2 yosys-fe048a48b3e9507b119def1a88a952c94ad600c7.zip | |
Merge pull request #3358 from jix/smtbmc-yices-forall
smtbmc: Force nonincremental mode when yices is used with forall
Diffstat (limited to 'kernel/constids.inc')
0 files changed, 0 insertions, 0 deletions