68c99247bd
Fix archive reproducibility
...
The git archive export-subst option does not have consistent results
over time, since the abbreviated commit hash can get longer over time.
Instead, let's export the full commit hash.
This was found in an audit of source archive reproducibility in nixpkgs:
```
~ » expected=$(nix-store -r /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source)
actual=$(nix-prefetch-url --print-path --unpack --name source 896e5e7dedhttps://cache.nixos.org '...
warning: you did not specify '--add-root'; the result might be removed by the garbage collector
--- /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source
+++ /nix/store/v7ms5ghibzi8pk71nzlhvsbn7a0rdpy7-source
│ --- /nix/store/4j9rj4m6akjskp0f7k923qff817k6hv5-source/.gitcommit
├── +++ /nix/store/v7ms5ghibzi8pk71nzlhvsbn7a0rdpy7-source/.gitcommit
│ @@ -1 +1 @@
│ -896e5e7de
│ +896e5e7ded
│ ├── stat {}
│ │ @@ -1,7 +1,7 @@
│ │
│ │ - Size: 10 Blocks: 1 IO Block: 512 regular file
│ │ + Size: 11 Blocks: 1 IO Block: 512 regular file
│ │ Device: 0,24 Access: (0444/-r--r--r--) Uid: ( 0/ root) Gid: ( 0/ root)
│ │
│ │ Modify: 1970-01-01 00:00:01.000000000 +0000
```
(cherry picked from commit 04f50406fd
2024-08-07 15:40:04 +02:00
57c3bd36f2
Patch to support WASI builds
...
Co-authored-by: whitequark <whitequark@whitequark.org>
2024-08-07 14:49:13 +02:00
15ec302095
Define S_IREAD|IWRITE macros using IRUSR|IWUSR
...
On platforms such as Android, legacy macros are no longer defined.
Hence, we define them in terms of the new POSIX macros if the new ones are defined. Otherwise, we throw an error.
Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
(cherry picked from commit e792072f8a
2024-08-07 14:40:26 +02:00
23435fc8bf
Export version
...
(cherry picked from commit 4e89fc7ccb
2024-08-07 14:34:42 +02:00
10b9da7acb
Makefile: break apart steps in `make clean`
...
The `make clean` target consists of a single `rm` call that passes every
generated file, object file, and dependency directory. This results in
a command line that's around 53,800 characters long.
On Linux, the maximum length of a command line is 131,072 or 262,144
characters, however on Windows the limit is 32,768.
The 53,800 character command simply fails to run on Windows, which is a
problem when the first command that gets run is `make clean`.
Break this target into steps, first removing the output files, then the
object files, then any generated garbage, and then the object depedency
directories.
This fixes `make clean` (and as a result yosys) on Windows.
Signed-off-by: Sean Cross <sean@xobs.io>
(cherry picked from commit 11c4f998b2
2024-08-07 14:34:16 +02:00
a692c0da48
Support out of tree builds
...
(cherry picked from commit 2c52e3f969
2024-08-07 14:32:25 +02:00
f5f317d7d2
Skip -ldl on NetBSD; it does not exist. Skip -lrt on NetBSD; it is
...
not required. Same treatment as FreeBSD.
(cherry picked from commit ecce27ce1d
2024-08-07 14:31:59 +02:00
fe0bb59baa
do not include -lrt or -ldl on platform that do not support them
...
Some platforms were already listed, this includes OpenBSD to the list
and makes it easier to add more.
(cherry picked from commit b6c0b36c8a
2024-08-07 14:31:48 +02:00
b23f998b81
Merge pull request #313 from rocallahan/no-exceptions
...
Instead of throwing C++ exceptions, just print an error message and a…
2024-08-06 11:58:26 -07:00
43adbc77e8
New command for LUT cascade decomposition.
2024-08-06 11:50:54 -07:00
e0a9c29e5a
Instead of throwing C++ exceptions, just print an error message and abort
...
Many C++ projects forbid the use of exceptions. These are not recoverable
errors anyway, so just abort.
2024-08-06 17:51:15 +00:00
1963422c10
Experiments with detecting multipliers.
2024-08-05 20:18:30 -07:00
037971d9c9
Migrating &stochsyn to generic concurrency interface.
2024-08-03 18:12:03 -07:00
43426f0a94
Updates to history printing.
2024-08-03 15:35:19 -07:00
b25d9c482a
Changing interface of &genrel.
2024-08-02 18:30:09 -07:00
7d88bf21e9
New command to detect presence of a function in the AIG.
2024-08-02 14:34:57 -07:00
3286179c48
Merge pull request #307 from rocallahan/exor-defines
...
Using `#define` for short/common names like `BPI` and `DIFFERENT` can…
2024-08-01 19:24:51 -07:00
1ac5f6467b
Compiler warning.
2024-08-01 19:23:38 -07:00
8f0cbbdf38
Compiler warning.
2024-08-01 18:36:32 -07:00
1954e2fcaa
Updating DSD profiling procedures.
2024-08-01 18:36:20 -07:00
ab858c5435
Replace `#define`s with enum constants and inline functions in `exor.h`
...
This avoids issues with short/common identifiers like `BPI`
and `DIFFERENT` colliding with identifiers used in other projects.
2024-08-02 01:07:40 +00:00
53c25250a4
Remove support for `int` sizes other than 32 bits
...
No viable platform uses anything other than 32 bits for `int`.
2024-08-02 01:07:40 +00:00
9f864ebe76
Trying to fix the compilation issue.
2024-07-31 22:25:01 -07:00
c62bfec2fd
Trying to fix the compilation issue.
2024-07-31 21:56:08 -07:00
3491773f2a
Suggested changes to improve thread safety.
2024-07-31 19:05:37 -07:00
a06dde4cf0
Merge pull request #309 from coastalwhite/chore-popcount-intrinsics
...
chore: `__builtin_popcount` to replace BitCount8
2024-07-31 18:44:58 -07:00
279a909a05
Merge pull request #310 from QuantamHD/ethan_fixing_things_2
...
Adds option to unmap network using a non static version of the library
2024-07-31 18:31:26 -07:00
35d67f6c90
The same problem in another place.
2024-07-31 18:03:38 -07:00
4f68f08a7b
Compilation problem.
2024-07-31 17:44:19 -07:00
9062ed964c
Experiments with circuit generators.
2024-07-31 17:39:11 -07:00
572b80b230
Updating windows makefile by removing unused package.
2024-07-31 17:36:46 -07:00
70563cd441
Adds option to unamap network using a non static version of the library
...
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
2024-07-31 22:19:43 +00:00
2011cbced9
One more file to be committed.
2024-07-28 15:26:19 -07:00
96edf40d60
Allow for disabling variable ordering in "lutmin".
2024-07-28 15:25:22 -07:00
3e1979f3c6
Experimental features of &scorr.
2024-07-28 13:00:32 -07:00
93388c0d26
Experiments with DSD.
2024-07-27 14:48:02 -07:00
849adb2fcb
chore: add `__builtin_popcount` for MSVC
2024-07-26 21:48:53 +02:00
b5f4afa73b
Duplicating AIG after synthesis.
2024-07-26 09:10:39 -07:00
f8a6432d75
Implementation of functional abstraction.
2024-07-24 20:23:07 -07:00
fe3b5bf5fe
chore: `__builtin_popcount` to replace BitCount8
...
This replaces all occurrences of the `BitCount8` static array with the
`__builtin_popcount`. It is a rather simple and small PR.
Fixes #308 .
2024-07-24 21:46:03 +02:00
6262dcffa9
Merge pull request #303 from rocallahan/signed-lbool
...
Make `lbool` explicitly signed
2024-07-24 09:48:03 -07:00
d036ba520e
Updating usage messages of QBF commands.
2024-07-24 09:46:56 -07:00
5450779250
Improved SOP to BDD conversion.
2024-07-21 16:46:39 -07:00
d7a623c151
New API for swicthing activity estimation.
2024-07-17 15:15:49 -07:00
c7ac6be504
Updating parameters.
2024-07-12 07:28:20 -07:00
ae2e3f90f7
Adding command &genmux.
2024-07-11 22:23:06 -07:00
13998baf97
Allowing the genlib reader to skip gates larger than the given size.
2024-07-10 12:59:10 -07:00
6c6260465e
Make `lbool` explicitly signed
...
This avoids issues due to some platforms making `char` signed and others
unsigned. For example, currently the result of promoting `(lbool)-1` to `int`
can differ on different platforms. See
50ffa10848/lib/bill/bill/sat/interface/abc_bsat2.hpp (L156)
2024-06-28 01:07:10 +00:00
2d70debd07
Corner-case bug fix.
2024-06-18 23:01:03 +08:00
7beda11621
Merge pull request #302 from mikesinouye/scl
...
Change Scl_Pair_t_ membes to long to enable larger liberty file loading.
2024-06-17 10:12:12 +02:00
Jade Lovelace
Martin Povišer
Mohamed A. Bamakhrama
Miodrag Milanovic
Sean Cross
Roland Coeurjoly
Jason Thorpe
Josuah Demangeon
alanminko
Alan Mishchenko
Robert O'Callahan
Ethan Mahintorabi
coastalwhite