projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
tribuf: `-formal` option: convert all to logic and detect conflicts
2022-04-12
Jannis Harder
tribuf: `-formal` option: convert all to logic and...
commit
|
commitdiff
|
tree
2022-04-02
Jannis Harder
Merge pull request #3264 from jix/invalid_ff_dcinit_merge
commit
|
commitdiff
|
tree
2022-04-01
Jannis Harder
opt_merge: Add `-keepdc` option required for formal...
commit
|
commitdiff
|
tree
2022-03-29
Jannis Harder
smtbmc: fix bmc with no assertions
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
Merge pull request #3253 from jix/smtbmc-nodeepcopy
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
Merge pull request #3247 from jix/smtbmc-keepgoing
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
smtbmc: Avoid unnecessary deep copies during unrolling
commit
|
commitdiff
|
tree
2022-03-24
Jannis Harder
yosys-smtbmc: Option to keep going after failed assertions...
commit
|
commitdiff
|
tree
2022-03-24
Jannis Harder
yosys-smtbmc: Fix typo in help text, remove trailing...
commit
|
commitdiff
|
tree