projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
opt_merge: Add `-keepdc` option required for formal verification
[yosys.git]
/
tests
/
lut
/
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
tree
|
commitdiff
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
tree
|
commitdiff
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
tree
|
commitdiff
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge branch 'eddie/abc9_refactor' into xaig_dff
tree
|
commitdiff
2019-07-25
Eddie Hung
Merge pull request #1224 from YosysHQ/xilinx_fix_ff
tree
|
commitdiff
2019-07-24
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-07-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-07-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into ice40dsp
tree
|
commitdiff
2019-07-18
Clifford Wolf
Merge pull request #1184 from whitequark/synth-better...
tree
|
commitdiff
2019-07-17
David Shah
Merge pull request #1204 from smunaut/fix_1187
tree
|
commitdiff
2019-07-16
Eddie Hung
Merge pull request #1202 from YosysHQ/cmp2lut_lut6
tree
|
commitdiff
2019-07-16
Eddie Hung
Forgot to commit
tree
|
commitdiff
2019-07-16
Eddie Hung
Add tests for cmp2lut on LUT6
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-02-11
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #750 from Icenowy/anlogic-ff-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #773 from whitequark/opt_lut_elim_fixes
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #771 from whitequark/techmap_cmp2lut
tree
|
commitdiff
2019-01-02
whitequark
cmp2lut: new techmap pass.
tree
|
commitdiff
2018-12-18
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #738 from smunaut/issue_737
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #735 from daveshah1/trifixes
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
tree
|
commitdiff
2018-12-07
whitequark
equiv_opt: new command, for verifying optimization...
tree
|
commitdiff
2018-12-05
Clifford Wolf
Merge pull request #709 from smunaut/issue_708
tree
|
commitdiff
2018-12-05
Clifford Wolf
Merge pull request #718 from whitequark/gate2lut
tree
|
commitdiff
2018-12-05
whitequark
gate2lut: new techlib, for converting Yosys gates to...
tree
|
commitdiff