aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Collapse)AuthorAgeFilesLines
* extends the list of platforms without <alloca.h>Josuah Demangeon2022-07-181-1/+1
| | | | | | | | This permits to fix a compilation bug on OpenBSD https://www.gnu.org/software/gnulib/manual/html_node/alloca_002eh.html > This header file is missing on some platforms: > FreeBSD 6.0, NetBSD 9.0, OpenBSD 6.7, mingw, MSVC 14.
* Proper std::moveMiodrag Milanovic2022-05-271-8/+8
|
* Fix build on FreeBSD, which has no alloca.hMaciej Pasternacki2022-04-241-0/+3
|
* Fix Visual Studio buildMiodrag Milanovic2022-02-024-57/+24
|
* Fix for limit_range_end when not writing vcdMiodrag Milanovic2022-01-281-0/+9
|
* Cleanup of config to support platformsMiodrag Milanovic2022-01-261-20/+13
|
* Add FST libraryMiodrag Milanovic2022-01-259-0/+9853
|
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0814-14/+14
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* minisat: add missing include guard for WASI.whitequark2020-06-212-0/+14
| | | | | Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11.
* Add WASI platform support.whitequark2020-04-304-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 Zeller2020-04-142-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 schemeClaire Wolf2020-04-021-14/+28
| | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* Using LFSR counter for ezSAT::manyhot()Claire Wolf2020-04-021-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.whitequark2019-09-302-0/+1020
| | | | | This commit imports the code from upstream commit dropbox/json11@8ccf1f0c5ecab6151a65f216e7eeccd8588e5457.
* Optimize numberOfPermutationsMatthew Daiter2019-05-221-6/+4
|
* Remove added newline (by re-running minisat 00_UPDATE.sh)Clifford Wolf2019-05-081-1/+0
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-0/+1
|
* Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-022-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' Ansell2017-11-251-0/+0
|
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-256-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' Ansell2017-11-252-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' Ansell2017-11-251-1/+1
| | | | | | Fixes a compile warning. * https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual
* Add minisat 00_PATCH_typofixes.patchClifford Wolf2017-03-272-0/+21
|
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-274-18/+44
|
* Added "int ceil_log2(int)" functionClifford Wolf2016-02-131-1/+23
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
|
* Fixed trailing whitespacesClifford Wolf2015-07-0213-30/+30
|
* Improved performance in equiv_simpleClifford Wolf2015-02-011-0/+1
|
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-241-1/+1
|
* Added statehash to ezSATClifford Wolf2014-12-292-6/+46
|
* Compile fix for visual studioClifford Wolf2014-12-111-0/+1
|
* switching from unreliable typedefs to precisely sized uint32_t and uint64_tSlowRiot2014-11-202-19/+16
|
* fixing incorrect buffer size allocation, and unsafe integer size typeSlowRiot2014-11-202-60/+64
|
* Fixed various VS warningsClifford Wolf2014-10-181-2/+2
|
* More win32 (mxe and vs) build fixesClifford Wolf2014-10-171-11/+18
|
* Various win32 / vs build fixesClifford Wolf2014-10-171-0/+1
|
* Header changes so it will compile on VSWilliam Speirs2014-10-171-1/+4
|
* A few indent fixesClifford Wolf2014-10-151-1/+1
|
* Changed to explicit heap allocated memoryWilliam Speirs2014-10-151-1/+4
|
* Not using std::to_string in ezsat (problems with mingw)Clifford Wolf2014-10-111-5/+11
|
* Disabled ezminisat timeout feature for Win32Clifford Wolf2014-10-112-0/+8
|
* More Win32 build fixesClifford Wolf2014-10-101-0/+4
|
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-103-65/+65
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-2/+2
|
* Removed yosys-svgviewerClifford Wolf2014-09-0212-1091/+0
|
* Replaced sha1 implementationClifford Wolf2014-08-012-234/+327
|
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-311-2/+2
|
* Added native support for shift operations to ezSATClifford Wolf2014-07-302-1/+95
|
* Removed Minisat dependency on zlibClifford Wolf2014-07-255-13/+43
|
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-215-8/+71
|