| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add dlfcn library for win32 | Miodrag Milanovic | 2022-10-28 | 2 | -0/+914 |
| * | And another place we need to lseek() after dup(). | Lloyd Parkes | 2022-10-16 | 1 | -0/+1 |
| * | Forcibly set the current seek location of gz files that we are accessing | Lloyd Parkes | 2022-10-16 | 1 | -0/+1 |
| * | extends the list of platforms without <alloca.h> | Josuah Demangeon | 2022-07-18 | 1 | -1/+1 |
| * | Proper std::move | Miodrag Milanovic | 2022-05-27 | 1 | -8/+8 |
| * | Fix build on FreeBSD, which has no alloca.h | Maciej Pasternacki | 2022-04-24 | 1 | -0/+3 |
| * | Fix Visual Studio build | Miodrag Milanovic | 2022-02-02 | 4 | -57/+24 |
| * | Fix for limit_range_end when not writing vcd | Miodrag Milanovic | 2022-01-28 | 1 | -0/+9 |
| * | Cleanup of config to support platforms | Miodrag Milanovic | 2022-01-26 | 1 | -20/+13 |
| * | Add FST library | Miodrag Milanovic | 2022-01-25 | 9 | -0/+9853 |
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 14 | -14/+14 |
| * | minisat: add missing include guard for WASI. | whitequark | 2020-06-21 | 2 | -0/+14 |
| * | Add WASI platform support. | whitequark | 2020-04-30 | 4 | -8/+47 |
| * | Use static constexpr instead of static const where possible. | Henner Zeller | 2020-04-14 | 2 | -5/+4 |
| * | Improve ezsat onehot encoding scheme | Claire Wolf | 2020-04-02 | 1 | -14/+28 |
| * | Using LFSR counter for ezSAT::manyhot() | Claire Wolf | 2020-04-02 | 1 | -0/+118 |
| * | libs: import json11. | whitequark | 2019-09-30 | 2 | -0/+1020 |
| * | 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 |
| * | 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 |
| * | 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 |
| * | minisat: Remove template with gzFile specialization. | Tim 'mithro' Ansell | 2017-11-25 | 2 | -4/+21 |
| * | subcircuit: Class with virtual methods should have virtual destructor. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+1 |
| * | 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 |
