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

2014-02-18	Clifford Wolf	Added techmap support for _TECHMAP_CONNMAP_*_	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	Andrew Zonenberg	Added "-dump_fail_to_vcd" argument to SAT solver	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
2014-02-07	Clifford Wolf	Added $slice and $concat to CellTypes list	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Added $slice and $concat cell types	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Stronger checking of internal cells	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Re-enabled abc "retime" after sorting yout the yosys...	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Added echo command	commit \| commitdiff \| tree
2014-02-07	Clifford Wolf	Fixed use of "cmd_error" in passes/cmds/design.cc	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Fixed gcc compiler warnings with release build	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Disabled ABC retime for now (elliptic_curve_group testcase...	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Updated ABC to rev 10cc13a2a0f1	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added "retime" to standard ABC recipes	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added copy command	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added design -stash/-copy-from/-copy-to	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added support for s: select expressions (wire width)	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added i:, o:, and x: selection pattern	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added support for %m selection op	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added generic RTLIL::SigSpec::parse_sel() with support...	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Merge pull request #23 from hansiglaser/master	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added support for sat -show @<sel_name>	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added sat -set-init-def and sat -tempinduct-def	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added opt_const -undriven	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added expose -dff	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added support for #-comments in same line as command	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	presentation progress	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Changed techmap description from "simple" to "generic"	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added miter -make_outcmp	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added sat -set-init-zero support	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added support for backslash continuation in script...	commit \| commitdiff \| tree
2014-02-06	Clifford Wolf	Added counters sat test case	commit \| commitdiff \| tree
2014-02-05	Clifford Wolf	Added sat -verify and -falsify support for non-prove...	commit \| commitdiff \| tree
next

RSS Atom