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

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 generator...	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	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
2013-11-24	Clifford Wolf	Using simplemap mappers from techmap	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added simplemap pass	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Renamed stdcells_sim.v to simcells.v and fixed blackbox.v	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added module->avail_parameters (for advanced techmap...	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added techmap -D and -I options	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added verilog frontend -ignore_redef option	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added "techmap -share_map" option	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Early wire/reg/parameter width calculation in ast/simplify	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Updated TODOs	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Fixed xilinx/example_sim_counter test bench	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added proper dumping of signed/unsigned parameters...	commit \| commitdiff \| tree
2013-11-24	Clifford Wolf	Added support for signed parameters in ilang	commit \| commitdiff \| tree
next

RSS Atom