projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #1253 from YosysHQ/clifford/check
[yosys.git]
/
tests
/
opt
/
2019-06-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge pull request #1098 from YosysHQ/xaig
tree
|
commitdiff
2019-06-28
Clifford Wolf
Merge pull request #1146 from gsomlo/gls-test-abc-ext
tree
|
commitdiff
2019-06-28
Clifford Wolf
Merge pull request #1046 from bogdanvuk/master
tree
|
commitdiff
2019-06-27
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-06-20
Clifford Wolf
Refactor "opt_rmdff -sat"
tree
|
commitdiff
2019-06-20
Clifford Wolf
Merge branch 'master' of https://github.com/bogdanvuk...
tree
|
commitdiff
2019-06-14
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-05-28
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-05-28
Bogdan Vukobratovic
Optimizing DFFs whose initial value prevents their...
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-03-19
Eddie Hung
Merge https://github.com/YosysHQ/yosys into read_aiger
tree
|
commitdiff
2019-02-28
Clifford Wolf
Merge pull request #794 from daveshah1/ecp5improve
tree
|
commitdiff
2019-02-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-02-26
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-02-24
Clifford Wolf
Merge pull request #812 from ucb-bar/arrayhierarchyfixes
tree
|
commitdiff
2019-02-24
Clifford Wolf
Merge pull request #824 from litghost/fix_reduce_on_ff
tree
|
commitdiff
2019-02-22
Keith Rothman
Fix WREDUCE on FF not fixing ARST_VALUE parameter.
tree
|
commitdiff
2019-02-11
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-01-03
Clifford Wolf
Merge pull request #775 from whitequark/opt_flowmap
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
tree
|
commitdiff
2019-01-02
whitequark
opt_expr: improve simplification of comparisons with...
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #750 from Icenowy/anlogic-ff-init
tree
|
commitdiff
2019-01-02
whitequark
opt_expr: refactor simplification of unsigned X<onehot...
tree
|
commitdiff
2019-01-02
whitequark
opt_expr: refactor simplification of signed X>=0 and...
tree
|
commitdiff
2019-01-02
whitequark
opt_expr: simplify any unsigned comparisons with all...
tree
|
commitdiff
2019-01-01
Clifford Wolf
Merge pull request #768 from whitequark/opt_lut_elim
tree
|
commitdiff
2018-12-31
whitequark
opt_lut: eliminate LUTs evaluating to constants or...
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-16
Clifford Wolf
Merge pull request #725 from olofk/ram4k-init
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #714 from daveshah1/abc_preserve_naming
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #723 from whitequark/synth_ice40_map...
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #722 from whitequark/rename_src
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #720 from whitequark/master
tree
|
commitdiff
2018-12-07
whitequark
equiv_opt: pass -D EQUIV when techmapping.
tree
|
commitdiff
2018-12-07
whitequark
equiv_opt: new command, for verifying optimization...
tree
|
commitdiff
2018-12-07
David Shah
Merge pull request #727 from whitequark/opt_lut
tree
|
commitdiff
2018-12-07
whitequark
opt_lut: leave intact LUTs with cascade feeding module...
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 #713 from Diego-HR/master
tree
|
commitdiff
2018-12-05
Clifford Wolf
Merge pull request #712 from mmicko/anlogic-support
tree
|
commitdiff
2018-12-05
Clifford Wolf
Merge pull request #717 from whitequark/opt_lut
tree
|
commitdiff
2018-12-05
whitequark
opt_lut: add -dlogic, to avoid disturbing logic such...
tree
|
commitdiff
2018-12-05
whitequark
opt_lut: new pass, to combine LUTs for tighter packing.
tree
|
commitdiff