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

2014-02-23	Clifford Wolf	Fixed small memory leak in Pass::call()	commit \| commitdiff \| tree
2014-02-22	Clifford Wolf	Fixed bug in generation of undefs for $memwr MUXes	commit \| commitdiff \| tree
2014-02-22	Clifford Wolf	Fixed bug (typo) in passes/opt/opt_const.cc	commit \| commitdiff \| tree
2014-02-22	Clifford Wolf	Added $lut support to blif backend (by user eddiehung...	commit \| commitdiff \| tree
2014-02-22	Clifford Wolf	Added ezMiniSat EZMINISAT_INCREMENTAL compile-time...	commit \| commitdiff \| tree
2014-02-22	Clifford Wolf	Made MiniSat solver backend configurable in ezminisat.h	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Added workaround for vhdl-style edge triggers from...	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Added vhdl2verilog	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Better handling of nameDef and nameRef in edif backend	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Fixed instantiating multi-bit ports in edif backend	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Use private namespace in mem_simple_4x1_map	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Added tests/techmap/mem_simple_4x1	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Renamed "write_blif -subckt" to "write_blif -icells...	commit \| commitdiff \| tree
2014-02-21	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Added _TECHMAP_REPLACE_ feature to techmap	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Added "extract -ignore_parameters" and "extract -ignore_para...	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Added "extract -map %<design_name>"	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Added "design -push" and "design -pop"	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Added connwrappers command	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Cleanups in handling of read_verilog -defer and -icells	commit \| commitdiff \| tree
2014-02-20	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-19	Clifford Wolf	Added vcd2txt.pl and txt2tikztiming.py (tests/tools...	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Added techmap support for _TECHMAP_CONNMAP_*_	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Added "sat -dump_cnf"	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Coding style corrections in SatHelper::dump_model_to_vcd()	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Improved non-verbose ezSAT::printDIMACS() format	commit \| commitdiff \| tree
2014-02-18	Clifford Wolf	Added "sat -initsteps"	commit \| commitdiff \| tree
2014-02-17	Clifford Wolf	Added Verilog support for "`default_nettype none"	commit \| commitdiff \| tree
2014-02-17	Clifford Wolf	Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd"...	commit \| commitdiff \| tree
2014-02-17	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-17	Clifford Wolf	Better preserve wires when flattening (in comparison...	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Added some additional checks to techmap	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Added CONSTMSK and CONSTVAL feature to techmap	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Fixed handling of "keep" attribute on wires in opt_clean	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Added a warning note about error reporting to read_verilog...	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Fixed use of selection in splitnets command	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Added recursion support to techmap	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Progress in presentation	commit \| commitdiff \| tree
2014-02-16	Clifford Wolf	Improved support for constant functions	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Now we are in Yoys 0.2.0+ development	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Tagging Yoys 0.2.0	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Added != support for relational select pattern	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Added iopadmap -bits	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Added ff and latch support to read_liberty	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Bugfix in expression parser of read_liberty	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Fixed dfflibmap for cell libraries with no set-reset-ff	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Correctly convert constants to RTLIL (fixed undef handling)	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Added frontend (-f) option to autotest.sh	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Fixed opt_const handling of double invert with non...	commit \| commitdiff \| tree
2014-02-15	Clifford Wolf	Added liberty frontend	commit \| commitdiff \| tree
2014-02-14	Clifford Wolf	Be more conservative with new const-function code	commit \| commitdiff \| tree
2014-02-14	Clifford Wolf	Added support for FOR loops in function calls in parameters	commit \| commitdiff \| tree
2014-02-14	Clifford Wolf	Created basic support for function calls in parameter...	commit \| commitdiff \| tree
2014-02-14	Clifford Wolf	Added abc -keepff option	commit \| commitdiff \| tree
2014-02-13	Clifford Wolf	updated default ABC command strings	commit \| commitdiff \| tree
2014-02-13	Clifford Wolf	Updated ABC	commit \| commitdiff \| tree
2014-02-13	Clifford Wolf	Implemented read_verilog -defer	commit \| commitdiff \| tree
2014-02-13	Clifford Wolf	Removed double blanks in ABC default command sequences	commit \| commitdiff \| tree
2014-02-13	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2014-02-13	Clifford Wolf	Updated ABC and some related changes	commit \| commitdiff \| tree
2014-02-12	Clifford Wolf	Merge pull request #26 from ahmedirfan1983/btor	commit \| commitdiff \| tree
2014-02-12	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2014-02-12	Clifford Wolf	Added support for functions returning integer	commit \| commitdiff \| tree
2014-02-12	Clifford Wolf	Disabled "abc -dff" in "make test" for now (waiting...	commit \| commitdiff \| tree
2014-02-12	Clifford Wolf	Updated ABC to rev e97a6e1d59b9	commit \| commitdiff \| tree
2014-02-11	Clifford Wolf	renamed ilang "scope error" to "ilang error"	commit \| commitdiff \| tree
2014-02-11	Clifford Wolf	More Makefile cleanups	commit \| commitdiff \| tree
2014-02-11	Clifford Wolf	Improved "make manual" and "make clean"	commit \| commitdiff \| tree
2014-02-09	Clifford Wolf	Improved ilang parser error messages	commit \| commitdiff \| tree
2014-02-09	Clifford Wolf	fixed a bug in subcircuit library with cells that have...	commit \| commitdiff \| tree
2014-02-09	Clifford Wolf	Various improvements in expose command (added -sep...	commit \| commitdiff \| tree
2014-02-09	Clifford Wolf	Added delete {-input\|-output\|-port}	commit \| commitdiff \| tree
2014-02-09	Clifford Wolf	Bugfix in delete command	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Added test cases for expose -evert-dff	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Fixed handling of async reset in expose -evert-dff	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Build fixes for log cmd	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Implemented expose -evert-dff	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Merge pull request #24 from hansiglaser/master	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Improved checking of internal cell conventions	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Fixed bug in collecting of RD_TRANSPARENT parameter...	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Added various new options to splice command	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Added %a select operator	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Moved some passes to other source directories	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Added support for "keep" attribute to abc pass	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Added opt -purge (frontend to opt_clean -purge)	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Only count non-trivial attributes when findinf master...	commit \| commitdiff \| tree
2014-02-08	Clifford Wolf	Added checking for ABC modifications to Makefile and...	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Now also move net labes to the right position in splice cmd	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Improved detection of primary wire for a signal in...	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Added splice command	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Added log_header() to splitnets	commit \| commitdiff \| tree
next

RSS Atom