riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
11,697 Commits 81 Branches 48 Tags 64 MiB
Commit Graph

11697 Commits

Author SHA1 Message Date
Marcelina Kościelnicka a681904237 Assorted microoptimization speedups in core data structures. 2022-07-27 17:05:30 +02:00
Miodrag Milanovic 6ba48515b5 macos 10.15 deprecated by gh actions 2022-07-27 15:02:01 +02:00
Miodrag Milanović 29a5947bf8
Make all compile under OpenBSD (#3423) 
Co-authored-by: Josuah Demangeon <me@josuah.net>
 2022-07-27 14:16:46 +02:00
Miodrag Milanovic bc012995b4 Support using ABC source tarball distribution 2022-07-27 14:13:45 +02:00
Miodrag Milanović d4875ceae6
Merge pull request #3406 from josuah/master 
Better compatibility for OpenBSD
 2022-07-25 16:10:29 +02:00
github-actions[bot] 358e656e21 Bump version 2022-07-24 00:21:02 +00:00
Marcelina Kościelnicka f679b756d8 opt_reduce: Fix use-after-free. 
Fixes #3418.
 2022-07-23 17:27:26 +02:00
github-actions[bot] 7e02b6a70b Bump version 2022-07-23 00:18:40 +00:00
Jannis Harder 12b0ce9721
Merge pull request #3419 from jix/sim_nested_anyseq 
sim: Fix $anyseq in nested modules
 2022-07-22 15:41:41 +02:00
Jannis Harder 14ba50908b sim: Fix $anyseq in nested modules 2022-07-22 14:48:30 +02:00
Josuah Demangeon 58fddf61cc reduce the Makefile TCL compatibility code 2022-07-18 21:58:16 +02:00
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