projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Add abc9_ops -check, -prep_times, -write_box for required times
[yosys.git]
/
libs
/
2014-03-03
Clifford Wolf
ezSAT: Added frozen_literal() API
tree
|
commitdiff
2014-03-03
Clifford Wolf
ezSAT: Fixed handling of eliminated Literals, added...
tree
|
commitdiff
2014-03-01
Clifford Wolf
Added ezSAT::eliminated API to help the SAT solver...
tree
|
commitdiff
2014-03-01
Clifford Wolf
ezSAT bugfix: don't call virtual methods in base class...
tree
|
commitdiff
2014-03-01
Clifford Wolf
Removed ezSAT::assumed() API
tree
|
commitdiff
2014-03-01
Clifford Wolf
Removed ezSAT built-in brute-froce solver
tree
|
commitdiff
2014-02-23
Clifford Wolf
Added support for Minisat::SimpSolver + ezSAT frezze...
tree
|
commitdiff
2014-02-22
Clifford Wolf
Added ezMiniSat EZMINISAT_INCREMENTAL compile-time...
tree
|
commitdiff
2014-02-22
Clifford Wolf
Made MiniSat solver backend configurable in ezminisat.h
tree
|
commitdiff
2014-02-18
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-02-18
Clifford Wolf
Improved non-verbose ezSAT::printDIMACS() format
tree
|
commitdiff
2014-02-09
Clifford Wolf
fixed a bug in subcircuit library with cells that have...
tree
|
commitdiff
2013-11-28
Clifford Wolf
Merge pull request #17 from mschmoelzer/master
tree
|
commitdiff
2013-11-28
Martin Schmölzer
Include unistd.h in svgview.cpp (required for getcwd...
tree
|
commitdiff
2013-11-28
Clifford Wolf
Added QGraphicsWebView to yosys-svgviewer
tree
|
commitdiff
2013-11-27
Clifford Wolf
Added some svgviewer code for possible future switch...
tree
|
commitdiff
2013-11-25
Clifford Wolf
Added ezsat vec_const() api
tree
|
commitdiff
2013-11-25
Clifford Wolf
Removed undef feature from ezsat api
tree
|
commitdiff
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