projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
abc9: suppress warnings when no compatible + used flop boxes formed
[yosys.git]
/
tests
/
opt
/
2019-08-30
Eddie Hung
Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-08-30
David Shah
Merge branch 'master' into xc7dsp
tree
|
commitdiff
2019-08-29
Sergey
Merge pull request #3 from YosysHQ/Sergey/tests_ice40
tree
|
commitdiff
2019-08-28
Eddie Hung
Merge remote-tracking branch 'origin/clifford/async2syn...
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-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
tree
|
commitdiff
2019-08-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into mwk...
tree
|
commitdiff
2019-08-22
Eddie Hung
Merge pull request #1319 from TeaEngineering/shuckc...
tree
|
commitdiff
2019-08-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-22
Eddie Hung
Merge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx
tree
|
commitdiff
2019-08-22
Clifford Wolf
Merge pull request #1289 from mmicko/anlogic_fixes
tree
|
commitdiff
2019-08-22
Clifford Wolf
Merge pull request #1281 from mmicko/efinix
tree
|
commitdiff
2019-08-22
Eddie Hung
Respect opt_expr -keepdc as per @cliffordwolf
tree
|
commitdiff
2019-08-22
Eddie Hung
Handle $shift and Y_WIDTH > 1 as per @cliffordwolf
tree
|
commitdiff
2019-08-22
Eddie Hung
Add test
tree
|
commitdiff
2019-08-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-08-20
Eddie Hung
Merge pull request #1304 from YosysHQ/eddie/abc9_refactor
tree
|
commitdiff
2019-08-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-08-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-08-19
Clifford Wolf
Merge pull request #1306 from mmicko/gitignore_fix
tree
|
commitdiff
2019-08-19
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-08-19
Clifford Wolf
Merge pull request #1305 from YosysHQ/clifford/testfast
tree
|
commitdiff
2019-08-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
tree
|
commitdiff
2019-08-18
Miodrag Milanovic
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2019-08-18
whitequark
Merge pull request #1290 from YosysHQ/eddie/pr1266_again
tree
|
commitdiff
2019-08-18
whitequark
Merge branch 'master' into eddie/pr1266_again
tree
|
commitdiff
2019-08-17
Clifford Wolf
Merge pull request #1283 from YosysHQ/clifford/fix1255
tree
|
commitdiff
2019-08-17
Clifford Wolf
Merge pull request #1303 from YosysHQ/bogdanvuk/opt_share
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge https://github.com/bogdanvuk/yosys into bogdanvuk...
tree
|
commitdiff
2019-08-12
Eddie Hung
Revert "Merge pull request #1280 from YosysHQ/revert...
tree
|
commitdiff
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-10
Eddie Hung
Merge pull request #1280 from YosysHQ/revert-1266-eddie...
tree
|
commitdiff
2019-08-10
David Shah
Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1258 from YosysHQ/eddie/cleanup
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1261 from YosysHQ/clifford/verific_init
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1263 from ucb-bar/firrtl_err_on_uns...
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1270 from YosysHQ/eddie/alu_lcu_doc
tree
|
commitdiff
2019-08-09
Eddie Hung
Add $alu tests
tree
|
commitdiff
2019-08-09
Eddie Hung
Add alumacc versions of opt_expr tests
tree
|
commitdiff
2019-08-09
Eddie Hung
Add new $alu test, remove wreduce
tree
|
commitdiff
2019-08-09
Eddie Hung
Cleanup some more
tree
|
commitdiff
2019-08-09
whitequark
Merge pull request #1267 from whitequark/proc_prune...
tree
|
commitdiff
2019-08-09
Eddie Hung
Simplify opt_expr tests using equiv_opt
tree
|
commitdiff
2019-08-09
Miodrag Milanovic
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2019-08-08
Eddie Hung
Merge pull request #1264 from YosysHQ/eddie/fix_1254
tree
|
commitdiff
2019-08-08
Eddie Hung
Merge pull request #1266 from YosysHQ/eddie/ice40_full_...
tree
|
commitdiff
2019-08-08
Eddie Hung
Move tests/various/opt* into tests/opt/
tree
|
commitdiff
2019-08-08
Eddie Hung
Remove ice40_unlut call, simply do equiv_opt on synth_ice40
tree
|
commitdiff
2019-08-07
Eddie Hung
Remove tests/opt/opt_ff.{v,ys} as they don't seem to...
tree
|
commitdiff
2019-08-07
Bogdan Vukobratovic
Fix wrong results when opt_share called before opt_clean
tree
|
commitdiff
2019-08-03
Bogdan Vukobratovic
Tabs to spaces in opt_share examples
tree
|
commitdiff
2019-08-03
Bogdan Vukobratovic
Fix spacing in opt_share tests, change wording in opt_s...
tree
|
commitdiff
2019-07-28
Bogdan Vukobratovic
Reimplement opt_share to work on $alu and $pmux
tree
|
commitdiff
2019-07-26
Bogdan Vukobratovic
Implement opt_share
tree
|
commitdiff
2019-07-24
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-07-01
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
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
next