index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Fixed typo in frontends/ast/simplify.cc
Clifford Wolf
2014-01-12
|
*
Improved performance of freduce input cone reduction
Clifford Wolf
2014-01-04
|
*
Improved freduce performance on const signals
Clifford Wolf
2014-01-04
|
*
Performance improvements in freduce pass
Clifford Wolf
2014-01-03
|
*
More freduce cleanups
Clifford Wolf
2014-01-03
|
*
Added updating of RTLIL::autoidx to ilang frontend
Clifford Wolf
2014-01-03
|
*
Cleanups in freduce command
Clifford Wolf
2014-01-03
|
*
Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux
Clifford Wolf
2014-01-03
|
*
Tiny cleanup in proc_mux.cc
Clifford Wolf
2014-01-03
|
*
Added "splitnets -driver"
Clifford Wolf
2014-01-03
|
*
Use selection in freduce command
Clifford Wolf
2014-01-03
|
*
Another small freduce cleanup/bugfix
Clifford Wolf
2014-01-03
|
*
Added "connect" command
Clifford Wolf
2014-01-03
|
*
More freduce cleanups and bugfixes
Clifford Wolf
2014-01-03
|
*
Added RTLIL::SigSpec::optimized() API
Clifford Wolf
2014-01-03
|
*
Added correct handling of $memwr priority
Clifford Wolf
2014-01-03
|
*
Fixed more complex undef cases in freduce
Clifford Wolf
2014-01-02
|
*
Now */ is optional in */<mode>:<arg> selections
Clifford Wolf
2014-01-02
|
*
Added "rename -hide" command
Clifford Wolf
2014-01-02
|
*
Added SAT undef model for $pmux and $safe_pmux
Clifford Wolf
2014-01-02
|
*
More "freduce" related fixes and improvements
Clifford Wolf
2014-01-02
|
*
Added support for module->connections to select %ci, %co and %x handling
Clifford Wolf
2014-01-02
|
*
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
Clifford Wolf
2014-01-02
|
*
Added autotest.sh -p option
Clifford Wolf
2014-01-02
|
*
Major rewrite of "freduce" command
Clifford Wolf
2014-01-02
|
*
Updated CHANGELOG
Clifford Wolf
2014-01-01
|
*
Fixed use of limited length buffer in ABC blif parser
Clifford Wolf
2013-12-31
|
*
Use "abc -dff" in "make test"
Clifford Wolf
2013-12-31
|
*
Added abc -dff and -clk support
Clifford Wolf
2013-12-31
|
*
Various small cleanups in stdcells.v techmap code
Clifford Wolf
2013-12-31
|
*
Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint
Clifford Wolf
2013-12-31
|
*
Updated ABC to hg rev 57517e81666b
Clifford Wolf
2013-12-31
|
*
Now using BLIF as ABC input format
Clifford Wolf
2013-12-31
|
*
Fixed commented out techmap call in tests/tools/autotest.sh
Clifford Wolf
2013-12-31
|
*
Always use BLIF as ABC output format
Clifford Wolf
2013-12-31
|
*
Fixed a stupid access after delete bug
Clifford Wolf
2013-12-29
|
*
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
Clifford Wolf
2013-12-29
|
*
Updated manual/command-reference-manual.tex
Clifford Wolf
2013-12-28
|
*
Added new cell types to manual
Clifford Wolf
2013-12-28
|
*
Added $bu0 cell (for easy correct $eq/$ne mapping)
Clifford Wolf
2013-12-28
|
*
Added sat -prove-x and -set-def-inputs
Clifford Wolf
2013-12-28
|
*
Improved $_MUX_ handling in opt_const
Clifford Wolf
2013-12-28
|
*
More conservastive $eq/$ne/$eqx/$nex opt_const code
Clifford Wolf
2013-12-28
|
*
Fixed sat handling of $eqx and $nex with unequal port widths
Clifford Wolf
2013-12-27
|
*
Fixed parsing of non-arg macro calls followed by "("
Clifford Wolf
2013-12-27
|
*
Small cleanup in SatGen
Clifford Wolf
2013-12-27
|
*
More $eq/$ne/$eqx/$nex fixes in opt_const
Clifford Wolf
2013-12-27
|
*
Fixed parsing of macros with no arguments and expansion text starting with "("
Clifford Wolf
2013-12-27
|
*
Fixed sat handling of $eqx and $nex cells
Clifford Wolf
2013-12-27
|
*
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
Clifford Wolf
2013-12-27
|
[next]