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

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	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	Clifford Wolf	Copy attributes to _TECHMAP_REPLACE_ cells	commit \| commitdiff \| tree
2017-02-16	Clifford Wolf	Fix eval implementation of $_NOR_	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Fix incorrect "incompatible re-declaration of wire...	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Add warning about x/z bits left unconnected in EDIF...	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Fix double-call of log_pop() in synth_greenpak4	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Merge pull request #313 from azidar/bugfix-assign-wmask	commit \| commitdiff \| tree
2017-02-13	Adam Izraelevitz	More progress on Firrtl backend.	commit \| commitdiff \| tree
2017-02-13	Clifford Wolf	Do not fix port widths on any blackbox instances	commit \| commitdiff \| tree
2017-02-13	Clifford Wolf	Fix techmap for inout ports connected to inout ports	commit \| commitdiff \| tree
2017-02-12	Clifford Wolf	Do not eagerly fix port widths on parameterized cells	commit \| commitdiff \| tree
2017-02-12	Clifford Wolf	Add "yosys -w" for suppressing warnings	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add support for verific mem initialization	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Fix another stupid bug in the same line	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add verific support for initialized variables	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Improve handling of Verific warnings and error messages	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Fix extremely stupid typo	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add log_wire() API	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Fixed some "used uninitialized" warnings in opt_expr	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Evaluate all the $(shell ...) stuff for CXXFLAGS et...	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Merge branch 'stv0g-master'	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Make MacOS Makefile stuff more compact	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Merge branch 'master' of https://github.com/stv0g/yosys...	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add optimization of (a && 1'b1) and (a \|\| 1'b0)	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Merge pull request #308 from C-Elegans/opt_compare_fix_pr	commit \| commitdiff \| tree
2017-02-10	C-Elegans	Fix issue #306, "Bug in opt -full"	commit \| commitdiff \| tree
2017-02-10	Steffen Vogel	Use pkg-config for linking tcl-tk	commit \| commitdiff \| tree
2017-02-10	Steffen Vogel	Dont mix Homebrew and MacPorts build options	commit \| commitdiff \| tree
2017-02-09	Steffen Vogel	Remove space after backslash	commit \| commitdiff \| tree
2017-02-09	Steffen Vogel	Applied fixes from @joshhead (thanks for your effors!)	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Fix handling of init attributes with strange width	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Add checker support to verilog front-end	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Add "rand" and "rand const" verific support	commit \| commitdiff \| tree
2017-02-08	Clifford Wolf	Add SV "rand" and "const rand" support	commit \| commitdiff \| tree
2017-02-08	Clifford Wolf	Add PSL parser mode to verific front-end	commit \| commitdiff \| tree
2017-02-07	Steffen Vogel	Added notes for compilation on OS X	commit \| commitdiff \| tree
2017-02-07	Steffen Vogel	Fix compilation on OS X in order to support both MacPor...	commit \| commitdiff \| tree
2017-02-07	Steffen Vogel	Allow standard tools to be overwritten in make invocation	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add "read_blif -wideports"	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Fix undef propagation bug in $pmux SAT model	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Update ABC to hg rev a2fcd1cc61a6	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Merge pull request #304 from esden/gsed-darwin	commit \| commitdiff \| tree
2017-02-05	Piotr Esden...	Use -E sed parameter instead of -r.	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add assert check in "yosys-smtbmc -c"	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Improve yosys-smtbmc cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Partially implement cover() support in yosys-smtbmc	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Further improve cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add $cover cell type and SVA cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add assert/assume support to verific front-end	commit \| commitdiff \| tree
2017-02-01	Clifford Wolf	Update ABC to hg rev fe96921e5d50	commit \| commitdiff \| tree
2017-02-01	Clifford Wolf	Update ABC scripts to use "&nf" instead of "map"	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Merge branch 'C-Elegans-opt_compare_pr'	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Fix indenting and log messages in code merged from...	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Merge branch 'opt_compare_pr' of https://github.com...	commit \| commitdiff \| tree
2017-01-31	Steffen Vogel	use Homebrew only if installed	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Improve opt_rmdff support for $dlatch cells	commit \| commitdiff \| tree
2017-01-30	C-Elegans	Refactor and generalize the comparision optimization	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Add $ff and $_FF_ support to equiv_simple	commit \| commitdiff \| tree
2017-01-28	Clifford Wolf	Add "yosys-smtbmc --aig-noheader" and AIGER mem init...	commit \| commitdiff \| tree
2017-01-26	Clifford Wolf	Be more conservative with merging large cells into...	commit \| commitdiff \| tree
2017-01-26	Clifford Wolf	Add warnings for quickly growing FSM table size in...	commit \| commitdiff \| tree
2017-01-26	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-01-25	Clifford Wolf	Fix RTLIL::Memory::start_offset initialization	commit \| commitdiff \| tree
2017-01-21	C-Elegans	Do not use b.as_int() in calculation of bit set	commit \| commitdiff \| tree
2017-01-17	Clifford Wolf	Add "enum" and "typedef" lexer support	commit \| commitdiff \| tree
2017-01-16	C-Elegans	Optimize compares to powers of 2	commit \| commitdiff \| tree
2017-01-16	Clifford Wolf	Merge pull request #293 from thoughtpolice/minor-cleanup	commit \| commitdiff \| tree
2017-01-15	Austin Seipp	passes/hierarchy: delete some dead code	commit \| commitdiff \| tree
2017-01-15	C-Elegans	Fix issue #269, optimize signed compare with 0	commit \| commitdiff \| tree
2017-01-15	Clifford Wolf	Fix bug in AstNode::mem2reg_as_needed_pass2()	commit \| commitdiff \| tree
2017-01-11	Clifford Wolf	Fix $initstate handling bug in yosys-smtbmc	commit \| commitdiff \| tree
2017-01-11	Clifford Wolf	Update ABC to hg id f8cadfe3861f	commit \| commitdiff \| tree
2017-01-08	Clifford Wolf	Updated ABC to hg id 38b26a543f1d	commit \| commitdiff \| tree
2017-01-05	Clifford Wolf	Fixed handling of local memories in functions	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Added "check -initdrv"	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Added handling of local memories and error for local...	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Implicitly set "yosys-smtbmc --noprogress" on windows	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Fixed typo in tests/simple/arraycells.v	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Fixed "yosys-smtbmc --noprogress"	commit \| commitdiff \| tree
2017-01-03	Clifford Wolf	Added Verilog $rtoi and $itor support	commit \| commitdiff \| tree
2017-01-02	Clifford Wolf	Handle "always 1" like "always -1" in .smtc files	commit \| commitdiff \| tree
2017-01-01	Clifford Wolf	Added cell port resizing to hierarchy pass	commit \| commitdiff \| tree
2016-12-31	Clifford Wolf	Updated ABC to hg id 55cd83f432c0	commit \| commitdiff \| tree
2016-12-31	Clifford Wolf	Bugfix in RTLIL::SigSpec::remove2()	commit \| commitdiff \| tree
2016-12-29	Clifford Wolf	Updated ABC to hg id 8c6a635f7a20	commit \| commitdiff \| tree
2016-12-29	Clifford Wolf	Improved write_json help message	commit \| commitdiff \| tree
2016-12-26	Clifford Wolf	Updated ABC to hg id f591c081d5e7	commit \| commitdiff \| tree
2016-12-24	Clifford Wolf	Merge pull request #284 from azonenberg/master	commit \| commitdiff \| tree
2016-12-23	Andrew Zonenberg	Merge pull request #1 from azonenberg-hk/master	commit \| commitdiff \| tree
2016-12-23	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	commit \| commitdiff \| tree
2016-12-23	Clifford Wolf	Simplified log_spacer() code	commit \| commitdiff \| tree
next

RSS Atom