projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lut2mux: handle 1-bit INIT constant in $lut cells.
[yosys.git] / passes / equiv /
2018-12-05 Clifford WolfMerge pull request #709 from smunaut/issue_708 tree | commitdiff
2018-12-04 Clifford WolfMerge pull request #702 from smunaut/min_ce_use tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-10-21 rafaeltpusing [i] to access individual bits of SigSpec and... tree | commitdiff
2018-10-21 rafaeltpcleaning up for PR tree | commitdiff
2018-10-21 rafaeltpfixing code style tree | commitdiff
2018-10-21 rafaeltpsolves #675 tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #672 from daveshah1/fix_bram tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #659 from rubund/sv_interfaces tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #657 from mithro/xilinx-vpr tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #664 from tklam/ignore-verilog-protect tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #660 from tklam/parse-liberty-detect... tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #663 from aman-goel/master tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #658 from daveshah1/ecp5_bram tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #641 from tklam/master tree | commitdiff
2018-10-13 tklamstop check_signal_in_fanout from traversing FFs tree | commitdiff
2018-10-13 tklamstop check_signal_in_fanout from traversing FFs tree | commitdiff
2018-10-13 tklamMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2018-10-03 tklamMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2018-09-26 tklamfix bug: pass by reference tree | commitdiff
2018-09-26 TK LamFix issue #639 tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2018-02-03 Clifford WolfMerge pull request #488 from azonenberg/for_clifford tree | commitdiff
2018-01-19 Clifford WolfImprove log messages in equiv_make tree | commitdiff
2017-04-28 Clifford WolfFix equiv_simple, old behavior now available with ... tree | commitdiff
2017-04-12 Larry DoolittleSquelch trailing whitespace tree | commitdiff
2017-02-09 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-01-31 Clifford WolfMerge branch 'opt_compare_pr' of https://github.com... tree | commitdiff
2017-01-30 Clifford WolfAdd $ff and $_FF_ support to equiv_simple tree | commitdiff
2016-11-29 Clifford WolfImproved equiv_purge log output tree | commitdiff
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... tree | commitdiff
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-04-21 Clifford WolfAdded "yosys -D" feature tree | commitdiff
2016-01-08 Clifford WolfAdded "equiv_struct -fwonly" tree | commitdiff
2016-01-08 Clifford WolfBugfixes in equiv_struct tree | commitdiff
2016-01-06 Clifford WolfAdded "equiv_struct -maxiter <N>" tree | commitdiff
2016-01-06 Clifford WolfAdded "equiv_add -try" mode tree | commitdiff
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master tree | commitdiff
2015-10-27 Clifford WolfUse mfp<> in equiv_mark tree | commitdiff
2015-10-25 Clifford WolfImprovements in equiv_struct tree | commitdiff
2015-10-25 Clifford WolfMajor refactoring of equiv_struct tree | commitdiff
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace tree | commitdiff
2015-10-25 Clifford WolfAdded "equiv_add -cell" tree | commitdiff
2015-10-25 Clifford Wolfequiv_struct now creates equiv_merged attributes tree | commitdiff
2015-10-24 Clifford WolfImprovements in equiv_struct tree | commitdiff
2015-10-24 Clifford Wolfrenamed SigSpec::to_single_sigbit() to SigSpec::as_bit... tree | commitdiff
2015-10-24 Clifford Wolfequiv_purge bugfix, using SigChunk in Yosys namespace tree | commitdiff
2015-10-23 Clifford WolfAdded equiv_mark command tree | commitdiff
2015-10-23 Clifford WolfAlso merge $equiv cells in equiv_struct tree | commitdiff
2015-10-23 Clifford WolfImprovements in equiv_struct tree | commitdiff
2015-10-22 Clifford WolfAdded equiv_purge tree | commitdiff
2015-10-21 Clifford WolfAdded equiv_struct command tree | commitdiff
2015-10-21 Clifford WolfImproved inout handling in equiv_make tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr tree | commitdiff
2015-02-08 Clifford WolfAdded equiv_add tree | commitdiff
2015-02-01 Clifford WolfMerge pull request #48 from rubund/master tree | commitdiff
2015-02-01 Clifford WolfImproved performance in equiv_simple tree | commitdiff
2015-01-31 Clifford WolfFixed equiv_make for partially undriven nets (e.g.... tree | commitdiff
2015-01-31 Clifford WolfAdded "equiv_induct -undef" tree | commitdiff
2015-01-31 Clifford WolfAdded "equiv_simple -undef" tree | commitdiff
2015-01-31 Clifford WolfAdded "equiv_make -blacklist <file> -encfile <file>" tree | commitdiff
2015-01-27 Clifford WolfFixed bug in equiv_miter tree | commitdiff
2015-01-25 Clifford WolfAdded equiv_remove tree | commitdiff
2015-01-25 Clifford WolfAdded equiv_miter tree | commitdiff
2015-01-23 Clifford WolfVarious equiv_* improvements tree | commitdiff
2015-01-23 Clifford WolfAdded dict/pool.sort() tree | commitdiff
2015-01-22 Clifford WolfImprovements in equiv_make, equiv_induct tree | commitdiff
2015-01-22 Clifford WolfAdded equiv_induct tree | commitdiff
2015-01-22 Clifford WolfVarious equiv_simple improvements tree | commitdiff
2015-01-22 Clifford WolfMoved equiv stuff to passes/equiv/ tree | commitdiff