projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Switch "bugpoint" from system() to run_command()
[yosys.git]
/
passes
/
equiv
/
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
2015-10-23
Clifford Wolf
Improvements in equiv_struct
tree
|
commitdiff
2015-10-22
Clifford Wolf
Added equiv_purge
tree
|
commitdiff
2015-10-21
Clifford Wolf
Added equiv_struct command
tree
|
commitdiff
2015-10-21
Clifford Wolf
Improved inout handling in equiv_make
tree
|
commitdiff
2015-08-14
Clifford Wolf
Spell check (by Larry Doolittle)
tree
|
commitdiff
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
tree
|
commitdiff
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2015-02-21
Clifford Wolf
Replaced ezDefaultSAT with ezSatPtr
tree
|
commitdiff
2015-02-08
Clifford Wolf
Added equiv_add
tree
|
commitdiff
2015-02-01
Clifford Wolf
Merge pull request #48 from rubund/master
tree
|
commitdiff
2015-02-01
Clifford Wolf
Improved performance in equiv_simple
tree
|
commitdiff
2015-01-31
Clifford Wolf
Fixed equiv_make for partially undriven nets (e.g....
tree
|
commitdiff
2015-01-31
Clifford Wolf
Added "equiv_induct -undef"
tree
|
commitdiff
2015-01-31
Clifford Wolf
Added "equiv_simple -undef"
tree
|
commitdiff
2015-01-31
Clifford Wolf
Added "equiv_make -blacklist <file> -encfile <file>"
tree
|
commitdiff
2015-01-27
Clifford Wolf
Fixed bug in equiv_miter
tree
|
commitdiff
2015-01-25
Clifford Wolf
Added equiv_remove
tree
|
commitdiff
2015-01-25
Clifford Wolf
Added equiv_miter
tree
|
commitdiff
2015-01-23
Clifford Wolf
Various equiv_* improvements
tree
|
commitdiff
2015-01-23
Clifford Wolf
Added dict/pool.sort()
tree
|
commitdiff
2015-01-22
Clifford Wolf
Improvements in equiv_make, equiv_induct
tree
|
commitdiff
2015-01-22
Clifford Wolf
Added equiv_induct
tree
|
commitdiff
2015-01-22
Clifford Wolf
Various equiv_simple improvements
tree
|
commitdiff
2015-01-22
Clifford Wolf
Moved equiv stuff to passes/equiv/
tree
|
commitdiff