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

2016-10-14	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Merge pull request #246 from set-soft/abc_external_ovr	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added YOSYS_VER_STR make variable	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Ugh! extra patches got here, reverting	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Allow to overwrite ABCEXTERNAL from the environment.	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Modified test target name (to test-all)	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Added a new configuration variable GIT_REV_WHERE	commit \| commitdiff \| tree
2016-10-12	Clifford Wolf	Added "zinit" pass	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	Added $ff and $_FF_ cell types	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	Fixed "make test" for git head of iverilog	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	define PATH_MAX if not defined by limits.h	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-10-08	Clifford Wolf	Added smtc support for top-level state with [], [N...	commit \| commitdiff \| tree
2016-10-03	Clifford Wolf	Bugfix in yosys-smtbmc --noincr	commit \| commitdiff \| tree
2016-10-03	Clifford Wolf	yosys-smtbmc: ABC is a QF_BV solver	commit \| commitdiff \| tree
2016-10-03	Clifford Wolf	Added "yosys-smtbmc --noincr"	commit \| commitdiff \| tree
2016-10-02	Clifford Wolf	Update ABV to hg rev eb6eca6807cc	commit \| commitdiff \| tree
2016-10-02	Clifford Wolf	yosys-smtbmc: added smtc [...] support for cells	commit \| commitdiff \| tree
2016-10-01	Clifford Wolf	Added "yosys-smtbmc -s abc"	commit \| commitdiff \| tree
2016-10-01	Clifford Wolf	Updated ABV to hg rev 6b74de13c57f	commit \| commitdiff \| tree
2016-09-30	Clifford Wolf	Added "prep -nokeepdc"	commit \| commitdiff \| tree
2016-09-30	Clifford Wolf	Added "opt_rmdff -keepdc"	commit \| commitdiff \| tree
2016-09-30	Clifford Wolf	Updated ABV to hg rev 2bc57cc30593	commit \| commitdiff \| tree
2016-09-24	Clifford Wolf	Minor improvements in yosys-smtbmc	commit \| commitdiff \| tree
2016-09-23	Clifford Wolf	Added liberty parser support for types within cell...	commit \| commitdiff \| tree
2016-09-23	Clifford Wolf	Merge branch 'master' of https://github.com/brouhaha...	commit \| commitdiff \| tree
2016-09-22	Eric Smith	Add optional SEED=n command line option to Makefile...	commit \| commitdiff \| tree
2016-09-20	Clifford Wolf	Added autotest.sh -I	commit \| commitdiff \| tree
2016-09-19	Clifford Wolf	Cosmetic fix in test_autotb.cc	commit \| commitdiff \| tree
2016-09-19	Clifford Wolf	Added yosys-smtbmc --noinfo and --dummy	commit \| commitdiff \| tree
2016-09-19	Clifford Wolf	Avoid creating very long strings in test_autotb	commit \| commitdiff \| tree
2016-09-18	Clifford Wolf	Added $past, $stable, $rose, $fell SVA functions	commit \| commitdiff \| tree
2016-09-18	Clifford Wolf	Improved handling of SMT2 logics in yosys-smtbmc	commit \| commitdiff \| tree
2016-09-18	Clifford Wolf	Added support for bus interfaces to "read_liberty ...	commit \| commitdiff \| tree
2016-09-17	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-09-17	Clifford Wolf	yosys-smtbmc: added -i support smtc files	commit \| commitdiff \| tree
2016-09-14	Clifford Wolf	Bugfix in techmap parameter handling	commit \| commitdiff \| tree
2016-09-13	Clifford Wolf	Work-around for boolector bug	commit \| commitdiff \| tree
2016-09-13	Clifford Wolf	Merge pull request #228 from Kmanfi/test	commit \| commitdiff \| tree
2016-09-13	Kaj Tuomi	Fix for modules with big interfaces.	commit \| commitdiff \| tree
2016-09-11	Clifford Wolf	Added missing :produce-models setting to smtio.py	commit \| commitdiff \| tree
2016-09-10	Clifford Wolf	Minor improvements to smtio.py vcd writer	commit \| commitdiff \| tree
2016-09-10	Clifford Wolf	fixed write_smt2 for (non-combinatorial) loops through...	commit \| commitdiff \| tree
2016-09-08	Clifford Wolf	smt2 mem init bugfix	commit \| commitdiff \| tree
2016-09-08	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-09-08	Clifford Wolf	yosys-smtbmc meminit support	commit \| commitdiff \| tree
2016-09-08	Clifford Wolf	Merge pull request #225 from Kmanfi/test	commit \| commitdiff \| tree
2016-09-08	Kaj Tuomi	Typo fix.	commit \| commitdiff \| tree
2016-09-07	Clifford Wolf	Bugfix in "yosys-smtbmc --unroll"	commit \| commitdiff \| tree
2016-09-07	Clifford Wolf	Added "yosys-smtbmc --unroll"	commit \| commitdiff \| tree
2016-09-07	Clifford Wolf	Install celledges.h	commit \| commitdiff \| tree
2016-09-07	Clifford Wolf	Improvements in assertpmux	commit \| commitdiff \| tree
2016-09-07	Clifford Wolf	Updated ABC to hg 8e08604f8ad3	commit \| commitdiff \| tree
2016-09-06	Clifford Wolf	Added assertpmux	commit \| commitdiff \| tree
2016-09-06	Clifford Wolf	Added "tee +INT -INT"	commit \| commitdiff \| tree
2016-09-06	Clifford Wolf	Run log_flush() before solving in sat command	commit \| commitdiff \| tree
2016-09-06	Clifford Wolf	Bugfix in parsing of BLIF latch init values	commit \| commitdiff \| tree
2016-09-06	Clifford Wolf	Avoid creation of bogus initial blocks for assert/assum...	commit \| commitdiff \| tree
2016-09-06	Larry Doolittle	Fix spelling and grammar in README	commit \| commitdiff \| tree
2016-09-05	Clifford Wolf	yosys-smtbmc: flush stdout after each log msg	commit \| commitdiff \| tree
2016-09-04	Clifford Wolf	Minor bugfix in write_smt2	commit \| commitdiff \| tree
2016-09-03	Clifford Wolf	Minor README updates	commit \| commitdiff \| tree
2016-09-03	Clifford Wolf	Added boolector support to yosys-smtbmc	commit \| commitdiff \| tree
2016-09-02	Clifford Wolf	Merge branch 'smtbmc-kmanfi'	commit \| commitdiff \| tree
2016-09-02	Clifford Wolf	Made examples/smtbmc/demo1.v more interesting	commit \| commitdiff \| tree
2016-09-02	Clifford Wolf	Don't re-create hex_dict for each value	commit \| commitdiff \| tree
2016-09-02	Kaj Tuomi	More PEP 8 fixes.	commit \| commitdiff \| tree
2016-09-02	Kaj Tuomi	Indentation and PEP 8 fixes. CamelCase and white space...	commit \| commitdiff \| tree
2016-09-02	Kaj Tuomi	Use dict lookup instead of many ifs.	commit \| commitdiff \| tree
2016-09-02	Kaj Tuomi	Fix: Unresolved reference.	commit \| commitdiff \| tree
2016-09-02	Kaj Tuomi	Some syntax fixes. Generator and comma separated list...	commit \| commitdiff \| tree
2016-08-30	Clifford Wolf	Added "prep -nomem"	commit \| commitdiff \| tree
2016-08-30	Clifford Wolf	Added $anyconst support to yosys-smtbmc	commit \| commitdiff \| tree
2016-08-30	Clifford Wolf	Removed $aconst cell type	commit \| commitdiff \| tree
2016-08-30	Clifford Wolf	Fixed memory bug in write_smt2	commit \| commitdiff \| tree
2016-08-30	Clifford Wolf	Made "write_smt2 -bv -mem" default, added "write_smt2...	commit \| commitdiff \| tree
2016-08-30	Clifford Wolf	Added $anyconst support to smt2 back-end	commit \| commitdiff \| tree
2016-08-29	Clifford Wolf	Improved init spec handling in opt_rmdff, modernized...	commit \| commitdiff \| tree
2016-08-29	Clifford Wolf	Added "yosys-smtbmc --dump-all"	commit \| commitdiff \| tree
2016-08-29	Clifford Wolf	More yosys-smtbmc bugfixes	commit \| commitdiff \| tree
2016-08-29	Clifford Wolf	Various fixes and improvements in yosys-smtbmc	commit \| commitdiff \| tree
2016-08-28	Clifford Wolf	Removed $predict again	commit \| commitdiff \| tree
2016-08-28	Clifford Wolf	Improved "show" help message	commit \| commitdiff \| tree
2016-08-27	Clifford Wolf	Some changes to yosys-smtbmc cmd line options, add...	commit \| commitdiff \| tree
2016-08-27	Clifford Wolf	Fixed handling of transparent bram rd ports on ROMs	commit \| commitdiff \| tree
2016-08-27	Clifford Wolf	Added smtc "final" statement	commit \| commitdiff \| tree
2016-08-26	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-08-26	Clifford Wolf	Merge pull request #215 from frznchckn/to_upstream	commit \| commitdiff \| tree
2016-08-26	Clifford Wolf	Added read_verilog -norestrict -assume-asserts	commit \| commitdiff \| tree
2016-08-26	Russell L Friesenhahn	Relax test to see if yosys dir is a git repository...	commit \| commitdiff \| tree
2016-08-26	Russell L Friesenhahn	Allow redefining of the ABC repository URL	commit \| commitdiff \| tree
2016-08-26	Clifford Wolf	Various fixes and improvements in smt2 back-end	commit \| commitdiff \| tree
2016-08-25	Clifford Wolf	Improved verilog parser errors	commit \| commitdiff \| tree
2016-08-24	Clifford Wolf	More yosys-smtbmc smtc features	commit \| commitdiff \| tree
2016-08-24	Clifford Wolf	yosys-smtbmc --smtc -g	commit \| commitdiff \| tree
2016-08-24	Clifford Wolf	Added SV "restrict" keyword	commit \| commitdiff \| tree
2016-08-22	Clifford Wolf	Minor yosys-smtbmc bugfix	commit \| commitdiff \| tree
2016-08-22	Clifford Wolf	Added "yosys-smtbmc --constr"	commit \| commitdiff \| tree
2016-08-22	Clifford Wolf	Added "yosys-smtbmc --dump-constr"	commit \| commitdiff \| tree
2016-08-22	Clifford Wolf	Added glob support to all front-ends	commit \| commitdiff \| tree
next

RSS Atom