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
...
*
|
|
|
|
|
|
|
|
|
Added sat -tempinduc and sat -prove-asserts
Clifford Wolf
2014-01-19
*
|
|
|
|
|
|
|
|
|
Added $assert support to satgen
Clifford Wolf
2014-01-19
*
|
|
|
|
|
|
|
|
|
Added $assert cell
Clifford Wolf
2014-01-19
*
|
|
|
|
|
|
|
|
|
Added Verilog parser support for asserts
Clifford Wolf
2014-01-19
*
|
|
|
|
|
|
|
|
|
Fixed $lut simlib model for a wider range of tools
Clifford Wolf
2014-01-18
*
|
|
|
|
|
|
|
|
|
Fixed parsing of verilog macros at end of line
Clifford Wolf
2014-01-18
*
|
|
|
|
|
|
|
|
|
More changes to simlib to make it friendlier to a wider range of tools
Clifford Wolf
2014-01-18
*
|
|
|
|
|
|
|
|
|
Fixed a type in $mem model in simlib.v
Clifford Wolf
2014-01-18
|
|
_
|
_
|
_
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
|
|
*
|
|
|
|
|
|
|
|
Removed cases of trailing comma in stdcells.v
Clifford Wolf
2014-01-18
*
|
|
|
|
|
|
|
|
Added $bu0 cell to simlib.v
Clifford Wolf
2014-01-18
*
|
|
|
|
|
|
|
|
Improved setundef random number generator
Clifford Wolf
2014-01-18
*
|
|
|
|
|
|
|
|
Added setundef command
Clifford Wolf
2014-01-17
*
|
|
|
|
|
|
|
|
Some improvements in log_dump_val_worker() templates
Clifford Wolf
2014-01-17
*
|
|
|
|
|
|
|
|
Added techlibs/common/pmux2mux.v
Clifford Wolf
2014-01-17
|
|
_
|
_
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
|
*
|
|
|
|
|
|
|
Added verilog_defaults command
Clifford Wolf
2014-01-17
*
|
|
|
|
|
|
|
Added support for $adff with undef data inputs to opt_rmdff
Clifford Wolf
2014-01-17
*
|
|
|
|
|
|
|
Added select -assert-none and -assert-any
Clifford Wolf
2014-01-17
|
|
_
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
*
|
|
|
|
|
|
Added automatic memid generation to memory_unpack command
Clifford Wolf
2014-01-17
*
|
|
|
|
|
|
Added memory_unpack command
Clifford Wolf
2014-01-17
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Merge pull request #20 from mschmoelzer/master
Clifford Wolf
2014-01-14
|
\
\
\
\
\
\
|
*
|
|
|
|
|
Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))
Martin Schmölzer
2014-01-14
|
/
/
/
/
/
/
*
|
|
|
|
|
Added hierarchy -libdir option
Clifford Wolf
2014-01-14
*
|
|
|
|
|
renamed LibertyParer to LibertyParser
Clifford Wolf
2014-01-14
*
|
|
|
|
|
Added "+" to list of liberty token characters
Clifford Wolf
2014-01-14
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
|
|
Added "opt_const -mux_undef"
Clifford Wolf
2014-01-14
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
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
[prev]
[next]
