git.libre-soc.org Git - yosys.git/history - passes/equiv/equiv

[yosys.git] / passes / equiv / equiv_simple.cc

2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	blob \| commitdiff \| raw
2021-03-30	Marcelina Kościelnicka	equiv: Suggest running async2sync or clk2fflogic where...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Claire Xen	Merge pull request #2133 from dh73/nodev_head	blob \| commitdiff \| raw \| diff to current
2020-08-19	clairexen	Merge pull request #2122 from PeterCrozier/struct_array2	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	blob \| commitdiff \| raw \| diff to current
2020-06-19	whitequark	Merge pull request #2173 from whitequark/use-cxx11...	blob \| commitdiff \| raw \| diff to current
2020-06-18	whitequark	Use C++11 final/override keywords.	blob \| commitdiff \| raw \| diff to current
2020-04-15	N. Engelhardt	Merge pull request #1830 from boqwxp/qbfsat	blob \| commitdiff \| raw \| diff to current
2020-04-10	whitequark	Merge pull request #1603 from whitequark/ice40-ram_style	blob \| commitdiff \| raw \| diff to current
2020-04-08	Sahand Kashani	Merge branch 'master' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2020-04-07	Claire Wolf	Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...	blob \| commitdiff \| raw \| diff to current
2020-04-06	whitequark	Merge pull request #1859 from boqwxp/design_duplicate	blob \| commitdiff \| raw \| diff to current
2020-04-03	Eddie Hung	Merge pull request #1648 from YosysHQ/eddie/cmp2lcu	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1853 from YosysHQ/eddie/fix_dynslice	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1767 from YosysHQ/eddie/idstrings	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: big fat patch to use more ID::*, otherwise...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: use more ID::*	blob \| commitdiff \| raw \| diff to current
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	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-08-07	Eddie Hung	stoi -> atoi	blob \| commitdiff \| raw \| diff to current
2019-08-06	Eddie Hung	Use std::stoi instead of atoi(<str>.c_str())	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-09-17	Udi Finkelstein	Merge branch 'master' into pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-08-22	Jim Lawson	Merge pull request #1 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-18	Aman Goel	Merge pull request #3 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #573 from cr1901/msys-64	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #591 from hzeller/virtual-override	blob \| commitdiff \| raw \| diff to current
2018-07-21	Henner Zeller	Consistent use of 'override' for virtual methods in...	blob \| commitdiff \| raw \| diff to current
2017-04-28	Clifford Wolf	Fix equiv_simple, old behavior now available with ...	blob \| commitdiff \| raw \| diff to current
2017-02-09	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-01-31	Clifford Wolf	Merge branch 'opt_compare_pr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2017-01-30	Clifford Wolf	Add $ff and $_FF_ support to equiv_simple	blob \| commitdiff \| raw \| diff to current
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2016-04-23	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-04-21	Clifford Wolf	Added "yosys -D" feature	blob \| commitdiff \| raw \| diff to current
2015-12-07	Clifford Wolf	Merge pull request #108 from cseed/master	blob \| commitdiff \| raw \| diff to current
2015-10-24	Clifford Wolf	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...	blob \| commitdiff \| raw \| diff to current
2015-07-02	Clifford Wolf	Fixed trailing whitespaces	blob \| commitdiff \| raw \| diff to current
2015-04-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2015-02-21	Clifford Wolf	Replaced ezDefaultSAT with ezSatPtr	blob \| commitdiff \| raw \| diff to current
2015-02-01	Clifford Wolf	Merge pull request #48 from rubund/master	blob \| commitdiff \| raw \| diff to current
2015-02-01	Clifford Wolf	Improved performance in equiv_simple	blob \| commitdiff \| raw \| diff to current
2015-01-31	Clifford Wolf	Added "equiv_simple -undef"	blob \| commitdiff \| raw \| diff to current
2015-01-23	Clifford Wolf	Various equiv_* improvements	blob \| commitdiff \| raw \| diff to current
2015-01-22	Clifford Wolf	Various equiv_simple improvements	blob \| commitdiff \| raw \| diff to current
2015-01-22	Clifford Wolf	Moved equiv stuff to passes/equiv/	blob \| commitdiff \| raw \| diff to current

RSS Atom