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 "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
*
Convert floating point cell parameters to strings
Clifford Wolf
2015-02-18
*
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
|
*
CodingReadme
Clifford Wolf
2015-02-17
*
|
Added "select %xe %cie %coe"
Clifford Wolf
2015-02-18
|
/
*
YosysJS fixes for firefox
Clifford Wolf
2015-02-16
*
More YosysJS stuff
Clifford Wolf
2015-02-16
*
Added YosysJS wrapper
Clifford Wolf
2015-02-16
*
Bugfix in wreduce
Clifford Wolf
2015-02-16
*
More yosys.js improvements
Clifford Wolf
2015-02-16
*
Added Viz to yosys.js
Clifford Wolf
2015-02-15
*
Added yosys.js FS support
Clifford Wolf
2015-02-15
*
More emcc stuff
Clifford Wolf
2015-02-15
*
Improved yosys.js example
Clifford Wolf
2015-02-15
*
Added "stat" to "synth" and "synth_xilinx"
Clifford Wolf
2015-02-15
*
Added final checks to "synth" and "synth_xilinx"
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
*
More emscripten stuff, Added example app
Clifford Wolf
2015-02-15
*
Fixed default EMCCFLAGS
Clifford Wolf
2015-02-15
*
Smaller default parameters in $mem simlib model
Clifford Wolf
2015-02-15
*
Fixed "stat" handling of blackbox modules
Clifford Wolf
2015-02-14
*
Various fixes for memories with offsets
Clifford Wolf
2015-02-14
*
Added $meminit support to "memory" command
Clifford Wolf
2015-02-14
*
Added $meminit test case
Clifford Wolf
2015-02-14
*
Added "read_verilog -nomeminit" and "nomeminit" attribute
Clifford Wolf
2015-02-14
*
Creating $meminit cells in verilog front-end
Clifford Wolf
2015-02-14
*
Added $meminit cell type
Clifford Wolf
2015-02-14
*
Fixed handling of "//" in filenames in verilog pre-processor
Clifford Wolf
2015-02-14
[next]