projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2015-03-02
Clifford Wolf
Added JSON backend
commit
|
commitdiff
|
tree
2015-03-01
Clifford Wolf
Const-fold parameter defs on-demand in AstNode::detectS...
commit
|
commitdiff
|
tree
2015-02-26
Clifford Wolf
Added $assume support to write_smt2
commit
|
commitdiff
|
tree
2015-02-26
Clifford Wolf
Added non-std verilog assume() statement
commit
|
commitdiff
|
tree
2015-02-26
Clifford Wolf
Added $assume cell type
commit
|
commitdiff
|
tree
2015-02-25
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2015-02-25
Clifford Wolf
Bugfix in iopadmap
commit
|
commitdiff
|
tree
2015-02-25
Clifford Wolf
Added "keep_hierarchy" attribute
commit
|
commitdiff
|
tree
2015-02-24
Clifford Wolf
Some cleanups in "clean"
commit
|
commitdiff
|
tree
2015-02-24
Clifford Wolf
Fixed compilation problems with gcc 4.6.3; use enum...
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Minor "write_smt2" help msg change
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Fixed "check -assert"
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Added "<mod>_a" and "<mod>_i" to write_smt2 output
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Added "check -assert" doc
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Added "check -assert"
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Fixed "sat -initsteps" off-by-one bug
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Added "sat -stepsize" and "sat -tempinduct-step"
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
sat docu change
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
When "sat -tempinduct-baseonly -maxsteps N" reaches...
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Added "sat -tempinduct-baseonly -tempinduct-inductonly"
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Fixed basecase init for "sat -tempinduct"
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Fixed "flatten" for non-pre-derived modules
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Hotfix for yosysjs/demo03.html
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
YosysJS: Wait for Viz to load
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Replaced ezDefaultSAT with ezSatPtr
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Catch constants assigned to cell outputs in "flatten"
commit
|
commitdiff
|
tree
2015-02-20
Clifford Wolf
Added deep recursion warning to AST simplify
commit
|
commitdiff
|
tree
2015-02-20
Clifford Wolf
Parser support for complex delay expressions
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
YosysJS firefox fixes
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
YosysJS stuff
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
format fixes in "sat -dump_json"
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
Added "sat -dump_json" (WaveJSON format)
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
Changed "show" defaults for Win32
commit
|
commitdiff
|
tree
2015-02-18
Clifford Wolf
Convert floating point cell parameters to strings
commit
|
commitdiff
|
tree
2015-02-18
Clifford Wolf
Fixed clang (svn trunk) warnings
commit
|
commitdiff
|
tree
2015-02-18
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2015-02-18
Clifford Wolf
Added "select %xe %cie %coe"
commit
|
commitdiff
|
tree
2015-02-17
Clifford Wolf
wreduce help typo fix
commit
|
commitdiff
|
tree
2015-02-17
Clifford Wolf
CodingReadme
commit
|
commitdiff
|
tree
2015-02-16
Clifford Wolf
YosysJS fixes for firefox
commit
|
commitdiff
|
tree
2015-02-16
Clifford Wolf
More YosysJS stuff
commit
|
commitdiff
|
tree
2015-02-16
Clifford Wolf
Added YosysJS wrapper
commit
|
commitdiff
|
tree
2015-02-16
Clifford Wolf
Bugfix in wreduce
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
More yosys.js improvements
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Added Viz to yosys.js
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Added yosys.js FS support
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
More emcc stuff
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Improved yosys.js example
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Added "stat" to "synth" and "synth_xilinx"
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Added final checks to "synth" and "synth_xilinx"
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Added "check -noinit"
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Cosmetic fixes in "hierarchy" for blackbox modules
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
More emscripten stuff, Added example app
commit
|
commitdiff
|
tree
2015-02-15
Clifford Wolf
Fixed default EMCCFLAGS
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Smaller default parameters in $mem simlib model
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Fixed "stat" handling of blackbox modules
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Various fixes for memories with offsets
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Added $meminit support to "memory" command
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Added $meminit test case
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Added "read_verilog -nomeminit" and "nomeminit" attribute
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Creating $meminit cells in verilog front-end
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Added $meminit cell type
commit
|
commitdiff
|
tree
2015-02-14
Clifford Wolf
Fixed handling of "//" in filenames in verilog pre...
commit
|
commitdiff
|
tree
2015-02-13
Clifford Wolf
Fixed "write_verilog -attr2comment" handling of "*...
commit
|
commitdiff
|
tree
2015-02-13
Clifford Wolf
hotfix in "check" command
commit
|
commitdiff
|
tree
2015-02-13
Clifford Wolf
Added "check" command
commit
|
commitdiff
|
tree
2015-02-13
Clifford Wolf
Added AstNode::simplify() recursion counter
commit
|
commitdiff
|
tree
2015-02-13
Clifford Wolf
Added EMCCFLAGS
commit
|
commitdiff
|
tree
2015-02-12
Clifford Wolf
Some test related fixes
commit
|
commitdiff
|
tree
2015-02-12
Clifford Wolf
Added "proc_dlatch"
commit
|
commitdiff
|
tree
2015-02-10
Clifford Wolf
Less aggressive "share" defaults
commit
|
commitdiff
|
tree
2015-02-10
Clifford Wolf
Improved read_verilog support for empty behavioral...
commit
|
commitdiff
|
tree
2015-02-10
Clifford Wolf
Added "scc -expect <N> -nofeedback"
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Some hashlib improvements
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Various changes to release checklist
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Fixed creation of command reference in manual
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
We are now in 0.5+ development
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Yosys 0.5
yosys-0.5
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Bugfix in "make vcxsrc"
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Updated command reference in manual
commit
|
commitdiff
|
tree
2015-02-09
Clifford Wolf
Various presentation fixes
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Fixed iterator invalidation bug in "rename" command
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
CodingReadme update
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Fixed bug in "show -format .."
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Added new APIs to changelog
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Fixed eval_select_op() api
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Added eval_select_args() and eval_select_op()
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Minor "make vgtest" changes
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Various ModIndex improvements
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Added Yosys 0.5 Changelog
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Various updates to CodingReadme
commit
|
commitdiff
|
tree
2015-02-08
Clifford Wolf
Added equiv_add
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Ignore explicit assignments to constants in HDL code
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Fixed a bug with autowire bit size
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
fixed typo
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Added "yosys-config --build modname.so cppsources.."
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Added SigSpec::has_const()
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Cleanup in add_share_file make macro
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Removed "make mklibyosys"
commit
|
commitdiff
|
tree
2015-02-07
Clifford Wolf
Improved building of plugins
commit
|
commitdiff
|
tree
next