| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Compile fix for visual studio | Clifford Wolf | 2014-12-11 | 1 | -0/+1 |
| * | switching from unreliable typedefs to precisely sized uint32_t and uint64_t | SlowRiot | 2014-11-20 | 2 | -19/+16 |
| * | fixing incorrect buffer size allocation, and unsafe integer size type | SlowRiot | 2014-11-20 | 2 | -60/+64 |
| * | Fixed various VS warnings | Clifford Wolf | 2014-10-18 | 1 | -2/+2 |
| * | More win32 (mxe and vs) build fixes | Clifford Wolf | 2014-10-17 | 1 | -11/+18 |
| * | Various win32 / vs build fixes | Clifford Wolf | 2014-10-17 | 1 | -0/+1 |
| * | Header changes so it will compile on VS | William Speirs | 2014-10-17 | 1 | -1/+4 |
| * | A few indent fixes | Clifford Wolf | 2014-10-15 | 1 | -1/+1 |
| * | Changed to explicit heap allocated memory | William Speirs | 2014-10-15 | 1 | -1/+4 |
| * | Not using std::to_string in ezsat (problems with mingw) | Clifford Wolf | 2014-10-11 | 1 | -5/+11 |
| * | Disabled ezminisat timeout feature for Win32 | Clifford Wolf | 2014-10-11 | 2 | -0/+8 |
| * | More Win32 build fixes | Clifford Wolf | 2014-10-10 | 1 | -0/+4 |
| * | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 3 | -65/+65 |
| * | Corrected spelling mistakes found by lintian | Ruben Undheim | 2014-09-06 | 1 | -2/+2 |
| * | Removed yosys-svgviewer | Clifford Wolf | 2014-09-02 | 12 | -1091/+0 |
| * | Replaced sha1 implementation | Clifford Wolf | 2014-08-01 | 2 | -234/+327 |
| * | Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace | Clifford Wolf | 2014-07-31 | 1 | -2/+2 |
| * | Added native support for shift operations to ezSAT | Clifford Wolf | 2014-07-30 | 2 | -1/+95 |
| * | Removed Minisat dependency on zlib | Clifford Wolf | 2014-07-25 | 5 | -13/+43 |
| * | Added ezSAT::keep_cnf() and ezSAT::non_incremental() | Clifford Wolf | 2014-07-21 | 5 | -8/+71 |
| * | Fixed ezSAT stand-alone build | Clifford Wolf | 2014-07-21 | 2 | -8/+4 |
| * | Updated minisat | Clifford Wolf | 2014-07-21 | 20 | -45/+45 |
| * | Using relative path names in minisat headers | Clifford Wolf | 2014-07-21 | 1 | -1/+1 |
| * | Improved ezsat stand-alone tests | Clifford Wolf | 2014-05-06 | 4 | -106/+24 |
| * | minisat compile fix | Clifford Wolf | 2014-04-20 | 3 | -2/+25 |
| * | POSIX find requires a path argument. | Anthony J. Bentley | 2014-04-04 | 1 | -1/+1 |
| * | Merged OSX fixes from Siesh1oo with some modifications | Clifford Wolf | 2014-03-13 | 1 | -0/+1 |
| * | Some fixes in libs/minisat (thanks to Siesh1oo) | Clifford Wolf | 2014-03-12 | 3 | -9/+10 |
| * | Added libs/minisat (copy of minisat git master) | Clifford Wolf | 2014-03-12 | 25 | -2/+5020 |
| * | Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | 2 | -5/+10 |
| * | Switched to EZMINISAT_SIMPSOLVER as default SAT solver | Clifford Wolf | 2014-03-05 | 1 | -1/+1 |
| * | ezSAT: Added frozen_literal() API | Clifford Wolf | 2014-03-03 | 2 | -0/+16 |
| * | ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions | Clifford Wolf | 2014-03-03 | 2 | -8/+23 |
| * | Added ezSAT::eliminated API to help the SAT solver remember eliminated variables | Clifford Wolf | 2014-03-01 | 4 | -3/+17 |
| * | 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 |
