mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-26 09:24:37 +00:00
Code Activity
6257 commits 122 branches 59 tags 72 MiB
Commit graph

97 commits

Author SHA1 Message Date
Matthew Daiter
f0ff31ceea Optimize numberOfPermutations 2019-05-22 17:29:50 -04:00
Clifford Wolf
caad497839 Remove added newline (by re-running minisat 00_UPDATE.sh) 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-05-08 11:26:58 +02:00
Kristoffer Ellersgaard Koch
30c762d3a1 Fix all warnings that occurred when compiling with gcc9 2019-05-08 10:27:14 +02:00
whitequark
efa278e232 Fix typographical and grammatical errors and inconsistencies. 
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.
 2019-01-02 13:12:17 +00:00
Tim 'mithro' Ansell
1b231b442c minisat: Make update script executable. 2017-11-25 19:48:26 -08:00
Tim 'mithro' Ansell
34c9fbab53 minisat: Only define __STDC_XXX_MACROS if not already defined. 
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).
 2017-11-25 19:48:26 -08:00
Tim 'mithro' Ansell
8d48b47450 minisat: Remove template with gzFile specialization. 
All the other gzFile functions have been removed but this template was
still left around.
 2017-11-25 19:48:26 -08:00
Tim 'mithro' Ansell
04802e93e8 subcircuit: Class with virtual methods should have virtual destructor. 
Fixes a compile warning.

* https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual
 2017-11-25 19:48:26 -08:00
Clifford Wolf
58ee8e3b8a Add minisat 00_PATCH_typofixes.patch 2017-03-27 14:37:00 +02:00
Clifford Wolf
71cbe98a09 Remove use of <fpu_control.h> in minisat 2017-03-27 14:32:43 +02:00
Clifford Wolf
0d7fd2585e Added "int ceil_log2(int)" function 2016-02-13 16:52:16 +01:00
Clifford Wolf
84bf862f7c Spell check (by Larry Doolittle) 2015-08-14 10:56:05 +02:00
Clifford Wolf
6c84341f22 Fixed trailing whitespaces 2015-07-02 11:14:30 +02:00
Clifford Wolf
893fe87a33 Improved performance in equiv_simple 2015-02-01 22:50:48 +01:00
Clifford Wolf
2a9ad48eb6 Added ENABLE_NDEBUG makefile options 2015-01-24 12:16:46 +01:00
Clifford Wolf
29a555ec7e Added statehash to ezSAT 2014-12-29 17:10:37 +01:00
Clifford Wolf
df52eedb30 Compile fix for visual studio 2014-12-11 15:27:38 +01:00
SlowRiot
4aae465867 switching from unreliable typedefs to precisely sized uint32_t and uint64_t 2014-11-20 02:03:08 +00:00
SlowRiot
76cc2bf7b4 fixing incorrect buffer size allocation, and unsafe integer size type 2014-11-20 01:58:57 +00:00
Clifford Wolf
84ffe04075 Fixed various VS warnings 2014-10-18 15:20:38 +02:00
Clifford Wolf
b3a6f8f530 More win32 (mxe and vs) build fixes 2014-10-17 16:04:59 +02:00
Clifford Wolf
468ae92374 Various win32 / vs build fixes 2014-10-17 14:01:47 +02:00
William Speirs
31267a1ae8 Header changes so it will compile on VS 2014-10-17 11:41:36 +02:00
Clifford Wolf
cf85aab62f A few indent fixes 2014-10-15 01:05:08 +02:00
William Speirs
9ee3a4b94f Changed to explicit heap allocated memory 2014-10-15 00:58:56 +02:00
Clifford Wolf
7df8cbe2a9 Not using std::to_string in ezsat (problems with mingw) 2014-10-11 10:46:50 +02:00
Clifford Wolf
93e6ebe771 Disabled ezminisat timeout feature for Win32 2014-10-11 10:24:46 +02:00
Clifford Wolf
54bf3a95dd More Win32 build fixes 2014-10-10 18:34:19 +02:00
Clifford Wolf
7cb0d3aa1a Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 2014-10-10 17:07:24 +02:00
Ruben Undheim
79cbf9067c Corrected spelling mistakes found by lintian 2014-09-06 08:47:06 +02:00
Clifford Wolf
ee29ae2206 Removed yosys-svgviewer 2014-09-02 03:52:46 +02:00
Clifford Wolf
bd74ed7da4 Replaced sha1 implementation 2014-08-01 19:01:10 +02:00
Clifford Wolf
1cb25c05b3 Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace 2014-07-31 13:19:47 +02:00
Clifford Wolf
9b566a7efa Added native support for shift operations to ezSAT 2014-07-30 18:37:17 +02:00
Clifford Wolf
6789e3002a Removed Minisat dependency on zlib 2014-07-25 03:41:54 +02:00
Clifford Wolf
b1d520949b Added ezSAT::keep_cnf() and ezSAT::non_incremental() 2014-07-21 02:01:32 +02:00
Clifford Wolf
ade659e617 Fixed ezSAT stand-alone build 2014-07-21 01:03:01 +02:00
Clifford Wolf
92c9403249 Updated minisat 2014-07-21 01:01:26 +02:00
Clifford Wolf
c6b3f4e089 Using relative path names in minisat headers 2014-07-21 01:00:39 +02:00
Clifford Wolf
30774ec6bc Improved ezsat stand-alone tests 2014-05-06 13:48:25 +02:00
Clifford Wolf
d2d48996c4 minisat compile fix 2014-04-20 14:17:40 +02:00
Anthony J. Bentley
66a5da5edc POSIX find requires a path argument. 2014-04-04 16:51:27 -06:00
Clifford Wolf
fad8558eb5 Merged OSX fixes from Siesh1oo with some modifications 2014-03-13 12:48:10 +01:00
Clifford Wolf
a4d72de91d Some fixes in libs/minisat (thanks to Siesh1oo) 2014-03-12 23:28:10 +01:00
Clifford Wolf
94c1307c26 Added libs/minisat (copy of minisat git master) 2014-03-12 10:17:51 +01:00
Clifford Wolf
91704a7853 Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys 
(see https://github.com/cliffordwolf/yosys/pull/28)
 2014-03-11 14:24:24 +01:00
Clifford Wolf
b1b8fe3a56 Switched to EZMINISAT_SIMPSOLVER as default SAT solver 2014-03-05 19:57:10 +01:00
Clifford Wolf
d5bd93997c ezSAT: Added frozen_literal() API 2014-03-03 02:13:17 +01:00
Clifford Wolf
895e9fc70c ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions 2014-03-03 02:12:45 +01:00
Clifford Wolf
d500bd749f Added ezSAT::eliminated API to help the SAT solver remember eliminated variables 2014-03-01 21:00:34 +01:00