github-actions[bot]
869e6a1b6d
Bump version
2022-06-28 00:19:25 +00:00
github-actions[bot]
b2408df313
Bump version
2022-06-22 00:19:30 +00:00
github-actions[bot]
0b486c56e8
Bump version
2022-06-21 00:16:10 +00:00
github-actions[bot]
90147f5fbf
Bump version
2022-06-18 00:17:32 +00:00
github-actions[bot]
bb634d39ef
Bump version
2022-06-17 00:17:38 +00:00
github-actions[bot]
3046a06490
Bump version
2022-06-14 00:18:42 +00:00
github-actions[bot]
b15a46c2c0
Bump version
2022-06-11 00:17:13 +00:00
Miodrag Milanovic
4b423dcfb4
Next dev cycle
2022-06-10 15:05:09 +02:00
Miodrag Milanovic
19ce3b45d6
Release version 0.18
2022-06-10 15:01:40 +02:00
github-actions[bot]
47a99092af
Bump version
2022-06-10 00:17:46 +00:00
github-actions[bot]
d1b2beab12
Bump version
2022-06-09 00:16:16 +00:00
github-actions[bot]
4afb951283
Bump version
2022-06-08 00:15:24 +00:00
github-actions[bot]
aa0b47c74a
Bump version
2022-06-05 00:19:28 +00:00
github-actions[bot]
8d0f71b256
Bump version
2022-06-04 00:16:35 +00:00
github-actions[bot]
1eb1bc441b
Bump version
2022-06-03 00:14:33 +00:00
github-actions[bot]
a79a228c2b
Bump version
2022-05-31 00:16:32 +00:00
Daniel Huisman
6809ee8de0
Fix typo in emcc flags (typo introduced by #3053 )
2022-05-30 17:01:02 +02:00
github-actions[bot]
ce24208a8b
Bump version
2022-05-28 00:16:59 +00:00
Miodrag Milanović
b0c71ed594
Merge pull request #3053 from DanielHuisman/pr-2
...
Fix emcc warnings for WebAssembly build
2022-05-27 10:13:44 +02:00
github-actions[bot]
f698a0514d
Bump version
2022-05-26 00:17:28 +00:00
Daniel Gröber
222e7a2da3
Make GIT_REV logic work in release tarballs
...
Currently GIT_REV doesn't get set properly when building a release
tarball. To fix this we arrange for .gitcommit to contain the (short)
commit hash in tarballs generated with git-archive(1) using export-subst in
gitattributes. This way the correct commit hash is (reproducibly) included
in the release tarballs while not burdening the maintainers with updating
it in the git repo.
Please note this even works on Github and similar forges as they use
git-archive for generating tarballs so this works out quite nicely.
2022-05-25 11:20:09 +02:00
github-actions[bot]
c525b5f919
Bump version
2022-05-24 00:18:18 +00:00
Jannis Harder
87149b3f8e
Change way to get commit sha
2022-05-23 17:07:17 +02:00
github-actions[bot]
0b1a1a576b
Bump version
2022-05-21 00:16:34 +00:00
github-actions[bot]
015ca4ddac
Bump version
2022-05-19 00:17:59 +00:00
Marcelina Kościelnicka
982a11c709
Add memory_libmap tests.
2022-05-18 17:32:56 +02:00
github-actions[bot]
06ef3f264a
Bump version
2022-05-18 00:16:27 +00:00
github-actions[bot]
3f8fb28cd2
Bump version
2022-05-14 00:19:50 +00:00
github-actions[bot]
f56a3bd48f
Bump version
2022-05-13 00:19:56 +00:00
github-actions[bot]
c862b1dbfb
Bump version
2022-05-10 00:16:26 +00:00
Miodrag Milanovic
d562bfd165
Next dev cycle
2022-05-09 10:12:32 +02:00
Miodrag Milanovic
6f9602b4cf
Release version 0.17
2022-05-09 10:11:04 +02:00
github-actions[bot]
9c69e9f8a6
Bump version
2022-05-08 00:16:45 +00:00
github-actions[bot]
048170d376
Bump version
2022-05-07 00:15:38 +00:00
Miodrag Milanovic
37b6614718
include latest abc changes
2022-05-06 15:52:24 +02:00
Miodrag Milanovic
7fcf976f9e
include latest abc changes
2022-05-06 15:42:39 +02:00
Miodrag Milanovic
52d8ddee0c
Include abc change to fix FreeBSD build
2022-05-06 08:08:06 +02:00
github-actions[bot]
a8cc0c3930
Bump version
2022-05-05 00:15:34 +00:00
github-actions[bot]
11e75bc27c
Bump version
2022-05-03 00:16:24 +00:00
github-actions[bot]
c785cb7fe3
Bump version
2022-04-30 00:18:55 +00:00
github-actions[bot]
b30d90a14a
Bump version
2022-04-26 00:18:47 +00:00
github-actions[bot]
29c0a59589
Bump version
2022-04-19 00:14:02 +00:00
Miodrag Milanović
c3a3f68b4d
Merge pull request #3280 from YosysHQ/micko/fix_readaiw
...
Fix reading aiw from other solvers
2022-04-18 09:49:21 +02:00
Miodrag Milanovic
2610b04033
Update abc
2022-04-18 09:27:00 +02:00
github-actions[bot]
36b5caf821
Bump version
2022-04-16 00:14:57 +00:00
github-actions[bot]
c1646a00ac
Bump version
2022-04-09 00:15:22 +00:00
Iris Johnson
ccc6060f52
Makefile: properly conditionalize features requiring compression.
2022-04-07 20:07:44 -05:00
github-actions[bot]
e0ba324236
Bump version
2022-04-08 00:15:41 +00:00
github-actions[bot]
4da3f2878b
Bump version
2022-04-06 00:14:30 +00:00
Miodrag Milanovic
957fdb328a
Next dev cycle
2022-04-05 11:50:49 +02:00
Miodrag Milanovic
b63e0a0cae
Release version 0.16
2022-04-05 11:49:37 +02:00
github-actions[bot]
580800eb0d
Bump version
2022-04-05 00:13:50 +00:00
github-actions[bot]
5ac5c57c73
Bump version
2022-04-02 00:13:41 +00:00
github-actions[bot]
2b115d858d
Bump version
2022-04-01 01:25:19 +00:00
github-actions[bot]
fc2af4e32d
Bump version
2022-03-31 01:15:49 +00:00
github-actions[bot]
c662fcbc5c
Bump version
2022-03-30 01:17:20 +00:00
github-actions[bot]
48d7a6c477
Bump version
2022-03-29 00:16:12 +00:00
github-actions[bot]
207417617d
Bump version
2022-03-26 00:13:30 +00:00
github-actions[bot]
afe258e6f8
Bump version
2022-03-25 00:13:36 +00:00
github-actions[bot]
6318db6152
Bump version
2022-03-23 00:14:55 +00:00
Miodrag Milanovic
15c7205908
Update abc with latest fix
2022-03-22 18:47:48 +01:00
github-actions[bot]
f45b290820
Bump version
2022-03-22 00:15:19 +00:00
github-actions[bot]
3bf1070245
Bump version
2022-03-19 00:12:57 +00:00
github-actions[bot]
e1d4863a19
Bump version
2022-03-17 00:13:12 +00:00
github-actions[bot]
66914b6eb3
Bump version
2022-03-15 01:09:43 +00:00
github-actions[bot]
a502570c25
Bump version
2022-03-12 01:02:32 +00:00
github-actions[bot]
eb8c61f033
Bump version
2022-03-10 01:11:52 +00:00
github-actions[bot]
7ba636cb32
Bump version
2022-03-05 01:06:31 +00:00
Miodrag Milanović
c3124023e4
Merge pull request #3207 from nakengelhardt/json_escape_quotes
...
fix handling of escaped chars in json backend and frontend (mostly)
2022-03-04 13:57:32 +01:00
Miodrag Milanovic
7be7f5e02e
Next dev cycle
2022-03-04 11:37:18 +01:00
Miodrag Milanovic
07a43689d8
Release version 0.15
2022-03-04 11:36:03 +01:00
Miodrag Milanovic
66ba5ed7a5
Update ABC
2022-03-04 11:32:15 +01:00
github-actions[bot]
e768f7552c
Bump version
2022-03-03 01:08:21 +00:00
github-actions[bot]
4a38d15f0d
Bump version
2022-03-01 01:12:24 +00:00
github-actions[bot]
08c771078f
Bump version
2022-02-25 01:04:22 +00:00
github-actions[bot]
286caa09bd
Bump version
2022-02-22 00:59:35 +00:00
N. Engelhardt
8fd1b06249
fix handling of escaped chars in json backend and frontend
2022-02-18 17:13:09 +01:00
Miodrag Milanovic
271ac28b41
Added test cases
2022-02-16 13:27:59 +01:00
github-actions[bot]
1586000048
Bump version
2022-02-16 01:01:23 +00:00
Miodrag Milanovic
3bae2705fc
Bump ABC version
2022-02-15 18:44:05 +01:00
github-actions[bot]
426f89fc6f
Bump version
2022-02-15 01:05:31 +00:00
github-actions[bot]
59738c09be
Bump version
2022-02-13 01:02:04 +00:00
github-actions[bot]
1772a1e98e
Bump version
2022-02-12 01:01:05 +00:00
github-actions[bot]
c8903e7053
Bump version
2022-02-10 00:58:51 +00:00
github-actions[bot]
23d062fea3
Bump version
2022-02-08 00:59:03 +00:00
Miodrag Milanovic
818060880d
Next dev cycle
2022-02-07 17:10:50 +01:00
Miodrag Milanovic
a4522d6282
Release version 0.14
2022-02-07 17:08:39 +01:00
Miodrag Milanović
d7f7227ce8
Merge pull request #3185 from YosysHQ/micko/co_sim
...
Add co-simulation in sim pass
2022-02-07 16:36:43 +01:00
github-actions[bot]
9c93668954
Bump version
2022-02-07 00:56:31 +00:00
github-actions[bot]
675a7bd22c
Bump version
2022-02-03 00:54:22 +00:00
Miodrag Milanovic
4a30c9cb94
Fix Visual Studio build
2022-02-02 11:46:06 +01:00
github-actions[bot]
fc40df0916
Bump version
2022-01-31 00:54:31 +00:00
github-actions[bot]
772d137bfa
Bump version
2022-01-29 02:48:50 +00:00
github-actions[bot]
9a2294f285
Bump version
2022-01-28 02:39:40 +00:00
github-actions[bot]
84f0df1c95
Bump version
2022-01-27 00:56:19 +00:00
Miodrag Milanovic
8a02616465
Add fstdata helper class
2022-01-26 10:23:38 +01:00
Miodrag Milanovic
9e9083bbe9
Add FST library
2022-01-25 09:53:41 +01:00
github-actions[bot]
bc027b2cae
Bump version
2022-01-20 01:06:01 +00:00
github-actions[bot]
59382945a9
Bump version
2022-01-18 01:00:53 +00:00
github-actions[bot]
61324cf55f
Bump version
2022-01-12 00:59:23 +00:00
Miodrag Milanovic
c428a894c0
Next dev cycle
2022-01-11 08:39:34 +01:00
Miodrag Milanovic
8b1eafc3ad
Release version 0.13
2022-01-11 08:35:50 +01:00
github-actions[bot]
0feba821a8
Bump version
2022-01-09 01:01:33 +00:00
github-actions[bot]
59a7150344
Bump version
2022-01-05 01:00:24 +00:00
github-actions[bot]
361916ad3e
Bump version
2022-01-04 00:58:28 +00:00
github-actions[bot]
cfe940a98b
Bump version
2021-12-26 01:00:33 +00:00
github-actions[bot]
7407a7f3ef
Bump version
2021-12-22 00:58:25 +00:00
github-actions[bot]
229980d663
Bump version
2021-12-21 00:59:45 +00:00
github-actions[bot]
f599c148c5
Bump version
2021-12-19 01:00:40 +00:00
github-actions[bot]
60c3ea367c
Bump version
2021-12-17 00:58:02 +00:00
github-actions[bot]
477eeefd9b
Bump version
2021-12-15 00:59:04 +00:00
github-actions[bot]
b07ca8756a
Bump version
2021-12-14 00:59:10 +00:00
github-actions[bot]
19a38222e7
Bump version
2021-12-13 00:55:45 +00:00
github-actions[bot]
6a7253b46e
Bump version
2021-12-12 01:12:53 +00:00
github-actions[bot]
8e91857fab
Bump version
2021-12-11 00:54:59 +00:00
github-actions[bot]
cdb5711875
Bump version
2021-12-09 00:55:26 +00:00
github-actions[bot]
d186ea7a2d
Bump version
2021-12-04 00:54:12 +00:00
Miodrag Milanovic
c23cd00f30
Next dev cycle
2021-12-03 12:51:34 +01:00
Miodrag Milanovic
2156e20db5
Release version 0.12
2021-12-03 12:48:49 +01:00
github-actions[bot]
2be110cb0b
Bump version
2021-12-02 00:54:50 +00:00
github-actions[bot]
707d98b06c
Bump version
2021-11-26 00:52:41 +00:00
github-actions[bot]
113c943841
Bump version
2021-11-18 00:54:02 +00:00
github-actions[bot]
07dde32bf1
Bump version
2021-11-17 00:53:07 +00:00
github-actions[bot]
06bddb5e49
Bump version
2021-11-14 00:54:56 +00:00
Patrick Urban
0a72952d5f
synth_gatemate: Apply review remarks
...
* remove unused techmap models in `map_regs.v`
* replace RAM initilization loops with 320-bit-writes
* add script to test targets in top-level Makefile
* remove `MAXWIDTH` parameter and treat both vector widths individually in `mult_map.v`
* iterate over all modules in `gatemate_bramopt` pass
2021-11-13 21:53:25 +01:00
github-actions[bot]
b3e2001e1f
Bump version
2021-11-13 00:52:01 +00:00
Miodrag Milanovic
48a628522b
update abc
2021-11-12 12:40:24 +01:00
Miodrag Milanovic
b4f68e3cca
Update abc
2021-11-12 09:00:32 +01:00
github-actions[bot]
1df8ac58fe
Bump version
2021-11-11 00:54:18 +00:00
github-actions[bot]
224c6f8664
Bump version
2021-11-10 00:54:39 +00:00
github-actions[bot]
4871d8f199
Bump version
2021-11-09 00:53:27 +00:00
github-actions[bot]
d39d4e11d2
Bump version
2021-11-08 00:53:20 +00:00
github-actions[bot]
781cf13abd
Bump version
2021-11-07 00:54:38 +00:00
github-actions[bot]
8f08908d8d
Bump version
2021-11-06 00:51:08 +00:00
Miodrag Milanovic
a28ee81be0
Next dev cycle
2021-11-05 12:52:24 +01:00
Miodrag Milanovic
360fed8e4d
Release version 0.11
2021-11-05 12:47:38 +01:00
Miodrag Milanović
5a5244a12e
Merge pull request #3067 from YosysHQ/aki/ci_update
...
Update the Linux and macOS CI jobs
2021-11-05 09:58:35 +01:00
github-actions[bot]
11e58d5415
Bump version
2021-11-03 00:52:24 +00:00
github-actions[bot]
9cb5092ad1
Bump version
2021-11-02 00:56:31 +00:00
github-actions[bot]
97fce665c7
Bump version
2021-11-01 01:05:04 +00:00
Aki Van Ness
ad81cff823
Changed the Makefile to have an explicit `CXXSTD` parameter which allows for the setting of other C++ standards, the default is `c++11`
2021-10-31 20:07:30 -04:00
github-actions[bot]
dcb7096b5a
Bump version
2021-10-30 00:51:07 +00:00
github-actions[bot]
5f00bf2d7d
Bump version
2021-10-28 00:52:35 +00:00
Miodrag Milanovic
32673edfea
Revert "Compile option for enabling async load verific support"
...
This reverts commit b8624ad2ae
.
2021-10-27 15:55:43 +02:00
github-actions[bot]
bdf153d06c
Bump version
2021-10-27 00:51:44 +00:00
github-actions[bot]
ee230f2bb9
Bump version
2021-10-26 00:51:59 +00:00
Miodrag Milanovic
b8624ad2ae
Compile option for enabling async load verific support
2021-10-25 09:04:43 +02:00
github-actions[bot]
52ba31b1c0
Bump version
2021-10-22 01:00:39 +00:00
github-actions[bot]
a0e9d9fef9
Bump version
2021-10-21 00:59:29 +00:00
Daniel Huisman
25c4ed3beb
Fix emcc warnings for WebAssembly build
2021-10-20 14:43:30 +02:00
Miodrag Milanovic
bf79ff5927
If verific have vhdl lib it is required by other libs
2021-10-20 13:08:08 +02:00
Miodrag Milanovic
150ce305f9
Forgot to remove from main list
2021-10-20 12:37:22 +02:00
Miodrag Milanovic
17269ae59b
Option to disable verific VHDL support
2021-10-20 10:02:58 +02:00
github-actions[bot]
69b2b13ddd
Bump version
2021-10-20 00:56:49 +00:00
github-actions[bot]
a15b01a777
Bump version
2021-10-18 00:56:23 +00:00
github-actions[bot]
0dd42d406d
Bump version
2021-10-16 00:58:22 +00:00
github-actions[bot]
a0f5ba8501
Bump version
2021-10-12 00:57:44 +00:00
github-actions[bot]
d8f6d7b18d
Bump version
2021-10-09 00:51:28 +00:00
github-actions[bot]
772b9a108a
Bump version
2021-10-08 00:57:28 +00:00
Marcelina Kościelnicka
4e70c30775
FfData: some refactoring.
...
- FfData now keeps track of the module and underlying cell, if any (so
calling emit on FfData created from a cell will replace the existing cell)
- FfData implementation is split off to its own .cc file for faster
compilation
- the "flip FF data sense by inserting inverters in front and after"
functionality that zinit uses is moved onto FfData class and beefed up
to have dffsr support, to support more use cases
2021-10-07 04:24:06 +02:00
github-actions[bot]
356ec7bb39
Bump version
2021-10-05 00:53:24 +00:00
github-actions[bot]
f3ef579ac4
Bump version
2021-10-03 00:58:23 +00:00
github-actions[bot]
7a7df9a3b4
Bump version
2021-09-28 00:53:49 +00:00
Miodrag Milanovic
070cad5f4b
Prepare for next release cycle
2021-09-27 16:24:43 +02:00
github-actions[bot]
1cac671c70
Bump version
2021-09-25 00:51:53 +00:00
github-actions[bot]
9432400ec8
Bump version
2021-09-22 00:54:54 +00:00
github-actions[bot]
3931b3a03f
Bump version
2021-09-19 00:52:56 +00:00
github-actions[bot]
c88eaea6e0
Bump version
2021-09-14 00:56:06 +00:00
github-actions[bot]
f44110c625
Bump version
2021-09-11 00:50:11 +00:00
github-actions[bot]
1d61a911b7
Bump version
2021-09-10 00:55:14 +00:00
github-actions[bot]
50be8fd0c2
Bump version
2021-09-03 00:50:30 +00:00
github-actions[bot]
fe9da25c40
Bump version
2021-09-01 00:55:51 +00:00
github-actions[bot]
b20bb653ce
Bump version
2021-08-31 00:51:55 +00:00
github-actions[bot]
1dbf91a8ef
Bump version
2021-08-30 00:49:03 +00:00
github-actions[bot]
591fe72203
Bump version
2021-08-23 00:46:01 +00:00
github-actions[bot]
21e710eb55
Bump version
2021-08-21 00:48:23 +00:00
Miodrag Milanovic
b59c427348
Make Verific extensions optional
2021-08-20 10:19:04 +02:00
github-actions[bot]
75a4cdfc8a
Bump version
2021-08-18 00:51:20 +00:00
github-actions[bot]
e6dd4db0af
Bump version
2021-08-17 00:49:33 +00:00
github-actions[bot]
83c0f82dc8
Bump version
2021-08-15 00:50:04 +00:00
github-actions[bot]
539d4ee907
Bump version
2021-08-14 00:46:42 +00:00
Rupert Swarbrick
ee2b5b7ed1
Generate an RTLIL representation of bind constructs
...
This code now takes the AST nodes of type AST_BIND and generates a
representation in the RTLIL for them.
This is a little tricky, because a binding of the form:
bind baz foo_t foo_i (.arg (1 + bar));
means "make an instance of foo_t called foo_i, instantiate it inside
baz and connect the port arg to the result of the expression 1+bar".
Of course, 1+bar needs a cell for the addition. Where should that cell
live?
With this patch, the Binding structure that represents the construct
is itself an AST::AstModule module. This lets us put the adder cell
inside it. We'll pull the contents out and plonk them into 'baz' when
we actually do the binding operation as part of the hierarchy pass.
Of course, we don't want RTLIL::Binding to contain an
AST::AstModule (since kernel code shouldn't depend on a frontend), so
we define RTLIL::Binding as an abstract base class and put the
AST-specific code into an AST::Binding subclass. This is analogous to
the AST::AstModule class.
2021-08-13 17:11:35 -06:00
github-actions[bot]
c8023e37d8
Bump version
2021-08-13 00:50:48 +00:00
github-actions[bot]
bfcd08a323
Bump version
2021-08-12 00:49:51 +00:00
github-actions[bot]
b96eb888cc
Bump version
2021-08-11 00:52:20 +00:00
github-actions[bot]
f368e2c7e6
Bump version
2021-08-10 00:52:49 +00:00
Marcelina Kościelnicka
d25b9088c8
Refactor common parts of SAT-using optimizations into a helper.
...
This also aligns the functionality:
- in all cases, the onehot attribute is used to create appropriate
constraints (previously, opt_dff didn't do it at all, and share
created one-hot constraints based on $pmux presence alone, which
is unsound)
- in all cases, shift and mul/div/pow cells are now skipped when
importing the SAT problem (previously only memory_share did this)
— this avoids creating clauses for hard cells that are unlikely
to help with proving the UNSATness needed for optimization
2021-08-09 16:54:35 +02:00
github-actions[bot]
d8fcf1ab25
Bump version
2021-08-08 00:50:48 +00:00
github-actions[bot]
a24906a7d2
Bump version
2021-08-07 00:45:55 +00:00
github-actions[bot]
2e421feb0e
Bump version
2021-08-05 00:51:08 +00:00
github-actions[bot]
d8b0c3277f
Bump version
2021-08-04 00:49:53 +00:00
github-actions[bot]
ca8ad62696
Bump version
2021-08-03 00:55:22 +00:00
github-actions[bot]
10bcc4e192
Bump version
2021-08-02 00:50:24 +00:00
github-actions[bot]
12db9b4273
Bump version
2021-07-31 00:50:30 +00:00
github-actions[bot]
87ef1dd805
Bump version
2021-07-30 00:52:33 +00:00
github-actions[bot]
a055145b95
Bump version
2021-07-29 00:49:14 +00:00
github-actions[bot]
37d76deef1
Bump version
2021-07-28 00:52:46 +00:00
github-actions[bot]
9600f20be8
Bump version
2021-07-27 00:52:14 +00:00
Miodrag Milanovic
7a5ac90985
Update to latest Verific with extensions for initial assertions
2021-07-09 09:02:27 +02:00
Xiretza
75e5500d4d
Makefile: allow running multiple sanitizers at once
2021-07-05 16:42:10 +02:00