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

[yosys.git] / passes / cmds / chformal.cc

2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw
2019-02-11	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #770 from whitequark/opt_expr_cmp	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #755 from Icenowy/anlogic-dram-init	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #750 from Icenowy/anlogic-ff-init	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #773 from whitequark/opt_lut_elim_fixes	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #772 from whitequark/synth_lut	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #771 from whitequark/techmap_cmp2lut	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #769 from whitequark/typos	blob \| commitdiff \| raw
2019-01-02	whitequark	Fix typographical and grammatical errors and inconsiste...	blob \| commitdiff \| raw
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-05	Clifford Wolf	Fix gcc compiler warning	blob \| commitdiff \| raw \| diff to current
2017-02-27	Clifford Wolf	Add "chformal -assert2assume" and friends	blob \| commitdiff \| raw \| diff to current
2017-02-27	Clifford Wolf	Add "chformal" pass	blob \| commitdiff \| raw \| diff to current

RSS Atom