index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
*
Added memory_bram "make_outreg" feature
Clifford Wolf
2015-04-09
*
Minor fixes in handling of "init" attribute
Clifford Wolf
2015-04-09
*
techmap code cleanup
Clifford Wolf
2015-04-09
*
Added support for "file names with blanks"
Clifford Wolf
2015-04-08
*
Removed "techmap -share_map" (use "-map +/filename" instead)
Clifford Wolf
2015-04-08
*
Added %M and %C select operators
Clifford Wolf
2015-04-07
*
Added "pmuxtree" command
Clifford Wolf
2015-04-07
*
Added "chparam -list"
Clifford Wolf
2015-04-07
*
Added decoder generation to "muxcover"
Clifford Wolf
2015-04-07
*
Added "muxcover" command
Clifford Wolf
2015-04-07
*
typo fix
Clifford Wolf
2015-04-07
*
Added "chparam" command
Clifford Wolf
2015-04-07
*
Added support for initialized brams
Clifford Wolf
2015-04-06
*
Avoid parameter values with size 0 ($mem cells)
Clifford Wolf
2015-04-05
*
Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types
Clifford Wolf
2015-04-05
*
Added "dffinit", Support for initialized Xilinx DFF
Clifford Wolf
2015-04-04
*
documentation improvements
Clifford Wolf
2015-03-29
*
Fixed detection of absolute paths in ABC for win32
Clifford Wolf
2015-03-22
*
Fixed handling of quotes in liberty parser
Clifford Wolf
2015-03-18
*
Added hierarchy -auto-top
Clifford Wolf
2015-03-18
*
Fixed bug in "hierarchy" for parametric designs
Clifford Wolf
2015-03-04
*
Added non-std verilog assume() statement
Clifford Wolf
2015-02-26
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2015-02-25
|
\
|
*
Added "keep_hierarchy" attribute
Clifford Wolf
2015-02-25
*
|
Bugfix in iopadmap
Clifford Wolf
2015-02-25
|
/
*
Some cleanups in "clean"
Clifford Wolf
2015-02-24
*
Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.
Clifford Wolf
2015-02-24
*
Fixed "check -assert"
Clifford Wolf
2015-02-22
*
Added "check -assert" doc
Clifford Wolf
2015-02-22
*
Added "check -assert"
Clifford Wolf
2015-02-22
*
Fixed "sat -initsteps" off-by-one bug
Clifford Wolf
2015-02-22
*
Added "sat -stepsize" and "sat -tempinduct-step"
Clifford Wolf
2015-02-21
*
sat docu change
Clifford Wolf
2015-02-21
*
When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.
Clifford Wolf
2015-02-21
*
Added "sat -tempinduct-baseonly -tempinduct-inductonly"
Clifford Wolf
2015-02-21
*
Fixed basecase init for "sat -tempinduct"
Clifford Wolf
2015-02-21
*
Fixed "flatten" for non-pre-derived modules
Clifford Wolf
2015-02-21
*
Replaced ezDefaultSAT with ezSatPtr
Clifford Wolf
2015-02-21
*
Catch constants assigned to cell outputs in "flatten"
Clifford Wolf
2015-02-21
*
format fixes in "sat -dump_json"
Clifford Wolf
2015-02-19
*
Added "sat -dump_json" (WaveJSON format)
Clifford Wolf
2015-02-19
*
Changed "show" defaults for Win32
Clifford Wolf
2015-02-19
*
Fixed clang (svn trunk) warnings
Clifford Wolf
2015-02-18
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2015-02-18
|
\
|
*
wreduce help typo fix
Clifford Wolf
2015-02-17
*
|
Added "select %xe %cie %coe"
Clifford Wolf
2015-02-18
|
/
*
Bugfix in wreduce
Clifford Wolf
2015-02-16
*
Added Viz to yosys.js
Clifford Wolf
2015-02-15
*
Added "check -noinit"
Clifford Wolf
2015-02-15
*
Cosmetic fixes in "hierarchy" for blackbox modules
Clifford Wolf
2015-02-15
[next]