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

2014-01-19	Clifford Wolf	Added $assert cell	commit \| commitdiff \| tree
2014-01-19	Clifford Wolf	Added Verilog parser support for asserts	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Fixed $lut simlib model for a wider range of tools	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Fixed parsing of verilog macros at end of line	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	More changes to simlib to make it friendlier to a wider...	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Fixed a type in $mem model in simlib.v	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Removed cases of trailing comma in stdcells.v	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Added $bu0 cell to simlib.v	commit \| commitdiff \| tree
2014-01-18	Clifford Wolf	Improved setundef random number generator	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added setundef command	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Some improvements in log_dump_val_worker() templates	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added techlibs/common/pmux2mux.v	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added verilog_defaults command	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added support for $adff with undef data inputs to opt_rmdff	commit \| commitdiff \| tree
2014-01-17	Clifford Wolf	Added select -assert-none and -assert-any	commit \| commitdiff \| tree
2014-01-16	Clifford Wolf	Added automatic memid generation to memory_unpack command	commit \| commitdiff \| tree
2014-01-16	Clifford Wolf	Added memory_unpack command	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Merge pull request #20 from mschmoelzer/master	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Added hierarchy -libdir option	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	renamed LibertyParer to LibertyParser	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Added "+" to list of liberty token characters	commit \| commitdiff \| tree
2014-01-14	Clifford Wolf	Added "opt_const -mux_undef"	commit \| commitdiff \| tree
2014-01-12	Clifford Wolf	Fixed typo in frontends/ast/simplify.cc	commit \| commitdiff \| tree
2014-01-04	Clifford Wolf	Improved performance of freduce input cone reduction	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Improved freduce performance on const signals	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Performance improvements in freduce pass	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	More freduce cleanups	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added updating of RTLIL::autoidx to ilang frontend	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Cleanups in freduce command	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Fixed SAT and ConstEval undef handling for $pmux and...	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Tiny cleanup in proc_mux.cc	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added "splitnets -driver"	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Use selection in freduce command	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Another small freduce cleanup/bugfix	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added "connect" command	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	More freduce cleanups and bugfixes	commit \| commitdiff \| tree
2014-01-03	Clifford Wolf	Added RTLIL::SigSpec::optimized() API	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Added correct handling of $memwr priority	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Fixed more complex undef cases in freduce	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Now / is optional in /<mode>:<arg> selections	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Added "rename -hide" command	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Added SAT undef model for $pmux and $safe_pmux	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	More "freduce" related fixes and improvements	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Added support for module->connections to select %ci...	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Some cleanups in freduce -inv mode (and switched from...	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Added autotest.sh -p option	commit \| commitdiff \| tree
2014-01-02	Clifford Wolf	Major rewrite of "freduce" command	commit \| commitdiff \| tree
2014-01-01	Clifford Wolf	Updated CHANGELOG	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Fixed use of limited length buffer in ABC blif parser	commit \| commitdiff \| tree
2013-12-31	Clifford Wolf	Use "abc -dff" in "make test"	commit \| commitdiff \| tree
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
next

RSS Atom