projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
coolrunner2: Use extract_counter to optimize counters
2020-02-13
Claire Wolf
Merge pull request #1694 from rqou/json_compat_fix
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Merge pull request #1667 from YosysHQ/clifford/verificnand
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Merge pull request #1503 from YosysHQ/eddie/verific_help
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Merge pull request #1654 from YosysHQ/eddie/sby_fix69
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Add Verific support for OPER_REDUCE_NAND
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge pull request #1662 from YosysHQ/dave/opt-reduce...
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge pull request #1665 from YosysHQ/clifford/edifkeep
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge pull request #1659 from YosysHQ/clifford/experimental
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Preserve wires with keep attribute in EDIF back-end
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Improve logging use of experimental features
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_warning
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Add log_experimental() and experimental() API and ...
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Merge pull request #1658 from YosysHQ/clifford/smtbmcsolvern...
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Improve yosys-smtbmc "solver not found" handling
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Merge pull request #1613 from porglezomp-misc/version...
commit
|
commitdiff
|
tree
2020-01-21
Claire Wolf
Merge pull request #1637 from YosysHQ/mwk/fix-1634
commit
|
commitdiff
|
tree
2020-01-21
Claire Wolf
Merge pull request #1629 from YosysHQ/mwk/edif-z
commit
|
commitdiff
|
tree
2020-01-20
Claire Wolf
Merge pull request #1621 from YosysHQ/clifford/fminit
commit
|
commitdiff
|
tree