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

2013-12-31	Clifford Wolf	Added abc -dff and -clk support	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Various small cleanups in stdcells.v techmap code	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Added additional checks for A_SIGNED == B_SIGNED for...	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Updated ABC to hg rev 57517e81666b	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Now using BLIF as ABC input format	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Fixed commented out techmap call in tests/tools/autotest.sh	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Always use BLIF as ABC output format	commit \| commitdiff \| tree
2013-12-29	Clifford Wolf	Fixed a stupid access after delete bug	commit \| commitdiff \| tree
2013-12-29	Clifford Wolf	Fixed undef extend for bitwise binary ops (bugs in...	commit \| commitdiff \| tree
2013-12-28	Clifford Wolf	Updated manual/command-reference-manual.tex	commit \| commitdiff \| tree
2013-12-28	Clifford Wolf	Added new cell types to manual	commit \| commitdiff \| tree
2013-12-28	Clifford Wolf	Added $bu0 cell (for easy correct $eq/$ne mapping)	commit \| commitdiff \| tree
2013-12-28	Clifford Wolf	Added sat -prove-x and -set-def-inputs	commit \| commitdiff \| tree
2013-12-28	Clifford Wolf	Improved $_MUX_ handling in opt_const	commit \| commitdiff \| tree
2013-12-28	Clifford Wolf	More conservastive $eq/$ne/$eqx/$nex opt_const code	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Fixed sat handling of $eqx and $nex with unequal port...	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Fixed parsing of non-arg macro calls followed by "("	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Small cleanup in SatGen	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	More $eq/$ne/$eqx/$nex fixes in opt_const	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Fixed parsing of macros with no arguments and expansion...	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Fixed sat handling of $eqx and $nex cells	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Fixed/improved opt_const $eq/$ne/$eqx/$nex handling	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Added support for non-const === and !== (for miter...	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Added proper === and !== support in constant expressions	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Added sat -set-def/-set-*-undef support	commit \| commitdiff \| tree
2013-12-27	Clifford Wolf	Renamed sat -set-undef to -set-any-undef	commit \| commitdiff \| tree
2013-12-21	Clifford Wolf	Fixed dfflibmap for unused output ports	commit \| commitdiff \| tree
2013-12-21	Clifford Wolf	Now prefer smallest cells in dfflibmap	commit \| commitdiff \| tree
2013-12-20	Clifford Wolf	Cleanup of dfflibmap cellmap exploration code	commit \| commitdiff \| tree
2013-12-20	Clifford Wolf	Further improved dfflibmap cellmap exploration	commit \| commitdiff \| tree
2013-12-20	Clifford Wolf	Fixed dfflibmap endless-loop bug	commit \| commitdiff \| tree
2013-12-20	Clifford Wolf	Added log_dump() API	commit \| commitdiff \| tree
2013-12-19	Clifford Wolf	Prefer non-inverted clocks in dfflibmap	commit \| commitdiff \| tree
2013-12-18	Clifford Wolf	Added multiplier test case from eda playground	commit \| commitdiff \| tree
2013-12-18	Clifford Wolf	Added elsif preproc support	commit \| commitdiff \| tree
2013-12-18	Clifford Wolf	Added support for macro arguments	commit \| commitdiff \| tree
2013-12-08	Clifford Wolf	Fixes and other changes in README	commit \| commitdiff \| tree
2013-12-08	Clifford Wolf	Finished AppNote 011	commit \| commitdiff \| tree
2013-12-08	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Added sat -max_undef feature	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Added "sat" undef support and "sat -set-init" options	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Fixed uninitialized const flags bug	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Fixed compiler warining in passes/sat/eval.cc	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Added eval -set-undef and eval -table	commit \| commitdiff \| tree
2013-12-07	Clifford Wolf	Fixes and improvements in RTLIL::SigSpec::parse	commit \| commitdiff \| tree
2013-12-06	Clifford Wolf	Fixes in fsm detect/extract for better detection of...	commit \| commitdiff \| tree
2013-12-05	Clifford Wolf	Fixed bug in example prog in appnote 011	commit \| commitdiff \| tree
2013-12-05	Clifford Wolf	Keep strings as strings in const ternary and concat	commit \| commitdiff \| tree
2013-12-05	Clifford Wolf	Added const folding support for $signed and $unsigned	commit \| commitdiff \| tree
2013-12-05	Clifford Wolf	Added AstNode::mkconst_str API	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Fixed generate-for (and disabled double warning for...	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Added support for $clog2 system function	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Various improvements in support for generate statements	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Replaced signed_parameters API with CONST_FLAG_SIGNED	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Replaced RTLIL::Const::str with generic decoder method	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Fix in sincos testbench gen	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Added sincos test case	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Added support for local regs in named blocks	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	Fixed gentb_constant handling in autotest backend	commit \| commitdiff \| tree
2013-12-04	Clifford Wolf	More ABC releated Makefile changes	commit \| commitdiff \| tree
2013-12-03	Clifford Wolf	Minor improvements in ABc build	commit \| commitdiff \| tree
2013-12-02	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-12-02	Clifford Wolf	Fixed submod for non-primitive cells	commit \| commitdiff \| tree
2013-12-02	Clifford Wolf	Fixed submod for non-cleaned designs	commit \| commitdiff \| tree
2013-12-02	Clifford Wolf	Added Pass:call_newsel API	commit \| commitdiff \| tree
2013-12-02	Clifford Wolf	Added "history" command	commit \| commitdiff \| tree
2013-12-01	Clifford Wolf	A fix in memory_dff for write ports with static addresses	commit \| commitdiff \| tree
2013-12-01	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-11-29	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-11-29	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-11-29	Clifford Wolf	Using RTLIL::id2cstr for prompt printing	commit \| commitdiff \| tree
2013-11-29	Clifford Wolf	Added dump -m and -n options	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Progress on AppNote 011	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Merge pull request #17 from mschmoelzer/master	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Fixed temp net name generation in rtlil process generat...	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Added pattern support to "ls" command	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Improved ID matching scheme in select (and thus for...	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Fixes and improvements in "show" command	commit \| commitdiff \| tree
2013-11-28	Martin Schmölzer	Include unistd.h in svgview.cpp (required for getcwd...	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	More progress on AppNote 011	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Added "src" attribute to processes	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Started writing appnote 011	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Added support for "show -pause" and "show -format dot"	commit \| commitdiff \| tree
2013-11-28	Clifford Wolf	Added QGraphicsWebView to yosys-svgviewer	commit \| commitdiff \| tree
2013-11-27	Clifford Wolf	Updated ABC to 9241719523f6	commit \| commitdiff \| tree
2013-11-27	Clifford Wolf	Added some svgviewer code for possible future switch...	commit \| commitdiff \| tree
2013-11-27	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2013-11-27	Clifford Wolf	Tighter integration of ABC build	commit \| commitdiff \| tree
2013-11-27	Clifford Wolf	Set version number to 0.1.0+	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Started implementing undef support in "sat" command	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Bugfixes in new "stat" command	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Added "stat" command	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Improvements in satgen undef handling	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Improvements in satgen undef handling	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Added ezsat vec_const() api	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Started implementing undef handling in satgen	commit \| commitdiff \| tree
2013-11-25	Clifford Wolf	Removed undef feature from ezsat api	commit \| commitdiff \| tree
next

RSS Atom