Catherine
c11744b4ef
Fix WASI compilation flags for abc.
2023-11-14 03:33:35 +00:00
Catherine
726c501e7e
Update WASI compilation flags to include required libraries
2023-11-14 02:05:39 +00:00
github-actions[bot]
46408b5da3
Bump version
2023-11-14 00:15:32 +00:00
github-actions[bot]
5691cd0958
Bump version
2023-11-08 00:15:30 +00:00
Miodrag Milanovic
8808da243b
Next dev cycle
2023-11-07 08:47:34 +01:00
Miodrag Milanovic
cc31c6ebc4
Release version 0.35
2023-11-07 08:45:31 +01:00
github-actions[bot]
6f1ca68712
Bump version
2023-11-04 00:14:46 +00:00
Krystine Sherwin
a283595798
docs: call make resources before make all
...
Should fix the issue where `make all` in the images directory can't wildcard files that don't exist yet.
2023-11-01 13:29:40 +13:00
Krystine Sherwin
8fad77bd0f
Merge branch 'master' into krys/docs
...
Fix failing verific tests
2023-11-01 13:17:51 +13:00
Krystine Sherwin
8e07030fee
docs: update auxiliary programs
...
Now includes usage output, (hopefully) generated by the tool during the docs build process so it will always be up to date.
Included in makefile as `docs/usage` target.
Also some updates/additions to the description text, esp `yosys-filterlib` and `yosys-smtbmc`.
2023-11-01 10:15:58 +13:00
github-actions[bot]
672375ed02
Bump version
2023-10-26 00:14:46 +00:00
github-actions[bot]
a5c04dd72e
Bump version
2023-10-17 00:15:28 +00:00
github-actions[bot]
7d30f716e8
Bump version
2023-10-14 00:14:36 +00:00
Miodrag Milanovic
69c252f247
Update abc
2023-10-13 14:32:11 +02:00
github-actions[bot]
59fbee4009
Bump version
2023-10-12 00:13:29 +00:00
Krystine Sherwin
5a7a7b319a
Fix make clean
2023-10-12 05:02:33 +13:00
Krystine Sherwin
ebcbb94a21
Fixing makefile
2023-10-12 04:50:27 +13:00
github-actions[bot]
11b9deba9f
Bump version
2023-10-09 00:15:38 +00:00
github-actions[bot]
51e9b0882b
Bump version
2023-10-07 00:14:44 +00:00
github-actions[bot]
fc815fdb47
Bump version
2023-10-06 00:14:52 +00:00
Miodrag Milanovic
824fdaadf6
mingw build fix
2023-10-05 09:55:53 +02:00
Miodrag Milanovic
b88f7fc6e8
Next dev cycle
2023-10-05 09:16:05 +02:00
Miodrag Milanovic
4a1b559925
Release version 0.34
2023-10-05 09:14:12 +02:00
github-actions[bot]
f00d6f3c12
Bump version
2023-10-04 00:15:12 +00:00
github-actions[bot]
11ffd7df40
Bump version
2023-10-03 00:15:18 +00:00
github-actions[bot]
b52f6cb199
Bump version
2023-09-30 00:14:39 +00:00
github-actions[bot]
ac8b31e000
Bump version
2023-09-28 00:15:01 +00:00
github-actions[bot]
076c5ceb71
Bump version
2023-09-27 00:15:07 +00:00
github-actions[bot]
934c82254d
Bump version
2023-09-22 00:14:51 +00:00
github-actions[bot]
35a05686c4
Bump version
2023-09-20 00:15:04 +00:00
github-actions[bot]
e2b613355d
Bump version
2023-09-19 00:23:00 +00:00
Tim Paine
9042124ba7
Alphabetize headers to be installed, include some missing required ones for plugins, fixes https://github.com/chipsalliance/synlig/pull/1972 https://github.com/dau-dev/tools/issues/6
2023-09-15 14:31:08 -04:00
github-actions[bot]
b84ed5d3ad
Bump version
2023-09-14 00:14:42 +00:00
Catherine
c7d7cfeaca
Update ABC for WASI support.
2023-09-13 16:43:30 +01:00
Catherine
e9a11dd088
Update ABC for WASI support.
2023-09-13 11:39:30 +00:00
github-actions[bot]
9e004426e0
Bump version
2023-09-13 00:14:55 +00:00
Miodrag Milanovic
bef7ffccc1
Update ABC to latest
2023-09-11 16:25:58 +02:00
github-actions[bot]
41b34a1935
Bump version
2023-09-07 00:14:30 +00:00
github-actions[bot]
83b1a57eed
Bump version
2023-09-06 00:14:34 +00:00
Miodrag Milanovic
11a2de815a
Next dev cycle
2023-09-05 08:11:03 +02:00
Miodrag Milanovic
2584903a06
Release version 0.33
2023-09-05 08:08:51 +02:00
github-actions[bot]
b75959f1f2
Bump version
2023-09-05 00:14:21 +00:00
github-actions[bot]
73cb4977b2
Bump version
2023-09-02 00:14:04 +00:00
github-actions[bot]
b739213d9f
Bump version
2023-08-30 00:14:38 +00:00
github-actions[bot]
572ad341b7
Bump version
2023-08-29 00:14:35 +00:00
github-actions[bot]
2f901a8297
Bump version
2023-08-28 00:15:18 +00:00
github-actions[bot]
de54cf1a0c
Bump version
2023-08-26 00:13:58 +00:00
github-actions[bot]
6405bbab1e
Bump version
2023-08-18 00:14:07 +00:00
github-actions[bot]
cbd3ff2d3a
Bump version
2023-08-15 00:14:23 +00:00
github-actions[bot]
008b725c1d
Bump version
2023-08-13 00:15:02 +00:00