index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
|
|
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
*
|
Added support for non-const === and !== (for miter circuits)
Clifford Wolf
2013-12-27
*
|
Added proper === and !== support in constant expressions
Clifford Wolf
2013-12-27
*
|
Added sat -set-def/-set-*-undef support
Clifford Wolf
2013-12-27
*
|
Renamed sat -set-undef to -set-any-undef
Clifford Wolf
2013-12-27
*
|
Fixed dfflibmap for unused output ports
Clifford Wolf
2013-12-21
*
|
Now prefer smallest cells in dfflibmap
Clifford Wolf
2013-12-21
*
|
Cleanup of dfflibmap cellmap exploration code
Clifford Wolf
2013-12-20
*
|
Further improved dfflibmap cellmap exploration
Clifford Wolf
2013-12-20
*
|
Fixed dfflibmap endless-loop bug
Clifford Wolf
2013-12-20
*
|
Added log_dump() API
Clifford Wolf
2013-12-20
[prev]
[next]
