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

2019-03-07	Clifford Wolf	Use SVA label in smt export if available	blob \| commitdiff \| raw
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-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
2016-12-01	Clifford Wolf	Added support for partially initialized regs to smt2...	blob \| commitdiff \| raw \| diff to current
2016-11-28	Clifford Wolf	Bugfix in smt2 back-end for pure checker modules	blob \| commitdiff \| raw \| diff to current
2016-10-16	Clifford Wolf	cleanup in write_smt2 log messages (-bv and -mem are...	blob \| commitdiff \| raw \| diff to current
2016-10-14	Clifford Wolf	Added $anyseq cell type	blob \| commitdiff \| raw \| diff to current
2016-10-11	Clifford Wolf	Added $ff and $_FF_ cell types	blob \| commitdiff \| raw \| diff to current
2016-09-23	Clifford Wolf	Merge branch 'master' of https://github.com/brouhaha...	blob \| commitdiff \| raw \| diff to current
2016-09-18	Clifford Wolf	Improved handling of SMT2 logics in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-09-10	Clifford Wolf	fixed write_smt2 for (non-combinatorial) loops through...	blob \| commitdiff \| raw \| diff to current
2016-09-08	Clifford Wolf	smt2 mem init bugfix	blob \| commitdiff \| raw \| diff to current
2016-09-08	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-09-08	Clifford Wolf	yosys-smtbmc meminit support	blob \| commitdiff \| raw \| diff to current
2016-09-04	Clifford Wolf	Minor bugfix in write_smt2	blob \| commitdiff \| raw \| diff to current
2016-09-03	Clifford Wolf	Added boolector support to yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-08-30	Clifford Wolf	Added $anyconst support to yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-08-30	Clifford Wolf	Fixed memory bug in write_smt2	blob \| commitdiff \| raw \| diff to current
2016-08-30	Clifford Wolf	Made "write_smt2 -bv -mem" default, added "write_smt2...	blob \| commitdiff \| raw \| diff to current
2016-08-30	Clifford Wolf	Added $anyconst support to smt2 back-end	blob \| commitdiff \| raw \| diff to current
2016-08-26	Clifford Wolf	Merge pull request #215 from frznchckn/to_upstream	blob \| commitdiff \| raw \| diff to current
2016-08-26	Clifford Wolf	Various fixes and improvements in smt2 back-end	blob \| commitdiff \| raw \| diff to current
2016-08-21	Clifford Wolf	yosys-smtbmc: improved --dump-vlogtb handling of memories	blob \| commitdiff \| raw \| diff to current
2016-08-20	Clifford Wolf	Deprecated "write_smt2 -regs" (by default on now),...	blob \| commitdiff \| raw \| diff to current
2016-08-17	Clifford Wolf	Added printing of code loc of failed asserts to yosys...	blob \| commitdiff \| raw \| diff to current
2016-07-30	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-07-27	Clifford Wolf	Added $initstate support to smtbmc flow	blob \| commitdiff \| raw \| diff to current
2016-07-11	Clifford Wolf	Moved smt2 yosys info parsing from smtbmc.py to smtio.py	blob \| commitdiff \| raw \| diff to current
2016-07-10	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-07-10	Clifford Wolf	Support for hierarchical designs in smt2 back-end	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-25	Clifford Wolf	Import more std:: stuff into Yosys namespace	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-10-15	Clifford Wolf	Improvements in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2015-10-13	Clifford Wolf	Added write_smt2 -wires	blob \| commitdiff \| raw \| diff to current
2015-08-31	Clifford Wolf	Added "yosys-smt2-wire" tag support to smt2 back-end	blob \| commitdiff \| raw \| diff to current
2015-08-15	Clifford Wolf	Fixed generation of smt2 concat statements	blob \| commitdiff \| raw \| diff to current
2015-08-13	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2015-08-12	Clifford Wolf	Added "write_smt2 -regs"	blob \| commitdiff \| raw \| diff to current
2015-08-09	Clifford Wolf	Use MEMID as name for $mem cell	blob \| commitdiff \| raw \| diff to current
2015-07-02	Clifford Wolf	Fixed trailing whitespaces	blob \| commitdiff \| raw \| diff to current
2015-06-14	Clifford Wolf	Removed debug code from write_smt2	blob \| commitdiff \| raw \| diff to current
2015-06-14	Clifford Wolf	Added write_smt2 -mem	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-26	Clifford Wolf	Added $assume support to write_smt2	blob \| commitdiff \| raw \| diff to current
2015-02-22	Clifford Wolf	Minor "write_smt2" help msg change	blob \| commitdiff \| raw \| diff to current
2015-02-22	Clifford Wolf	Added "<mod>_a" and "<mod>_i" to write_smt2 output	blob \| commitdiff \| raw \| diff to current
2014-12-25	Clifford Wolf	Various fixes and improvements in "write_smt2 -bv"	blob \| commitdiff \| raw \| diff to current
2014-12-25	Clifford Wolf	Various fixes and improvements in write_smt2	blob \| commitdiff \| raw \| diff to current
2014-12-25	Clifford Wolf	Added support for most BV cell types to write_smt2	blob \| commitdiff \| raw \| diff to current
2014-12-25	Clifford Wolf	Added "write_smt2 -bv" and other write_smt2 improvements	blob \| commitdiff \| raw \| diff to current
2014-12-24	Clifford Wolf	Added write_smt2 (only gate level logic supported so...	blob \| commitdiff \| raw \| diff to current

RSS Atom