Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add WASI platform support. | whitequark | 2020-04-30 | 4 | -8/+47 |
| | | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function. | ||||
* | Use static constexpr instead of static const where possible. | Henner Zeller | 2020-04-14 | 2 | -5/+4 |
| | | | | | | | In particular inside class declarations, a static const assignment is technically not a definition, while constexpr is. Signed-off-by: Henner Zeller <h.zeller@acm.org> | ||||
* | Improve ezsat onehot encoding scheme | Claire Wolf | 2020-04-02 | 1 | -14/+28 |
| | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | Using LFSR counter for ezSAT::manyhot() | Claire Wolf | 2020-04-02 | 1 | -0/+118 |
| | | | | | | | | The only user of this API right now is the puzzle3d benchmark and it sees a slight reduction in CNF size from this, but the performance difference is within the noise of measurement on my system. Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | libs: import json11. | whitequark | 2019-09-30 | 2 | -0/+1020 |
| | | | | | This commit imports the code from upstream commit dropbox/json11@8ccf1f0c5ecab6151a65f216e7eeccd8588e5457. | ||||
* | Optimize numberOfPermutations | Matthew Daiter | 2019-05-22 | 1 | -6/+4 |
| | |||||
* | Remove added newline (by re-running minisat 00_UPDATE.sh) | Clifford Wolf | 2019-05-08 | 1 | -1/+0 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Fix all warnings that occurred when compiling with gcc9 | Kristoffer Ellersgaard Koch | 2019-05-08 | 1 | -0/+1 |
| | |||||
* | Fix typographical and grammatical errors and inconsistencies. | whitequark | 2019-01-02 | 2 | -4/+4 |
| | | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually. | ||||
* | minisat: Make update script executable. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -0/+0 |
| | |||||
* | minisat: Only define __STDC_XXX_MACROS if not already defined. | Tim 'mithro' Ansell | 2017-11-25 | 6 | -3/+23 |
| | | | | | | | | | | | | | | | | | Replace; #define __STDC_LIMIT_MACROS #define __STDC_FORMAT_MACROS With #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS #endif #ifndef __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS #endif This fixes a compile warning if you are defining these macros in your CXXFLAGS (as some distros do). | ||||
* | minisat: Remove template with gzFile specialization. | Tim 'mithro' Ansell | 2017-11-25 | 2 | -4/+21 |
| | | | | | All the other gzFile functions have been removed but this template was still left around. | ||||
* | subcircuit: Class with virtual methods should have virtual destructor. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+1 |
| | | | | | | Fixes a compile warning. * https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual | ||||
* | Add minisat 00_PATCH_typofixes.patch | Clifford Wolf | 2017-03-27 | 2 | -0/+21 |
| | |||||
* | Remove use of <fpu_control.h> in minisat | Clifford Wolf | 2017-03-27 | 4 | -18/+44 |
| | |||||
* | Added "int ceil_log2(int)" function | Clifford Wolf | 2016-02-13 | 1 | -1/+23 |
| | |||||
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -1/+1 |
| | |||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 13 | -30/+30 |
| | |||||
* | Improved performance in equiv_simple | Clifford Wolf | 2015-02-01 | 1 | -0/+1 |
| | |||||
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 1 | -1/+1 |
| | |||||
* | Added statehash to ezSAT | Clifford Wolf | 2014-12-29 | 2 | -6/+46 |
| | |||||
* | 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 |
| |