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

139 commits

Author SHA1 Message Date
Krystine Sherwin
16a595004c
libs/fst: Fix Cygwin compat 2024-12-03 12:48:48 +13:00
Martin Povišer
1184418cc8
Merge pull request #4739 from hzeller/feature-20241113-stdlib-for-abort 
Include stdlib.h for `abort()`
 2024-11-20 10:19:31 +01:00
Henner Zeller
a750c94c38 Include stdlib.h for abort() 2024-11-13 13:05:01 -08:00
Emil J
0aa2f0efdf
Merge pull request #4715 from hzeller/feature-20241106-use-stdlib-for-free 
Include cstdlib for free()
 2024-11-08 19:07:42 +01:00
Henner Zeller
285fd5b83a Include cstdlib for free() 2024-11-06 17:35:00 -08:00
Krystine Sherwin
a370c116d5
libs/fst: Use unbuffered IO flag 2024-10-18 07:25:29 +13:00
Krystine Sherwin
2157f67184
libs/fst: Patch more _MSC_VER checks 2024-10-17 07:05:24 +13:00
Krystine Sherwin
827e5baca7
libs/fst: Update from upstream 2024-10-17 07:05:23 +13:00
Krystine Sherwin
5f83d4d9da
libs/fst: Patch <io.h> 
I think what's happening here is that the _WIN64 fix is correct for 64bit windows, but (for whatever reason) the visual studio build is targeting 32bit windows, so the fix is unnecessary, but the upstream fix doesn't expect to be targeting 32bit windows and assumes all windows builds are 64bit... so fix that.
 2024-10-17 07:05:23 +13:00
Krystine Sherwin
a54721aa39
libs/fst: Patch for zlib on windows 2024-10-17 07:05:23 +13:00
Krystine Sherwin
c4a0845207
libs/fst: Fix filename references 2024-10-17 07:05:23 +13:00
Krystine Sherwin
2edb9397c3
libs/fst: Update from upstream 
Add shell script (based on minisat lib) to clone and copy relevant files.
Unclear if there are any changes lost that we need to patch back in.
 2024-10-17 07:05:23 +13:00
Emil J. Tywoniak
575415ade2 driver: switch to cxxopts, replace -B 2024-10-09 15:21:34 +02:00
Krystine Sherwin
e9f909aa25
minisat: Record changes in patch 2024-08-17 10:01:25 +12:00
Krystine Sherwin
55307a5452
minisat: Check for gcc 2024-08-16 04:30:37 +12:00
Krystine Sherwin
eb02ab07da
minisat: Use reallocarray 
Avoid gcc warning about non-trivial copying.
 2024-08-16 04:30:37 +12:00
Krystine Sherwin
d34833d177
Better snprintf size handling 2024-08-16 04:30:37 +12:00
Krystine Sherwin
636ce9ac2c
snprintf 2024-08-16 04:30:36 +12:00
Krystine Sherwin
7b47f645d7
Address warnings 
- Setting default values
- Fixing mismatched types
- Guarding unused var
 2024-08-16 04:30:31 +12:00
Roland Coeurjoly
4a2fb18718 Changes in libs, passes and tests Makefiles. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. CXX is clang++ or g++, not clang and gcc 2024-02-25 17:23:56 +01:00
N. Engelhardt
d87bd7ca3f
Merge pull request #3887 from kivikakk/env-bash 
tests: use /usr/bin/env for bash.
 2023-12-18 16:33:35 +01:00
Jannis Harder
2f82e8eaed
Merge pull request #3906 from DanielG/fix-fstGetUint32-mips64el 2023-08-28 16:11:53 +02:00
Daniel Gröber
e4189ddfd1 Fix fstGetUint32 crash on mips64el due to misaligned access 
See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1025307
 2023-08-27 15:05:41 +02:00
Daniel Gröber
e017f6603c Fix i386 FP excess-precision issue in fstapi (Fixes: #3898) 
Likely related to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=323#c225

Thanks to @jix for digging this up
 2023-08-27 11:32:53 +02:00
Charlotte
d130f7fca2 tests: use /usr/bin/env for bash. 2023-08-12 11:59:39 +10:00
Miodrag Milanovic
05218ec900 Add dlfcn library for win32 2022-10-28 16:15:30 +02:00
Lloyd Parkes
7dcc9c664e And another place we need to lseek() after dup(). 2022-10-16 12:50:49 +13:00
Lloyd Parkes
635aa2a3fc Forcibly set the current seek location of gz files that we are accessing 
via dup(fileno());gzdopen() because stdio might have buffered data from
the underlying file meaning that the underlying seek position isn't what
we think it is.
 2022-10-16 12:36:00 +13:00
Josuah Demangeon
793b9ade56 extends the list of platforms without <alloca.h> 
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.
 2022-07-18 21:51:18 +02:00
Miodrag Milanovic
0d31aa6008 Proper std::move 2022-05-27 11:04:16 +02:00
Maciej Pasternacki
0302e97ebc Fix build on FreeBSD, which has no alloca.h 2022-04-24 19:35:50 +02:00
Miodrag Milanovic
4a30c9cb94 Fix Visual Studio build 2022-02-02 11:46:06 +01:00
Miodrag Milanovic
7101df62f8 Fix for limit_range_end when not writing vcd 2022-01-28 12:15:14 +01:00
Miodrag Milanovic
c811a71301 Cleanup of config to support platforms 2022-01-26 09:58:27 +01:00
Miodrag Milanovic
9e9083bbe9 Add FST library 2022-01-25 09:53:41 +01:00
Claire Xenia Wolf
72787f52fc Fixing old e-mail addresses and deadnames 
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;
 2021-06-08 00:39:36 +02:00
whitequark
21d44ebec7 minisat: add missing include guard for WASI. 
Including signal.h used to be allowed in WASI by mistake, but it's
an error since SDK 11.
 2020-06-21 21:26:21 +00:00
whitequark
b43c282e4e Add WASI platform support. 
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.
 2020-04-30 18:56:25 +00:00
Henner Zeller
5c6e681673 Use static constexpr instead of static const where possible. 
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>
 2020-04-14 14:19:38 -07:00
Claire Wolf
65a3ff69bd Improve ezsat onehot encoding scheme 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-04-02 12:22:28 +02:00
Claire Wolf
f72b65b2a5 Using LFSR counter for ezSAT::manyhot() 
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>
 2020-04-02 11:37:12 +02:00
whitequark
8f2bdff7b9 libs: import json11. 
This commit imports the code from upstream commit
dropbox/json11@8ccf1f0c5e.
 2019-09-30 15:53:11 +00:00
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