mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity
14544 commits 122 branches 59 tags 73 MiB
Commit graph

14544 commits

This branch
This branch
All branches
Author SHA1 Message Date
Josuah Demangeon
6eba56fcf0 include changes to support OpenBSD and prepare NetBSD support 
Some systems do not split -lrt and -ldl from the main libc.

Musl libc is one of them, but offers an empty -ldl and -lrt
precisely to avoid these kind of compilation errors.

OpenBSD tried to add a librt.a but it broke libtool-based packages
on multiple OSes[1] so it got reverted, nad -lrt needs to be removed.

Some other adjustments for FreeBSD also work for other BSD, like
packages in /usr/local/ instead of /usr/, TLC libraries...

[1]: https://marc.info/?l=openbsd-tech&m=139559970907629&w=2
 2022-07-18 21:51:18 +02: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
github-actions[bot]
a82eff2e20 Bump version 2022-07-16 00:18:51 +00:00
Miodrag Milanovic
d25f349f4d Update to latest abc 2022-07-15 12:51:03 +02:00
github-actions[bot]
08c319fc35 Bump version 2022-07-12 00:17:15 +00:00
Miodrag Milanović
f086da8bdf
Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1 
Update tcl doc, yosys does not return data to tcl
 2022-07-11 16:26:23 +02:00
Marcelina Kościelnicka
58c51b9a0b
Remove empty lines 2022-07-11 16:19:34 +02:00
github-actions[bot]
2326b9f90a Bump version 2022-07-08 00:20:05 +00:00
Catherine
933f110bf7
Merge pull request #3404 from YosysHQ/fix-build-after-pr-3399 
Fix WASI and external-ABC build after PR#3399
 2022-07-07 10:28:30 +00:00
Catherine
502b96fe53 Fix external ABC build after commit 0ca0932b5. 2022-07-07 08:38:30 +00:00
Catherine
43d86f2c26 Fix WASI build after commit 0ca0932b5. 2022-07-07 08:06:55 +00:00
github-actions[bot]
09c6fc68c7 Bump version 2022-07-07 00:19:32 +00:00
Miodrag Milanovic
0098b32c6c using more portable formatting 2022-07-06 10:53:35 +02:00
Miodrag Milanović
0cd20693c2
Merge pull request #3399 from YosysHQ/abc_cpp 
Update abc and build as C++
 2022-07-06 10:39:48 +02:00
Miodrag Milanović
4c5152bf26
Merge pull request #3402 from C-Elegans/modfloor_support 
Add support for GHDL modfloor operator to cxxrtl backend
 2022-07-06 10:04:12 +02:00
Miodrag Milanović
86a4ba1758
Merge pull request #3397 from pepijndevos/patch-2 
Apicula now supports lutram
 2022-07-06 09:50:52 +02:00
Michael Nolan
24b895778a Add support for GHDL modfloor operator 2022-07-05 15:15:54 -04:00
github-actions[bot]
086c2f3224 Bump version 2022-07-05 00:16:20 +00:00
Miodrag Milanovic
4db820e9d4 Fix static initialization, fixes mingw build 2022-07-04 19:31:38 +02:00
Miodrag Milanovic
0ca0932b52 Update abc and build as C++ 2022-07-04 16:52:28 +02:00
Miodrag Milanovic
da0682b99a Next dev cycle 2022-07-04 14:08:53 +02:00
Miodrag Milanovic
a45c131b37 Release version 0.19 2022-07-04 14:07:01 +02:00
Miodrag Milanović
0b44bff182
Merge pull request #3398 from jix/mention_smtlib2_module 
Mention smtlib2_module in README.md and CHANGELOG
 2022-07-04 14:05:00 +02:00
Jannis Harder
5343911263 Mention smtlib2_module in README.md and CHANGELOG 2022-07-04 13:54:49 +02:00
Miodrag Milanovic
59b96bb1f8 Upadte documentation and changelog 2022-07-04 11:09:06 +02:00
Pepijn de Vos
de07eb11c1
Apicula now supports lutram 2022-07-03 12:45:03 +02:00
github-actions[bot]
c39bade1a7 Bump version 2022-07-02 00:18:03 +00:00
Jannis Harder
4a1e54bf70
Merge pull request #3395 from jix/opt_dff_keepdc_initival 
opt_dff: With -keepdc, never turn undef init vals into const drivers
 2022-07-01 16:52:32 +02:00
Jannis Harder
876ef59f4f
Merge pull request #3396 from jix/async2sync_const_clocks 
async2sync: turn FFs with const clks into gclk FFs with feedback
 2022-07-01 16:47:31 +02:00
Miodrag Milanovic
fda3a537e1 Update abc 2022-07-01 16:23:24 +02:00
Jannis Harder
0182b26aba
Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes 
add hierarchy -smtcheck
 2022-07-01 14:38:45 +02:00
github-actions[bot]
42721b6a12 Bump version 2022-07-01 00:19:06 +00:00
Jannis Harder
5db542742b async2sync: turn FFs with const clks into gclk FFs with feedback 
The formal backends do not support multiple clocks. This includes
constant clocks. Constant clocks do appear in what isn't a proper
multiclock design, for example when mapping not fully initialized ROMs.
As converting FFs with constant clocks to FFs using the global is doable
even in a single clock flow, make async2sync do this.
 2022-06-30 12:09:04 +02:00
Miodrag Milanovic
b80976b543 Update to new verific extensions inteface 2022-06-30 11:19:01 +02:00
github-actions[bot]
9d63a90e0e Bump version 2022-06-30 00:17:25 +00:00
Jannis Harder
0d2377c8a6
Merge pull request #3394 from jix/memory_map_rom_keepdc 
memory_map: -keepdc option for formal
 2022-06-29 20:02:12 +02:00
Jannis Harder
930bcf0e75 smt2, btor: Revert calling memory_map -rom-only 
This approach had major issues with ROMs whose initialization was not
fully defined. If required, memory_map -rom-only -keepdc should be
called early in a formal flow instead. (This does require a careful
choice of optimization passes though. Sby's scripts will be updated
accordingly.)
 2022-06-29 18:28:34 +02:00
Jannis Harder
a47254bd10 opt_dff: With -keepdc, never turn undef init vals into const drivers 2022-06-29 15:42:39 +02:00
Jannis Harder
a6b440b5c9 memory_map: avoid undriven unused FF inputs for -keepdc 2022-06-28 19:05:35 +02:00
github-actions[bot]
869e6a1b6d Bump version 2022-06-28 00:19:25 +00:00
Jannis Harder
d78d807a7f memory_map: -keepdc option for formal 
Use it when invoking memory_map -rom-only from write_{smt2,btor}.
 2022-06-27 15:47:55 +02:00
gatecat
48efc9b75c gatemate: Add test for LUT tree mapping 
Signed-off-by: gatecat <gatecat@ds0.me>
 2022-06-27 10:09:48 +01:00
gatecat
38a24ec5cc gatemate: Add LUT tree library script 
Co-authored-by: Claire Xenia Wolf <claire@clairexen.net>
Signed-off-by: gatecat <gatecat@ds0.me>
 2022-06-27 10:09:48 +01:00
gatecat
7c756c9959 gatemate: Add preliminary sim models for LUT tree structures 
Signed-off-by: gatecat <gatecat@ds0.me>
 2022-06-27 10:09:48 +01:00
George Rennie
fbf5d89587 equiv_make: Add -make_assert option 
This adds a -make_assert flag to equiv_make. When used, the pass generates
$eqx and $assert cells to encode equivalence instead of $equiv.
 2022-06-24 00:17:02 +01:00
rockybulwinkle
ec2f8796bd
Update tcl doc, yosys does not return data to tcl 
This pull request is to address YosysHQ/yosys#2980.

The documentation, as originally written, does not make it clear that yosys commands, when used within a tcl script, do not return any value to the tcl script.

This pull request notes this and offers a workaround via tee as noted in the issue.
 2022-06-23 13:34:08 -05:00
Jacob Lifshay
c16c028831 add hierarchy -smtcheck 
like -simcheck, but allow smtlib2_module modules.
 2022-06-22 20:53:10 -07:00
github-actions[bot]
b2408df313 Bump version 2022-06-22 00:19:30 +00:00
Archie
f69c2c802c Adding expected error message. 2022-06-22 00:34:49 +01:00
Archie
c8cd4f468a Adding testcase for issue 3374 2022-06-22 00:34:49 +01:00