Commit Graph

12126 Commits

Author SHA1 Message Date
Miodrag Milanović 6b4dbf6c36
Merge pull request #3439 from YosysHQ/micko/filepath_improve
File path encoding improvements
2022-08-08 21:11:34 +02:00
Miodrag Milanovic f4a1906721 support file locations containing spaces 2022-08-08 20:30:50 +02:00
Lofty a48dcd1d40 rename: add -scramble-name option to randomly rename selections 2022-08-08 16:03:28 +01:00
Miodrag Milanovic 6c65ca4e50 Encode filename unprintable chars 2022-08-08 16:13:33 +02:00
Miodrag Milanovic 2b1aeb44d9 verific - make filepath handling compatible with verilog frontend 2022-08-08 11:57:28 +02:00
github-actions[bot] 60a787fa50 Bump version 2022-08-04 00:18:16 +00:00
Miodrag Milanovic 733902c81e Next dev cycle 2022-08-03 13:57:14 +02:00
Miodrag Milanovic 4fcb95ed08 Release version 0.20 2022-08-03 13:53:41 +02:00
Miodrag Milanovic a07b06d5e7 Update Changelog 2022-08-03 13:52:01 +02:00
Miodrag Milanovic 3f7042d114 update manual to latest 2022-08-03 13:44:13 +02:00
Miodrag Milanović 3705d8414e
Merge pull request #3432 from YosysHQ/aki/jny_updates
jny: Added JNY schema and additional information to JNY output file
2022-08-03 13:33:10 +02:00
Miodrag Milanovic 6a1d98b816 Update manual and changelog 2022-08-03 10:30:58 +02:00
github-actions[bot] e989313317 Bump version 2022-08-03 00:20:46 +00:00
Jannis Harder b8316b2f13
Merge pull request #3433 from jix/fix_smt_shift
smt2: Fix $shift/$shiftx with negative shift ammounts
2022-08-02 21:12:32 +02:00
Jannis Harder 6af5e74f95 smt2: Fix $shift/$shiftx with negative shift ammounts
Fixes #3431, fixes #3344
2022-08-02 20:16:41 +02:00
Aki Van Ness e3074c044a
misc: Added JNY schema definition 2022-08-02 07:23:45 -04:00
Aki Van Ness 4f0ee383c9
backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as well as a "$schema" entry to point to the location the schema will be at 2022-08-02 06:58:41 -04:00
github-actions[bot] 7d4f87d69f Bump version 2022-08-02 00:19:48 +00:00
Miodrag Milanović 15393442d6
Merge pull request #3089 from YosysHQ/gatecat/liberty_wb
Add read_liberty -wb
2022-08-01 17:08:04 +02:00
Miodrag Milanović a207fd4b33
Merge pull request #3429 from YosysHQ/micko/verific_upto
Setting wire upto in verific import
2022-08-01 16:21:28 +02:00
Miodrag Milanovic 6f792e2223 Update documentation 2022-08-01 12:34:51 +02:00
Miodrag Milanovic 52a4a89265 Setting wire upto in verific import 2022-07-29 17:10:31 +02:00
github-actions[bot] 30a4218f53 Bump version 2022-07-29 00:17:18 +00:00
Miodrag Milanović d19f9d0b66
Update README 2022-07-28 12:32:19 +02:00
github-actions[bot] 23a39d707e Bump version 2022-07-28 00:18:37 +00:00
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