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
*
Fixed handling of unsized constants in verilog frontend
Clifford Wolf
2014-01-24
*
Fixed algorithmic complexity of AST simplification of long expressions
Clifford Wolf
2014-01-20
*
Added hilomap command
Clifford Wolf
2014-01-19
*
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
[next]