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

2017-07-03	Salvador E...	Added the test outputs to the clean target	commit \| commitdiff \| tree
2017-07-03	Clifford Wolf	Remove unneeded delays in smtbmc vlogtb	commit \| commitdiff \| tree
2017-07-03	Clifford Wolf	Include output ports with constant driver in AIGER...	commit \| commitdiff \| tree
2017-07-01	Clifford Wolf	Add "yosys-smtbmc --vlogtb-top"	commit \| commitdiff \| tree
2017-07-01	Clifford Wolf	Fix and_or_buffer optimization in opt_expr for signed...	commit \| commitdiff \| tree
2017-07-01	Clifford Wolf	Fix smtbmc vlogtb bug in $anyseq handling	commit \| commitdiff \| tree
2017-06-30	Clifford Wolf	Add "design -import"	commit \| commitdiff \| tree
2017-06-30	Clifford Wolf	Add chtype command	commit \| commitdiff \| tree
2017-06-30	Clifford Wolf	Add $tribuf to opt_merge blacklist	commit \| commitdiff \| tree
2017-06-27	Clifford Wolf	Merge pull request #353 from azonenberg/master	commit \| commitdiff \| tree
2017-06-24	Andrew Zonenberg	greenpak4_counters: Changed generation of primitive...	commit \| commitdiff \| tree
2017-06-20	Clifford Wolf	Fix handling of init values in "abc -dff" and "abc...	commit \| commitdiff \| tree
2017-06-20	Clifford Wolf	Fix history namespace collision	commit \| commitdiff \| tree
2017-06-20	Clifford Wolf	Store command history when terminating with an error	commit \| commitdiff \| tree
2017-06-20	Clifford Wolf	Switched abc "clock domain not found" error to log_cmd_...	commit \| commitdiff \| tree
2017-06-07	Clifford Wolf	Fix generation of vlogtb output in yosys-smtbmc for...	commit \| commitdiff \| tree
2017-06-01	Clifford Wolf	Fix handling of Verilog ~& and ~\| operators	commit \| commitdiff \| tree
2017-05-31	Clifford Wolf	Update ABC to hg rev efbf7f13ea9e	commit \| commitdiff \| tree
2017-05-31	Clifford Wolf	Add dff2ff.v techmap file	commit \| commitdiff \| tree
2017-05-30	Clifford Wolf	Fix AIGER back-end for multiple symbols per input/latch...	commit \| commitdiff \| tree
2017-05-28	Clifford Wolf	Add "setundef -anyseq"	commit \| commitdiff \| tree
2017-05-28	Clifford Wolf	Improve write_aiger handling of unconnected nets and...	commit \| commitdiff \| tree
2017-05-27	Clifford Wolf	Change default smt2 solver to yices (Yices 2 has switch...	commit \| commitdiff \| tree
2017-05-24	Clifford Wolf	Add aliases for common sets of gate types to "abc -g"	commit \| commitdiff \| tree
2017-05-23	Clifford Wolf	Add examples/osu035	commit \| commitdiff \| tree
2017-05-23	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-05-23	Clifford Wolf	Merge pull request #346 from azonenberg/master	commit \| commitdiff \| tree
2017-05-23	Andrew Zonenberg	greenpak4_counters: Added support for parallel output...	commit \| commitdiff \| tree
2017-05-17	Clifford Wolf	Add workaround for CBMC bug to SimpleC back-end	commit \| commitdiff \| tree
2017-05-17	Clifford Wolf	Enable readline and tcl in mxe builds	commit \| commitdiff \| tree
2017-05-17	Clifford Wolf	Add missing AndnotGate() and OrnotGate() declarations...	commit \| commitdiff \| tree
2017-05-17	Clifford Wolf	Add $_ANDNOT_ and $_ORNOT_ gates	commit \| commitdiff \| tree
2017-05-16	Clifford Wolf	Add <modname>_init() function generator to simpleC...	commit \| commitdiff \| tree
2017-05-16	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-15	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-14	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-13	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-12	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-12	Clifford Wolf	Added support for more gate types to simplec back-end	commit \| commitdiff \| tree
2017-05-12	Clifford Wolf	Add first draft of simple C back-end	commit \| commitdiff \| tree
2017-05-11	Clifford Wolf	Update ABC to hg rev e79576e10d72	commit \| commitdiff \| tree
2017-05-08	Clifford Wolf	Fix boolector support in yosys-smtbmc	commit \| commitdiff \| tree
2017-04-30	Clifford Wolf	Add support for localparam in module header	commit \| commitdiff \| tree
2017-04-28	Clifford Wolf	Fix equiv_simple, old behavior now available with ...	commit \| commitdiff \| tree
2017-04-26	Clifford Wolf	Add support for `resetall compiler directive	commit \| commitdiff \| tree
2017-04-12	Clifford Wolf	Replace CRLF line endings with LF in de2i.qsf (quartus...	commit \| commitdiff \| tree
2017-04-12	Larry Doolittle	Squelch trailing whitespace	commit \| commitdiff \| tree
2017-04-07	Clifford Wolf	Add MAX10 and Cyclone IV items to CHANGELOG	commit \| commitdiff \| tree
2017-04-07	Clifford Wolf	Merge pull request #337 from dh73/master	commit \| commitdiff \| tree
2017-04-06	dh73	Add initial support for both MAX10 and Cyclone IV ...	commit \| commitdiff \| tree
2017-04-05	Clifford Wolf	Add ConstEval defaultval feature	commit \| commitdiff \| tree
2017-04-05	Clifford Wolf	Fix gcc compiler warning	commit \| commitdiff \| tree
2017-03-28	Clifford Wolf	Add front-end detection for *.tcl files	commit \| commitdiff \| tree
2017-03-27	Clifford Wolf	Add minisat 00_PATCH_typofixes.patch	commit \| commitdiff \| tree
2017-03-27	Clifford Wolf	Remove use of <fpu_control.h> in minisat	commit \| commitdiff \| tree
2017-03-20	Clifford Wolf	Add "write_smt2 -stdt" mode	commit \| commitdiff \| tree
2017-03-19	Clifford Wolf	Add generation of logic cells to EDIF back-end runtest.py	commit \| commitdiff \| tree
2017-03-19	Clifford Wolf	Fix EDIF: portRef member 0 is always the MSB bit	commit \| commitdiff \| tree
2017-03-18	Clifford Wolf	Add simple EDIF test case generator and checker	commit \| commitdiff \| tree
2017-03-14	Clifford Wolf	Fix verilog pre-processor for multi-level relative...	commit \| commitdiff \| tree
2017-03-04	Clifford Wolf	Improve smt2 encodings of assert/assume/cover, better...	commit \| commitdiff \| tree
2017-03-02	Clifford Wolf	Add write_aiger $anyseq support	commit \| commitdiff \| tree
2017-03-01	Clifford Wolf	Allow $anyconst, etc. in non-formal SV mode	commit \| commitdiff \| tree
2017-02-28	Clifford Wolf	Disable opt_merge for $anyseq and $anyconst	commit \| commitdiff \| tree
2017-02-28	Clifford Wolf	Use hex addresses in smtbmc vcd mem traces	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add "chformal -assert2assume" and friends	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add "chformal" pass	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Add smtbmc support for memory vcd dumping	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix extra newline bug in write_smt2	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix bug in smtio unroll code	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix assert checking in "yosys-smtbmc -c --append"	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Improve (and fix for stbv mode) SMT2 memory API	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add support for "yosys-smtbmc -c --append"	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Update ABC to hg rev 3a95bfa55df7	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Merge branch 'klammerj-master'	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Improve "write_edif" help message	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Move EdifNames out of double-private namespace	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Clean up edif code, swap bit indexing of "upto" ports	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Merge branch 'master' of https://github.com/klammerj...	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add $live and $fair support to AIGER back-end.	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add $live and $fair cell types, add support for s_event...	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Merge pull request #322 from azonenberg/master	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Add "write_smt2 -stbv"	commit \| commitdiff \| tree
2017-02-24	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Add SMT2 statebv mode (inactive for now)	commit \| commitdiff \| tree
2017-02-24	Johann Klammer	Did as you requested, /but/...	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Merge pull request #320 from joshhead/uninstall-binpath-fix	commit \| commitdiff \| tree
2017-02-24	Josh Headapohl	Add missing slashes in paths for make uninstall	commit \| commitdiff \| tree
2017-02-23	Johann Klammer	add options for edif flavors	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Add support for SystemVerilog unique, unique0, and...	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Preserve string parameters	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Fix mingw compile issue (2nd attempt)	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Fix mingw compile issue (maybe.. I can't test it)	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Added SystemVerilog support for ++ and --	commit \| commitdiff \| tree
2017-02-22	Clifford Wolf	Update ABC to hg rev 8da4dc435b9f	commit \| commitdiff \| tree
2017-02-19	Clifford Wolf	Add "yosys-smtbmc -S <opt>"	commit \| commitdiff \| tree
2017-02-16	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	commit \| commitdiff \| tree
2017-02-16	Clifford Wolf	Copy attributes to _TECHMAP_REPLACE_ cells	commit \| commitdiff \| tree
2017-02-16	Clifford Wolf	Fix eval implementation of $_NOR_	commit \| commitdiff \| tree
next

RSS Atom