projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add missing NMUX to "abc -g" handling
[yosys.git]
/
passes
/
equiv
/
2019-08-12
Serge Bazanski
Merge pull request #1152 from 1138-4EB/feat-docker
tree
|
commitdiff
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1258 from YosysHQ/eddie/cleanup
tree
|
commitdiff
2019-08-07
Eddie Hung
substr() -> compare()
tree
|
commitdiff
2019-08-07
Eddie Hung
stoi -> atoi
tree
|
commitdiff
2019-08-06
Eddie Hung
Use std::stoi instead of atoi(<str>.c_str())
tree
|
commitdiff
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
tree
|
commitdiff
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-05-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-05-01
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-04-30
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-04-30
Clifford Wolf
Merge pull request #966 from YosysHQ/clifford/fix956
tree
|
commitdiff
2019-04-30
Clifford Wolf
Merge branch 'master' into eddie/refactor_synth_xilinx
tree
|
commitdiff
2019-04-30
Benedikt Tutzer
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-04-29
Clifford Wolf
Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-04-26
Eddie Hung
Add -undef option to equiv_opt, passed to equiv_induct
tree
|
commitdiff
2019-04-26
Eddie Hung
Add -undef option to equiv_opt, passed to equiv_induct
tree
|
commitdiff
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/xc7srl' into xc7mux
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #905 from christian-krieg/feature...
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #941 from Wren6991/sim_lib_io_clke
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge branch 'master' of https://github.com/dh73/yosys_...
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #911 from mmicko/gowin-nobram
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #909 from zachjs/master
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #944 from YosysHQ/clifford/pmux2shiftx
tree
|
commitdiff
2019-04-21
Eddie Hung
Merge branch 'master' into map_cells_before_map_luts
tree
|
commitdiff
2019-04-21
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmux2shif...
tree
|
commitdiff
2019-04-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7srl
tree
|
commitdiff
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-20
Clifford Wolf
Merge pull request #943 from YosysHQ/clifford/whitebox
tree
|
commitdiff
2019-04-20
Clifford Wolf
Add "techmap -wb", use in formal flows
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
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 #739 from whitequark/patch-1
tree
|
commitdiff
2018-12-16
Clifford Wolf
Fix equiv_opt indenting
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
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-05
Clifford Wolf
Merge pull request #709 from smunaut/issue_708
tree
|
commitdiff
2018-12-04
Clifford Wolf
Merge pull request #702 from smunaut/min_ce_use
tree
|
commitdiff
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
tree
|
commitdiff
2018-10-21
rafaeltp
using [i] to access individual bits of SigSpec and...
tree
|
commitdiff
2018-10-21
rafaeltp
cleaning up for PR
tree
|
commitdiff
2018-10-21
rafaeltp
fixing code style
tree
|
commitdiff
2018-10-21
rafaeltp
solves #675
tree
|
commitdiff
2018-10-19
Clifford Wolf
Merge pull request #672 from daveshah1/fix_bram
tree
|
commitdiff
2018-10-18
Clifford Wolf
Merge pull request #659 from rubund/sv_interfaces
tree
|
commitdiff
2018-10-18
Clifford Wolf
Merge pull request #657 from mithro/xilinx-vpr
tree
|
commitdiff
2018-10-18
Clifford Wolf
Merge pull request #664 from tklam/ignore-verilog-protect
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #660 from tklam/parse-liberty-detect...
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #663 from aman-goel/master
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #658 from daveshah1/ecp5_bram
tree
|
commitdiff
2018-10-17
Clifford Wolf
Merge pull request #641 from tklam/master
tree
|
commitdiff
2018-10-13
tklam
stop check_signal_in_fanout from traversing FFs
tree
|
commitdiff
2018-10-13
tklam
stop check_signal_in_fanout from traversing FFs
tree
|
commitdiff
2018-10-13
tklam
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2018-10-03
tklam
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2018-09-26
tklam
fix bug: pass by reference
tree
|
commitdiff
2018-09-26
TK Lam
Fix issue #639
tree
|
commitdiff
2018-09-17
Udi Finkelstein
Merge branch 'master' into pr_reg_wire_error
tree
|
commitdiff
2018-08-22
Jim Lawson
Merge pull request #1 from YosysHQ/master
tree
|
commitdiff
2018-08-18
Aman Goel
Merge pull request #3 from YosysHQ/master
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #573 from cr1901/msys-64
tree
|
commitdiff
2018-08-15
Clifford Wolf
Merge pull request #591 from hzeller/virtual-override
tree
|
commitdiff
2018-07-21
Henner Zeller
Consistent use of 'override' for virtual methods in...
tree
|
commitdiff
2018-02-03
Clifford Wolf
Merge pull request #488 from azonenberg/for_clifford
tree
|
commitdiff
2018-01-19
Clifford Wolf
Improve log messages in equiv_make
tree
|
commitdiff
2017-04-28
Clifford Wolf
Fix equiv_simple, old behavior now available with ...
tree
|
commitdiff
2017-04-12
Larry Doolittle
Squelch trailing whitespace
tree
|
commitdiff
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
tree
|
commitdiff
2017-01-30
Clifford Wolf
Add $ff and $_FF_ support to equiv_simple
tree
|
commitdiff
2016-11-29
Clifford Wolf
Improved equiv_purge log output
tree
|
commitdiff
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
tree
|
commitdiff
2016-04-23
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-04-21
Clifford Wolf
Added "yosys -D" feature
tree
|
commitdiff
2016-01-08
Clifford Wolf
Added "equiv_struct -fwonly"
tree
|
commitdiff
2016-01-08
Clifford Wolf
Bugfixes in equiv_struct
tree
|
commitdiff
2016-01-06
Clifford Wolf
Added "equiv_struct -maxiter <N>"
tree
|
commitdiff
2016-01-06
Clifford Wolf
Added "equiv_add -try" mode
tree
|
commitdiff
2015-12-07
Clifford Wolf
Merge pull request #108 from cseed/master
tree
|
commitdiff
2015-10-27
Clifford Wolf
Use mfp<> in equiv_mark
tree
|
commitdiff
2015-10-25
Clifford Wolf
Improvements in equiv_struct
tree
|
commitdiff
2015-10-25
Clifford Wolf
Major refactoring of equiv_struct
tree
|
commitdiff
2015-10-25
Clifford Wolf
Import more std:: stuff into Yosys namespace
tree
|
commitdiff
2015-10-25
Clifford Wolf
Added "equiv_add -cell"
tree
|
commitdiff
2015-10-25
Clifford Wolf
equiv_struct now creates equiv_merged attributes
tree
|
commitdiff
2015-10-24
Clifford Wolf
Improvements in equiv_struct
tree
|
commitdiff
2015-10-24
Clifford Wolf
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...
tree
|
commitdiff
2015-10-24
Clifford Wolf
equiv_purge bugfix, using SigChunk in Yosys namespace
tree
|
commitdiff
2015-10-23
Clifford Wolf
Added equiv_mark command
tree
|
commitdiff
2015-10-23
Clifford Wolf
Also merge $equiv cells in equiv_struct
tree
|
commitdiff
next