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

2020-03-13	Alberto Gonzalez	Add support for optimizing exists-forall problems.	blob \| commitdiff \| raw
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-26	Clifford Wolf	Merge tag 'yosys-0.9'	blob \| commitdiff \| raw \| diff to current
2019-08-25	Clifford Wolf	Merge pull request #1112 from acw1251/pyosys_sigsig_issue	blob \| commitdiff \| raw \| diff to current
2019-08-22	Clifford Wolf	Merge pull request #1281 from mmicko/efinix	blob \| commitdiff \| raw \| diff to current
2019-08-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge branch 'eddie/abc9_refactor' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge pull request #1250 from bwidawsk/master	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge https://github.com/bogdanvuk/yosys into bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-12	Serge Bazanski	Merge pull request #1152 from 1138-4EB/feat-docker	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1258 from YosysHQ/eddie/cleanup	blob \| commitdiff \| raw \| diff to current
2019-08-09	Miodrag Milanovic	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2019-08-08	David Shah	Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	substr() -> compare()	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Jim Lawson	Merge branch 'master' into firrtl_err_on_unsupported_cell	blob \| commitdiff \| raw \| diff to current
2019-08-07	Clifford Wolf	Merge pull request #1240 from ucb-bar/firrtl-properties...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Clifford Wolf	Merge pull request #1249 from mmicko/anlogic_fix	blob \| commitdiff \| raw \| diff to current
2019-08-07	David Shah	Merge pull request #1241 from YosysHQ/clifford/jsonfix	blob \| commitdiff \| raw \| diff to current
2019-08-06	Eddie Hung	Make liberal use of IdString.in()	blob \| commitdiff \| raw \| diff to current
2019-08-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-06	Clifford Wolf	Merge pull request #1251 from YosysHQ/clifford/nmux	blob \| commitdiff \| raw \| diff to current
2019-08-06	Clifford Wolf	Add $_NMUX_, add "abc -g cmos", add proper cmos cell...	blob \| commitdiff \| raw \| diff to current
2019-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-04-30	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-04-30	Benedikt Tutzer	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Eddie Hung	Merge remote-tracking branch 'origin/xc7srl' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #905 from christian-krieg/feature...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #941 from Wren6991/sim_lib_io_clke	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge branch 'master' of https://github.com/dh73/yosys_...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #911 from mmicko/gowin-nobram	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #909 from zachjs/master	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #944 from YosysHQ/clifford/pmux2shiftx	blob \| commitdiff \| raw \| diff to current
2019-04-21	Eddie Hung	Merge branch 'master' into map_cells_before_map_luts	blob \| commitdiff \| raw \| diff to current
2019-04-21	Eddie Hung	Merge remote-tracking branch 'origin/clifford/pmux2shif...	blob \| commitdiff \| raw \| diff to current
2019-04-21	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	blob \| commitdiff \| raw \| diff to current
2019-04-20	Clifford Wolf	Merge pull request #943 from YosysHQ/clifford/whitebox	blob \| commitdiff \| raw \| diff to current
2019-04-18	Eddie Hung	Merge remote-tracking branch 'origin/clifford/whitebox...	blob \| commitdiff \| raw \| diff to current
2019-04-18	Clifford Wolf	Add "whitebox" attribute, add "read_verilog -wb"	blob \| commitdiff \| raw \| diff to current
2019-04-08	Eddie Hung	Merge branch 'master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-01	Jim Lawson	Merge remote-tracking branch 'upstream/master'	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
2019-03-19	Eddie Hung	Merge https://github.com/YosysHQ/yosys into read_aiger	blob \| commitdiff \| raw \| diff to current
2019-03-14	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	blob \| commitdiff \| raw \| diff to current
2019-03-09	Clifford Wolf	Merge pull request #859 from smunaut/ice40_braminit	blob \| commitdiff \| raw \| diff to current
2019-03-09	Clifford Wolf	Fix signed $shift/$shiftx handling in write_smt2	blob \| commitdiff \| raw \| diff to current
2019-03-09	Clifford Wolf	Merge pull request #858 from YosysHQ/clifford/svalabels	blob \| commitdiff \| raw \| diff to current
2019-03-07	Clifford Wolf	Use SVA label in smt export if available	blob \| commitdiff \| raw \| diff to current
2019-03-01	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-02-28	Clifford Wolf	Merge pull request #794 from daveshah1/ecp5improve	blob \| commitdiff \| raw \| diff to current
2019-02-28	Clifford Wolf	Merge pull request #827 from ucb-bar/firrtlfixes	blob \| commitdiff \| raw \| diff to current
2019-02-28	Clifford Wolf	Merge pull request #833 from YosysHQ/clifford/fix831	blob \| commitdiff \| raw \| diff to current
2019-02-28	Clifford Wolf	Fix smt2 code generation for partially initialized...	blob \| commitdiff \| raw \| diff to current
2018-12-18	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-12-01	Clifford Wolf	Merge pull request #676 from rafaeltp/master	blob \| commitdiff \| raw \| diff to current
2018-11-12	Clifford Wolf	Merge pull request #695 from daveshah1/ecp5_bb	blob \| commitdiff \| raw \| diff to current
2018-11-01	Clifford Wolf	Add support for signed $shift/$shiftx in smt2 back-end	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-08-15	Clifford Wolf	Merge pull request #513 from udif/pr_reg_wire_error	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
2018-04-04	Clifford Wolf	Fixed -stbv handling in SMT2 back-end	blob \| commitdiff \| raw \| diff to current
2018-03-27	Clifford Wolf	Merge pull request #515 from edcote/patch-1	blob \| commitdiff \| raw \| diff to current
2018-03-27	Clifford Wolf	Add $mem support to SMT2 clock tagging	blob \| commitdiff \| raw \| diff to current
2018-03-04	Clifford Wolf	Improve SMT2 encoding of $reduce_{and,or,bool}	blob \| commitdiff \| raw \| diff to current
2018-02-23	Clifford Wolf	Merge branch 'forall'	blob \| commitdiff \| raw \| diff to current
2018-02-23	Clifford Wolf	Add smtbmc support for exist-forall problems	blob \| commitdiff \| raw \| diff to current
2018-02-20	Clifford Wolf	Add support for mockup clock signals in yosys-smtbmc...	blob \| commitdiff \| raw \| diff to current
2018-02-08	Clifford Wolf	Fix handling of zero-length cell connections in SMT2...	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Add yosys-smtbmc VCD writer support for memories with...	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Add smt2 back-end support for async write memories	blob \| commitdiff \| raw \| diff to current
2017-11-24	Clifford Wolf	Merge pull request #446 from mithro/travis-rework	blob \| commitdiff \| raw \| diff to current
2017-11-09	dh73	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-10-29	Clifford Wolf	Fix SMT2 handling of initstate in sub-modules	blob \| commitdiff \| raw \| diff to current
2017-08-25	Clifford Wolf	Merge branch 'extract_fa'	blob \| commitdiff \| raw \| diff to current
2017-08-25	Clifford Wolf	Fix bug in write_smt2 (export logic driving hierarchica...	blob \| commitdiff \| raw \| diff to current
2017-06-07	Clifford Wolf	Fix generation of vlogtb output in yosys-smtbmc for...	blob \| commitdiff \| raw \| diff to current
2017-05-17	Clifford Wolf	Add $_ANDNOT_ and $_ORNOT_ gates	blob \| commitdiff \| raw \| diff to current
2017-03-20	Clifford Wolf	Add "write_smt2 -stdt" mode	blob \| commitdiff \| raw \| diff to current
2017-03-04	Clifford Wolf	Improve smt2 encodings of assert/assume/cover, better...	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Fix extra newline bug in write_smt2	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Improve (and fix for stbv mode) SMT2 memory API	blob \| commitdiff \| raw \| diff to current
2017-02-25	Clifford Wolf	Merge branch 'master' of https://github.com/klammerj...	blob \| commitdiff \| raw \| diff to current
2017-02-24	Clifford Wolf	Merge pull request #322 from azonenberg/master	blob \| commitdiff \| raw \| diff to current
2017-02-24	Clifford Wolf	Add "write_smt2 -stbv"	blob \| commitdiff \| raw \| diff to current
2017-02-24	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-02-24	Clifford Wolf	Add SMT2 statebv mode (inactive for now)	blob \| commitdiff \| raw \| diff to current
2017-02-11	Clifford Wolf	Merge branch 'master' of https://github.com/stv0g/yosys...	blob \| commitdiff \| raw \| diff to current
2017-02-09	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-02-04	Clifford Wolf	Partially implement cover() support in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2017-02-04	Clifford Wolf	Further improve cover() support	blob \| commitdiff \| raw \| diff to current
next

RSS Atom