Krystine Sherwin
952d01b821
libs/symfpu: tinyAfterRounding
2026-07-15 14:50:32 +12:00
Krystine Sherwin
7b5d334603
symfpu_convert: Handle signed ints
...
Use input wire `is_signed` to select between signed and unsigned handling.
2026-07-15 14:50:32 +12:00
Krystine Sherwin
675087937f
symfpu: Convert with flags
2026-07-15 14:50:31 +12:00
Krystine Sherwin
9943484dbc
symfpu: Add altsqrt
...
No denormalization here. That can be a problem for later (or not at all).
2026-07-15 14:50:29 +12:00
Krystine Sherwin
91928a7329
symfpu: Add alt2div
...
`altdiv` but without denormalization, because as it turns out HardFloat unpacks subnorms in the same way, so lets just support both styles.
2026-07-15 14:50:29 +12:00
Krystine Sherwin
db676a2eae
symfpu: Add altdiv
2026-07-15 14:50:28 +12:00
Krystine Sherwin
b818e1c8ca
Fix tininess when rounding to ebmin
2026-07-15 14:50:28 +12:00
Krystine Sherwin
70dad5a06e
Don't raise DZ when left is inf
2026-07-15 14:50:27 +12:00
Krystine Sherwin
56e61ee839
symfpu: Tidying output
...
Also switching to cleaner library branch
2026-07-15 14:50:26 +12:00
Krystine Sherwin
2dcaa944bf
symfpu: floatWithStatusFlags
...
Now with verified muladd exceptions.
2026-07-15 14:50:26 +12:00
Krystine Sherwin
e44aeda246
symfpu: Verifying rounding modes
...
Works for everything but muladd.
Which I saw coming, but am still frustrated by.
2026-07-15 14:50:26 +12:00
Krystine Sherwin
1347790f4d
symfpu: Add flags
...
Use symfpu fork.
Add tests for symfpu properties and extra edge case checking for flags.
2026-07-15 14:50:25 +12:00
Jannis Harder
0ef11ee048
wip: symfpu pass
2026-07-15 14:50:06 +12:00
Miodrag Milanovic
3541e31457
Add option to use bundled libs
2026-07-13 16:50:06 +02:00
Miodrag Milanovic
30ba4328e7
Use system libs when available
2026-07-13 15:26:00 +02:00
Miodrag Milanovic
8ad4ffcdd1
Cleanup
2026-07-08 08:34:01 +02:00
Miodrag Milanovic
61bc3bd287
Add option to build/install slang tools
2026-07-07 14:51:44 +02:00
Miodrag Milanovic
05c0adae77
Slang frontend integration
2026-07-06 15:49:56 +02:00
Matt Liberty
7fbeb344a4
Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543
...
Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
2026-06-18 07:00:59 +00:00
Miodrag Milanovic
4b5fb15579
use env for bash
2026-06-05 09:18:05 +02:00
Catherine
0d15cb55bf
Fix Windows portability issues that break MSVC build.
2026-06-03 08:58:11 +00:00
Catherine
a727e7f6e7
Migrate build system to CMake
...
See #5895 for details.
This commit does not include CI or documentation changes.
2026-06-03 08:58:10 +00:00
Gus Smith
b2f9ac4fb5
Check for dimacs nullptr on file creation+fn call
2026-02-06 18:18:03 -08:00
Gus Smith
2bb352a861
Missing newline
2026-02-06 17:45:00 -08:00
Gus Smith
f062a0c8d6
Typo
2026-02-06 17:26:08 -08:00
Gabriel Gouvine
979b673f20
ezsat: Fix handling of error codes
2026-01-20 07:54:50 -08:00
Gabriel Gouvine
d2b6bd00b1
ezsat: Rename files and class for ezCmdlineSat
2026-01-20 07:54:50 -08:00
Gabriel Gouvine
6565bf3ebf
ezsat: Fix build for emscripten/wasi
2026-01-20 07:54:50 -08:00
Gabriel Gouvine
12315c0d17
ezsat: Support for assumptions in Sat command
2026-01-20 07:54:49 -08:00
Gabriel Gouvine
9315f02c17
ezsat: New Sat class to call an external command
2026-01-20 07:54:49 -08:00
De hekkende krekker
38a1e66145
Fixes #3515
2025-11-25 06:58:14 +13:00
Robert O'Callahan
9cb3a239cc
Fix `subcircuit` building without `#define _YOSYS_`
...
We can't use the new stringf functionality with `my_sprintf()` since in some builds
that falls back to C-style varargs.
2025-09-15 23:13:20 +00:00
Robert O'Callahan
c7df6954b9
Remove .c_str() from stringf parameters
2025-09-01 23:34:42 +00:00
Krystine Sherwin
cc402ee065
libs/fst: Update upstream
...
libfst is no longer included in gtkwave and instead has its own repo. There has also been some refactoring, so the patches need to update to match, as does sim.cc.
2025-05-12 10:21:06 +12:00
KrystalDelusion
644efca341
Merge pull request #4953 from YosysHQ/krys/local_docs_fixes
...
A few fixes, mostly local docs builds
2025-03-25 10:36:18 +13:00
Krystine Sherwin
013206de39
Fix #3898 (again)
2025-03-20 14:23:37 +13:00
Emil J. Tywoniak
613a17b4a8
ezsat: fix incorrect logging references to function names
2025-03-19 10:33:28 +01:00
Krystine Sherwin
68e9317f1f
libs/fst: Patch wx_len overread
2025-02-25 17:18:15 +13:00
Krystine Sherwin
67a0248186
libs/fst: Update from upstream
...
Fixes stringop-overread warning
2025-02-25 17:15:41 +13:00
Martin Povišer
212d2a6d6e
lib/fst: Remove unaligned pointer access
2025-02-03 11:13:07 +01:00
Gabriel Somlo
fe79a77e39
Fix undefined type error in libs/json11/json11.cpp
...
Under certain conditions, compilation errors out with
the following message:
"error: ‘uint8_t’ does not name a type"
Explicitly including <cstdint> prevents that situation.
Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
2025-01-16 20:09:58 -05:00
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