yosys.git
2014-01-19 Clifford WolfAdded $assert support to satgen
2014-01-19 Clifford WolfAdded $assert cell
2014-01-19 Clifford WolfAdded Verilog parser support for asserts
2014-01-18 Clifford WolfFixed $lut simlib model for a wider range of tools
2014-01-18 Clifford WolfFixed parsing of verilog macros at end of line
2014-01-18 Clifford WolfMore changes to simlib to make it friendlier to a wider...
2014-01-18 Clifford WolfFixed a type in $mem model in simlib.v
2014-01-18 Clifford WolfRemoved cases of trailing comma in stdcells.v
2014-01-18 Clifford WolfAdded $bu0 cell to simlib.v
2014-01-18 Clifford WolfImproved setundef random number generator
2014-01-17 Clifford WolfAdded setundef command
2014-01-17 Clifford WolfSome improvements in log_dump_val_worker() templates
2014-01-17 Clifford WolfAdded techlibs/common/pmux2mux.v
2014-01-17 Clifford WolfAdded verilog_defaults command
2014-01-17 Clifford WolfAdded support for $adff with undef data inputs to opt_rmdff
2014-01-17 Clifford WolfAdded select -assert-none and -assert-any
2014-01-16 Clifford WolfAdded automatic memid generation to memory_unpack command
2014-01-16 Clifford WolfAdded memory_unpack command
2014-01-14 Clifford WolfMerge pull request #20 from mschmoelzer/master
2014-01-14 Martin SchmölzerInclude unistd.h in passes/hierarchy/hierarchy.cc ...
2014-01-14 Clifford WolfAdded hierarchy -libdir option
2014-01-14 Clifford Wolfrenamed LibertyParer to LibertyParser
2014-01-14 Clifford WolfAdded "+" to list of liberty token characters
2014-01-14 Clifford WolfAdded "opt_const -mux_undef"
2014-01-12 Clifford WolfFixed typo in frontends/ast/simplify.cc
2014-01-04 Clifford WolfImproved performance of freduce input cone reduction
2014-01-03 Clifford WolfImproved freduce performance on const signals
2014-01-03 Clifford WolfPerformance improvements in freduce pass
2014-01-03 Clifford WolfMore freduce cleanups
2014-01-03 Clifford WolfAdded updating of RTLIL::autoidx to ilang frontend
2014-01-03 Clifford WolfCleanups in freduce command
2014-01-03 Clifford WolfFixed SAT and ConstEval undef handling for $pmux and...
2014-01-03 Clifford WolfTiny cleanup in proc_mux.cc
2014-01-03 Clifford WolfAdded "splitnets -driver"
2014-01-03 Clifford WolfUse selection in freduce command
2014-01-03 Clifford WolfAnother small freduce cleanup/bugfix
2014-01-03 Clifford WolfAdded "connect" command
2014-01-03 Clifford WolfMore freduce cleanups and bugfixes
2014-01-03 Clifford WolfAdded RTLIL::SigSpec::optimized() API
2014-01-02 Clifford WolfAdded correct handling of $memwr priority
2014-01-02 Clifford WolfFixed more complex undef cases in freduce
2014-01-02 Clifford WolfNow */ is optional in */<mode>:<arg> selections
2014-01-02 Clifford WolfAdded "rename -hide" command
2014-01-02 Clifford WolfAdded SAT undef model for $pmux and $safe_pmux
2014-01-02 Clifford WolfMore "freduce" related fixes and improvements
2014-01-02 Clifford WolfAdded support for module->connections to select %ci...
2014-01-02 Clifford WolfSome cleanups in freduce -inv mode (and switched from...
2014-01-02 Clifford WolfAdded autotest.sh -p option
2014-01-02 Clifford WolfMajor rewrite of "freduce" command
2014-01-01 Clifford WolfUpdated CHANGELOG
2013-12-31 Clifford WolfFixed use of limited length buffer in ABC blif parser
2013-12-31 Clifford WolfUse "abc -dff" in "make test"
2013-12-31 Clifford WolfAdded abc -dff and -clk support
2013-12-31 Clifford WolfVarious small cleanups in stdcells.v techmap code
2013-12-31 Clifford WolfAdded additional checks for A_SIGNED == B_SIGNED for...
2013-12-31 Clifford WolfUpdated ABC to hg rev 57517e81666b
2013-12-31 Clifford WolfNow using BLIF as ABC input format
2013-12-31 Clifford WolfFixed commented out techmap call in tests/tools/autotest.sh
2013-12-31 Clifford WolfAlways use BLIF as ABC output format
2013-12-29 Clifford WolfFixed a stupid access after delete bug
2013-12-29 Clifford WolfFixed undef extend for bitwise binary ops (bugs in...
2013-12-28 Clifford WolfUpdated manual/command-reference-manual.tex
2013-12-28 Clifford WolfAdded new cell types to manual
2013-12-28 Clifford WolfAdded $bu0 cell (for easy correct $eq/$ne mapping)
2013-12-28 Clifford WolfAdded sat -prove-x and -set-def-inputs
2013-12-28 Clifford WolfImproved $_MUX_ handling in opt_const
2013-12-28 Clifford WolfMore conservastive $eq/$ne/$eqx/$nex opt_const code
2013-12-27 Clifford WolfFixed sat handling of $eqx and $nex with unequal port...
2013-12-27 Clifford WolfFixed parsing of non-arg macro calls followed by "("
2013-12-27 Clifford WolfSmall cleanup in SatGen
2013-12-27 Clifford WolfMore $eq/$ne/$eqx/$nex fixes in opt_const
2013-12-27 Clifford WolfFixed parsing of macros with no arguments and expansion...
2013-12-27 Clifford WolfFixed sat handling of $eqx and $nex cells
2013-12-27 Clifford WolfFixed/improved opt_const $eq/$ne/$eqx/$nex handling
2013-12-27 Clifford WolfAdded support for non-const === and !== (for miter...
2013-12-27 Clifford WolfAdded proper === and !== support in constant expressions
2013-12-27 Clifford WolfAdded sat -set-def/-set-*-undef support
2013-12-27 Clifford WolfRenamed sat -set-undef to -set-any-undef
2013-12-21 Clifford WolfFixed dfflibmap for unused output ports
2013-12-21 Clifford WolfNow prefer smallest cells in dfflibmap
2013-12-20 Clifford WolfCleanup of dfflibmap cellmap exploration code
2013-12-20 Clifford WolfFurther improved dfflibmap cellmap exploration
2013-12-20 Clifford WolfFixed dfflibmap endless-loop bug
2013-12-20 Clifford WolfAdded log_dump() API
2013-12-19 Clifford WolfPrefer non-inverted clocks in dfflibmap
2013-12-18 Clifford WolfAdded multiplier test case from eda playground
2013-12-18 Clifford WolfAdded elsif preproc support
2013-12-18 Clifford WolfAdded support for macro arguments
2013-12-08 Clifford WolfFixes and other changes in README
2013-12-08 Clifford WolfFinished AppNote 011
2013-12-08 Clifford WolfProgress on AppNote 011
2013-12-07 Clifford WolfAdded sat -max_undef feature
2013-12-07 Clifford WolfProgress on AppNote 011
2013-12-07 Clifford WolfAdded "sat" undef support and "sat -set-init" options
2013-12-07 Clifford WolfFixed uninitialized const flags bug
2013-12-07 Clifford WolfFixed compiler warining in passes/sat/eval.cc
2013-12-07 Clifford WolfProgress on AppNote 011
2013-12-07 Clifford WolfProgress on AppNote 011
2013-12-07 Clifford WolfAdded eval -set-undef and eval -table
2013-12-07 Clifford WolfFixes and improvements in RTLIL::SigSpec::parse
next