projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Disabled const folding of ternary op when select is undef
[yosys.git]
/
libs
/
2013-11-03
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-10-31
Clifford Wolf
Changed MiniSAT feater defines again
tree
|
commitdiff
2013-10-30
Clifford Wolf
Fixed ezminisat C++ errors: undef PRIi64
tree
|
commitdiff
2013-10-11
Clifford Wolf
Fixed minisat include
tree
|
commitdiff
2013-08-15
Clifford Wolf
Added ezsat api for creation of anonymous vectors
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added SAT support for $div and $mod cells
tree
|
commitdiff
2013-07-05
Clifford Wolf
Fixed gcc warnings in ezminisat
tree
|
commitdiff
2013-06-20
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-20
Clifford Wolf
Added timout functionality to SAT solver
tree
|
commitdiff
2013-06-12
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-12
Clifford Wolf
Fixed gcc build (c++11 stuff in ezSAT)
tree
|
commitdiff
2013-06-09
Clifford Wolf
Added ezSAT api support for don't care values in models
tree
|
commitdiff
2013-06-08
Clifford Wolf
Fixes and improvements in ezSAT library
tree
|
commitdiff
2013-06-07
Clifford Wolf
Improved sat generator and sat_solve pass
tree
|
commitdiff
2013-06-07
Clifford Wolf
Added ezSAT library
tree
|
commitdiff
2013-05-16
Clifford Wolf
Merge branch 'bugfix'
tree
|
commitdiff
2013-03-28
Clifford Wolf
Improved subcircuit verbose output (added portmapper...
tree
|
commitdiff
2013-03-28
Clifford Wolf
Fixed svgviewer hacks for builtin files
tree
|
commitdiff
2013-03-27
Clifford Wolf
Keep viewport transform stable on reload in yosys-svgviewer
tree
|
commitdiff
2013-03-27
Clifford Wolf
Now using SVG and yosys-svgviewer per default in show...
tree
|
commitdiff
2013-03-27
Clifford Wolf
Added yosys-svgviewer to build system and renamed filte...
tree
|
commitdiff
2013-03-27
Clifford Wolf
Imported svgviewer from qt4.8
tree
|
commitdiff
2013-03-25
Clifford Wolf
Improved verbose output of subcircuit
tree
|
commitdiff
2013-03-07
Clifford Wolf
Added portmapping support to subcircuit userCompareNode...
tree
|
commitdiff
2013-03-06
Clifford Wolf
Fixed mine test case for subcircuit library
tree
|
commitdiff
2013-03-06
Clifford Wolf
Fixed handling of constant values and port swapping...
tree
|
commitdiff
2013-03-05
Clifford Wolf
Added some simple progress information to verbose subci...
tree
|
commitdiff
2013-03-03
Clifford Wolf
Performance optimization in subcircuit mining
tree
|
commitdiff
2013-03-03
Clifford Wolf
Added "shared nodes" feature to the subcircuit library
tree
|
commitdiff
2013-03-03
Clifford Wolf
Fixed subcircuit allowOverlap=false corner case
tree
|
commitdiff
2013-03-03
Clifford Wolf
Fixed memory corruption in subcircuit miner
tree
|
commitdiff
2013-03-03
Clifford Wolf
Minor hotfixes (mostly gcc build fixes)
tree
|
commitdiff
2013-03-02
Clifford Wolf
Finished "extract -mine" feature
tree
|
commitdiff
2013-03-02
Clifford Wolf
More fun with subcircuit mining
tree
|
commitdiff
2013-03-02
Clifford Wolf
Added -mine option to extract pass (not finished)
tree
|
commitdiff
2013-03-02
Clifford Wolf
subcircuit library: implied allExtern for mining
tree
|
commitdiff
2013-03-02
Clifford Wolf
Added frequent subcircuit miner to subcircuit library
tree
|
commitdiff
2013-02-27
Clifford Wolf
Moved stand-alone libs to libs/ directory and added...
tree
|
commitdiff