projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add ability to override verilog mode for verific -f command
[yosys.git]
/
tests
/
opt
/
opt_merge_keep.ys
2020-04-15
N. Engelhardt
Merge pull request #1830 from boqwxp/qbfsat
blob
|
commitdiff
|
raw
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
blob
|
commitdiff
|
raw
2020-04-08
Sahand Kashani
Merge branch 'master' of github.com:YosysHQ/yosys into...
blob
|
commitdiff
|
raw
2020-04-07
Claire Wolf
Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
blob
|
commitdiff
|
raw
2020-04-06
whitequark
Merge pull request #1859 from boqwxp/design_duplicate
blob
|
commitdiff
|
raw
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
2020-04-02
Claire Wolf
Merge pull request #1846 from dh73/ast_fe
blob
|
commitdiff
|
raw
2020-04-02
Claire Wolf
Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
blob
|
commitdiff
|
raw
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
blob
|
commitdiff
|
raw
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
blob
|
commitdiff
|
raw
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
blob
|
commitdiff
|
raw
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
blob
|
commitdiff
|
raw
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
blob
|
commitdiff
|
raw
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
blob
|
commitdiff
|
raw
2020-04-01
David Shah
Merge pull request #1844 from YosysHQ/dave/gen-source-loc
blob
|
commitdiff
|
raw
2020-04-01
Eddie Hung
Merge pull request #1852 from boqwxp/cleanup_synth_ice40
blob
|
commitdiff
|
raw
2020-04-01
Eddie Hung
Merge pull request #1849 from boqwxp/cleanup_kernel_yosys
blob
|
commitdiff
|
raw
2020-04-01
Eddie Hung
Merge pull request #1850 from boqwxp/cleanup_backends
blob
|
commitdiff
|
raw
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
blob
|
commitdiff
|
raw
2020-03-16
Eddie Hung
opt_merge: speedup
blob
|
commitdiff
|
raw