projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"
[yosys.git]
/
passes
/
equiv
/
equiv_opt.cc
2020-02-01
Eddie Hung
Merge branch 'master' into eddie/submod_po
blob
|
commitdiff
|
raw
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
blob
|
commitdiff
|
raw
2020-01-29
N. Engelhardt
Merge pull request #1510 from pumbor/master
blob
|
commitdiff
|
raw
2020-01-29
Miodrag Milanović
Merge pull request #1559 from YosysHQ/efinix_test_fix
blob
|
commitdiff
|
raw
2020-01-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_wa...
blob
|
commitdiff
|
raw
2020-01-28
N. Engelhardt
Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
blob
|
commitdiff
|
raw
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
blob
|
commitdiff
|
raw
2020-01-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
2020-01-03
N. Engelhardt
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
2019-12-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
2019-12-19
Eddie Hung
Merge pull request #1581 from YosysHQ/clifford/fix1565
blob
|
commitdiff
|
raw
2019-12-19
Eddie Hung
Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanup
blob
|
commitdiff
|
raw
2019-12-19
Eddie Hung
Merge pull request #1569 from YosysHQ/eddie/fix_1531
blob
|
commitdiff
|
raw
2019-12-19
Eddie Hung
Merge pull request #1571 from YosysHQ/eddie/fix_1570
blob
|
commitdiff
|
raw
2019-12-18
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
2019-12-18
David Shah
Merge pull request #1563 from YosysHQ/dave/async-prld
blob
|
commitdiff
|
raw
2019-12-18
Eddie Hung
Merge pull request #1572 from nakengelhardt/scratchpad_pass
blob
|
commitdiff
|
raw
2019-12-18
Marcin Kościelnicki
xilinx: Add xilinx_dffopt pass (#1557)
blob
|
commitdiff
|
raw
2019-11-22
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
|
diff to current
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-21
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-18
Miodrag Milanović
Merge branch 'master' into mmicko/efinix
blob
|
commitdiff
|
raw
|
diff to current
2019-10-18
Miodrag Milanović
Merge branch 'master' into mmicko/anlogic
blob
|
commitdiff
|
raw
|
diff to current
2019-10-18
Miodrag Milanović
Merge branch 'master' into eddie/pr1352
blob
|
commitdiff
|
raw
|
diff to current
2019-10-14
Clifford Wolf
Use "(id)" instead of "id" for types as temporary hack
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Eddie Hung
Merge pull request #1432 from YosysHQ/eddie/fix1427
blob
|
commitdiff
|
raw
|
diff to current
2019-10-08
Eddie Hung
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-04
Eddie Hung
Add -async2sync to help text as per @daveshah1
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Restore part of doc
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Add new -async2sync option
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Revert "equiv_opt to call async2sync when not -multiclo...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Revert "Update doc for equiv_opt"
blob
|
commitdiff
|
raw
|
diff to current
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/efinix
blob
|
commitdiff
|
raw
|
diff to current
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/anlogic
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Merge branch 'SergeyDegtyar/ecp5' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Update doc for equiv_opt
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
whitequark
Merge pull request #1406 from whitequark/connect_rpc
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Eddie Hung
Merge pull request #1397 from btut/fix/python_wrappers_...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Miodrag Milanović
Merge pull request #1416 from YosysHQ/mmicko/frontend_b...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Clifford Wolf
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Eddie Hung
equiv_opt to call async2sync when not -multiclock like...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
blob
|
commitdiff
|
raw
|
diff to current
2019-09-25
Eddie Hung
Merge pull request #1401 from SergeyDegtyar/SergeyDegty...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-18
Eddie Hung
Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-13
Clifford Wolf
Merge pull request #1373 from YosysHQ/clifford/fix1364
blob
|
commitdiff
|
raw
|
diff to current
2019-09-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-09-12
David Shah
Merge pull request #1370 from YosysHQ/dave/equiv_opt_mu...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-11
David Shah
Add equiv_opt -multiclock
blob
|
commitdiff
|
raw
|
diff to current
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
blob
|
commitdiff
|
raw
|
diff to current
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
blob
|
commitdiff
|
raw
|
diff to current
2019-08-22
Clifford Wolf
Merge pull request #1281 from mmicko/efinix
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge branch 'eddie/abc9_refactor' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge pull request #1250 from bwidawsk/master
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge https://github.com/bogdanvuk/yosys into bogdanvuk...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Serge Bazanski
Merge pull request #1152 from 1138-4EB/feat-docker
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-10
Clifford Wolf
Merge pull request #1258 from YosysHQ/eddie/cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-08-07
Eddie Hung
substr() -> compare()
blob
|
commitdiff
|
raw
|
diff to current
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-05-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-03
Clifford Wolf
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-01
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
|
diff to current
2019-04-30
Jim Lawson
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2019-04-30
Clifford Wolf
Merge pull request #966 from YosysHQ/clifford/fix956
blob
|
commitdiff
|
raw
|
diff to current
2019-04-30
Clifford Wolf
Merge branch 'master' into eddie/refactor_synth_xilinx
blob
|
commitdiff
|
raw
|
diff to current
2019-04-30
Benedikt Tutzer
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-29
Clifford Wolf
Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef
blob
|
commitdiff
|
raw
|
diff to current
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-26
Eddie Hung
Add -undef option to equiv_opt, passed to equiv_induct
blob
|
commitdiff
|
raw
|
diff to current
2019-04-26
Eddie Hung
Add -undef option to equiv_opt, passed to equiv_induct
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/xc7srl' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Clifford Wolf
Merge pull request #905 from christian-krieg/feature...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Clifford Wolf
Merge pull request #941 from Wren6991/sim_lib_io_clke
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Clifford Wolf
Merge branch 'master' of https://github.com/dh73/yosys_...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Clifford Wolf
Merge pull request #911 from mmicko/gowin-nobram
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Clifford Wolf
Merge pull request #909 from zachjs/master
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Clifford Wolf
Merge pull request #944 from YosysHQ/clifford/pmux2shiftx
blob
|
commitdiff
|
raw
|
diff to current
2019-04-21
Eddie Hung
Merge branch 'master' into map_cells_before_map_luts
blob
|
commitdiff
|
raw
|
diff to current
2019-04-21
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmux2shif...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7srl
blob
|
commitdiff
|
raw
|
diff to current
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-04-20
Clifford Wolf
Merge pull request #943 from YosysHQ/clifford/whitebox
blob
|
commitdiff
|
raw
|
diff to current
2019-04-20
Clifford Wolf
Add "techmap -wb", use in formal flows
blob
|
commitdiff
|
raw
|
diff to current
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-18
Jim Lawson
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #738 from smunaut/issue_737
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #735 from daveshah1/trifixes
blob
|
commitdiff
|
raw
|
diff to current
2018-12-16
Clifford Wolf
Merge pull request #739 from whitequark/patch-1
blob
|
commitdiff
|
raw
|
diff to current
next