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
*
Merge branch 'master' of https://github.com/cliffordwolf/yosys
Ahmed Irfan
2015-04-03
|
\
|
*
documentation improvements
Clifford Wolf
2015-03-29
|
*
Ignore celldefine directive in verilog front-end
Clifford Wolf
2015-03-25
|
*
Fixes in cmos_cells.v
Clifford Wolf
2015-03-25
|
*
Fixed detection of absolute paths in ABC for win32
Clifford Wolf
2015-03-22
|
*
Added blif reference to appnote 010
Clifford Wolf
2015-03-22
|
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2015-03-20
|
|
\
|
|
*
Fixed handling of quotes in liberty parser
Clifford Wolf
2015-03-18
|
*
|
fix for python 2.6.6
Clifford Wolf
2015-03-20
|
|
/
|
*
Added hierarchy -auto-top
Clifford Wolf
2015-03-18
|
*
Added Verilog backend $dffsr support
Clifford Wolf
2015-03-18
|
*
Documentation for JSON format, added attributes
Clifford Wolf
2015-03-06
|
*
Added very first version of "synth_ice40"
Clifford Wolf
2015-03-05
|
*
Fixed bug in "hierarchy" for parametric designs
Clifford Wolf
2015-03-04
|
*
Json bugfix
Clifford Wolf
2015-03-03
|
*
Json backend improvements
Clifford Wolf
2015-03-03
|
*
Added write_blif -attr
Clifford Wolf
2015-03-02
|
*
Added JSON backend
Clifford Wolf
2015-03-02
|
*
Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker()
Clifford Wolf
2015-03-01
|
*
Added $assume support to write_smt2
Clifford Wolf
2015-02-26
|
*
Added non-std verilog assume() statement
Clifford Wolf
2015-02-26
|
*
Added $assume cell type
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
|
*
Minor "write_smt2" help msg change
Clifford Wolf
2015-02-22
|
*
Fixed "check -assert"
Clifford Wolf
2015-02-22
|
*
Added "<mod>_a" and "<mod>_i" to write_smt2 output
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
|
*
Hotfix for yosysjs/demo03.html
Clifford Wolf
2015-02-21
|
*
YosysJS: Wait for Viz to load
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
|
*
Added deep recursion warning to AST simplify
Clifford Wolf
2015-02-20
|
*
Parser support for complex delay expressions
Clifford Wolf
2015-02-20
|
*
YosysJS firefox fixes
Clifford Wolf
2015-02-19
|
*
YosysJS stuff
Clifford Wolf
2015-02-19
|
*
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
[next]