| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | ezSAT bugfix: don't call virtual methods in base class constructor | Clifford Wolf | 2014-03-01 | 2 | -2/+5 |
| * | Removed ezSAT::assumed() API | Clifford Wolf | 2014-03-01 | 3 | -10/+0 |
| * | Removed ezSAT built-in brute-froce solver | Clifford Wolf | 2014-03-01 | 1 | -102/+6 |
| * | Added support for Minisat::SimpSolver + ezSAT frezze() API | Clifford Wolf | 2014-02-23 | 4 | -11/+78 |
| * | Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option | Clifford Wolf | 2014-02-22 | 2 | -1/+17 |
| * | Made MiniSat solver backend configurable in ezminisat.h | Clifford Wolf | 2014-02-22 | 2 | -3/+10 |
| * | Improved non-verbose ezSAT::printDIMACS() format | Clifford Wolf | 2014-02-18 | 1 | -1/+6 |
| * | fixed a bug in subcircuit library with cells that have connections to itself | Clifford Wolf | 2014-02-09 | 1 | -1/+4 |
| * | Include unistd.h in svgview.cpp (required for getcwd() function) | Martin Schmölzer | 2013-11-28 | 1 | -0/+1 |
| * | Added QGraphicsWebView to yosys-svgviewer | Clifford Wolf | 2013-11-28 | 4 | -16/+58 |
| * | Added some svgviewer code for possible future switch to QGraphicsWebView | Clifford Wolf | 2013-11-27 | 3 | -6/+20 |
| * | Added ezsat vec_const() api | Clifford Wolf | 2013-11-25 | 2 | -17/+26 |
| * | Removed undef feature from ezsat api | Clifford Wolf | 2013-11-25 | 2 | -11/+2 |
| * | Changed MiniSAT feater defines again | Clifford Wolf | 2013-10-31 | 1 | -2/+3 |
| * | Fixed ezminisat C++ errors: undef PRIi64 | Clifford Wolf | 2013-10-30 | 1 | -1/+2 |
| * | Fixed minisat include | Clifford Wolf | 2013-10-11 | 1 | -1/+1 |
| * | Added ezsat api for creation of anonymous vectors | Clifford Wolf | 2013-08-15 | 2 | -0/+9 |
| * | Added SAT support for $div and $mod cells | Clifford Wolf | 2013-08-11 | 2 | -0/+9 |
| * | Fixed gcc warnings in ezminisat | Clifford Wolf | 2013-07-05 | 1 | -2/+2 |
| * | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 4 | -1/+56 |
| * | Fixed gcc build (c++11 stuff in ezSAT) | Clifford Wolf | 2013-06-12 | 2 | -2/+5 |
| * | Added ezSAT api support for don't care values in models | Clifford Wolf | 2013-06-09 | 2 | -5/+19 |
| * | Fixes and improvements in ezSAT library | Clifford Wolf | 2013-06-08 | 5 | -10/+202 |
| * | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 3 | -2/+7 |
| * | Added ezSAT library | Clifford Wolf | 2013-06-07 | 11 | -0/+2837 |
| * | Improved subcircuit verbose output (added portmapper results) | Clifford Wolf | 2013-03-28 | 1 | -0/+15 |
| * | Fixed svgviewer hacks for builtin files | Clifford Wolf | 2013-03-28 | 1 | -8/+9 |
| * | Keep viewport transform stable on reload in yosys-svgviewer | Clifford Wolf | 2013-03-27 | 2 | -4/+8 |
| * | Now using SVG and yosys-svgviewer per default in show command | Clifford Wolf | 2013-03-27 | 2 | -1/+30 |
| * | Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib | Clifford Wolf | 2013-03-27 | 1 | -0/+5 |
| * | Imported svgviewer from qt4.8 | Clifford Wolf | 2013-03-27 | 11 | -0/+994 |
| * | Improved verbose output of subcircuit | Clifford Wolf | 2013-03-25 | 1 | -1/+11 |
| * | Added portmapping support to subcircuit userCompareNodes() api | Clifford Wolf | 2013-03-07 | 2 | -23/+29 |
| * | Fixed mine test case for subcircuit library | Clifford Wolf | 2013-03-06 | 1 | -1/+1 |
| * | Fixed handling of constant values and port swapping in subcircuit library | Clifford Wolf | 2013-03-06 | 1 | -23/+86 |
| * | Added some simple progress information to verbose subcircuit miner output | Clifford Wolf | 2013-03-05 | 1 | -2/+3 |
| * | Performance optimization in subcircuit mining | Clifford Wolf | 2013-03-03 | 1 | -22/+43 |
| * | Added "shared nodes" feature to the subcircuit library | Clifford Wolf | 2013-03-03 | 3 | -5/+10 |
| * | Fixed subcircuit allowOverlap=false corner case | Clifford Wolf | 2013-03-03 | 1 | -5/+7 |
| * | Fixed memory corruption in subcircuit miner | Clifford Wolf | 2013-03-03 | 1 | -2/+4 |
| * | Minor hotfixes (mostly gcc build fixes) | Clifford Wolf | 2013-03-03 | 1 | -0/+4 |
| * | Finished "extract -mine" feature | Clifford Wolf | 2013-03-02 | 1 | -48/+55 |
| * | More fun with subcircuit mining | Clifford Wolf | 2013-03-02 | 2 | -24/+47 |
| * | Added -mine option to extract pass (not finished) | Clifford Wolf | 2013-03-02 | 1 | -7/+26 |
| * | subcircuit library: implied allExtern for mining | Clifford Wolf | 2013-03-02 | 3 | -7/+9 |
| * | Added frequent subcircuit miner to subcircuit library | Clifford Wolf | 2013-03-02 | 7 | -13/+368 |
| * | Moved stand-alone libs to libs/ directory and added libs/subcircuit | Clifford Wolf | 2013-02-27 | 31 | -0/+6174 |
