Matt Liberty
17cadca080
apply buildifier
...
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2026-03-01 04:45:30 +00:00
Matt Liberty
a68b23c77d
Merge pull request #9 from fredowski/bazel-macos
...
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
bazel/macos: migrate zlib and readline from rules_hdl to bazel repo
2026-02-24 21:16:15 +00:00
Friedrich Beckmann
2eb6ae9bf6
bazel/macos: migrate zlib and readline from rules_hdl to bazel repo
...
For MacOS compatibility i used the zlib and readline libraries
from the bazel repository.
Signed-off-by: Friedrich Beckmann <friedrich.beckmann@tha.de >
2026-02-16 23:38:39 +01:00
Matt Liberty
4c756ffb8d
Silence warnings under cmake
...
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2026-01-04 16:28:10 +00:00
Matt Liberty
8adf317747
add [[maybe_unused]] for no asserts
...
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2025-12-01 08:23:07 +00:00
Matt Liberty
d173cb3c21
Update the bazel BUILD (and clean new warnings)
...
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2025-12-01 04:57:19 +00:00
Matt Liberty
d9c954c21d
clean up all compiler warnings in the bzl build
...
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2025-12-01 01:03:00 +00:00
Matt Liberty
2baa405e82
Merge branch 'berkeley-abc:master' into master
2025-11-30 14:54:30 -08:00
Alan Mishchenko
c4b2b5c180
Adding extension "y" for obj ID mapping.
2025-11-29 17:30:23 -08:00
Alan Mishchenko
9b0786fe89
Experiments with multipliers.
2025-11-27 19:46:16 -08:00
alanminko
53edce3382
Merge pull request #447 from mmicko/mingw_wasi
...
Fix compilation for mingw and wasi (up streaming YosysHQ changes)
2025-11-27 08:28:01 -08:00
Alan Mishchenko
b9074a754b
Adding verbose mode to &permute.
2025-11-26 17:58:28 -08:00
Alan Mishchenko
7691e2ed3c
Fixing a bug in &mfs when black boxes are present.
2025-11-26 17:57:16 -08:00
Alan Mishchenko
ee899284b8
Updating printing APIs.
2025-11-24 19:37:26 -08:00
Alan Mishchenko
7f64516f23
Fix to maintain correct order of boxes after "&mfs".
2025-11-24 08:01:26 -08:00
Alan Mishchenko
ba852596b4
Adduing supporrt for dumping binary file with matches.
2025-11-23 15:05:46 -08:00
Alan Mishchenko
845de6f368
Adding binary cut dump.
2025-11-23 13:18:01 -08:00
Alan Mishchenko
6d2bedd609
Adding command "cuts".
2025-11-23 11:58:34 -08:00
Alan Mishchenko
c956f02eb0
Debug features.
2025-11-23 11:57:59 -08:00
Alan Mishchenko
148f0e9cac
Temporarily undoing recent changes to arrival/required times.
2025-11-23 10:55:51 -08:00
Alan Mishchenko
fade76f70b
Updating how history is recorded.
2025-11-21 20:07:49 -08:00
Alan Mishchenko
48d09e7f93
Fixing a corner case crash.
2025-11-21 19:49:48 -08:00
Alan Mishchenko
bde60f2a20
Update to "lutexact".
2025-11-21 00:49:36 -08:00
Alan Mishchenko
4bba0356fb
Dumping partial products as an AIG.
2025-11-20 22:57:16 -08:00
Alan Mishchenko
d72b93c168
Updating how history is recorded.
2025-11-20 22:56:32 -08:00
Alan Mishchenko
6aaca6a1af
Fixing timeout in kissat.
2025-11-20 22:54:05 -08:00
Alan Mishchenko
51c5ff3b81
Updated to "lutexact".
2025-11-20 13:35:47 -08:00
Alan Mishchenko
6490bd7da3
Improving print-outs.
2025-11-18 20:16:44 -08:00
Alan Mishchenko
bb52782941
New command "print_npn".
2025-11-18 19:41:10 -08:00
Alan Mishchenko
8c27e4bc90
Adding permutation printout in "lutexact".
2025-11-18 18:10:31 -08:00
Alan Mishchenko
281204f938
Renaming "read_dsd" into "read_function".
2025-11-18 12:12:09 -08:00
Alan Mishchenko
d8219265fc
Updating LUT cascade generation to support flexible inputs.
2025-11-18 12:07:20 -08:00
Alan Mishchenko
309282601e
Experiments with LUT mapping.
2025-11-17 21:37:51 -08:00
Alan Mishchenko
b319f57dde
Addressing platform-dependent computations in the CUDD package.
2025-11-17 16:39:13 -08:00
Matt Liberty
30d93e4e55
fix constant-glob in BUILD
...
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2025-11-15 16:26:36 +00:00
Matt Liberty
93b2e6697b
buildifier BUILD & WORKSPACE
...
Signed-off-by: Matt Liberty <mliberty@precisioninno.com >
2025-11-15 16:22:47 +00:00
Alan Mishchenko
6f5c46632d
Fixing another non-reproducibility issue.
2025-11-13 08:12:11 -08:00
Alan Mishchenko
6534475fa1
Fixing a non-reproducibility issue in "lutmin".
2025-11-13 07:50:10 -08:00
Alan Mishchenko
b1c73c160c
Fixing a valgrind warning.
2025-11-13 07:32:08 -08:00
Alan Mishchenko
5ade9e9dfb
Adding command line option of &symfun.
2025-11-12 15:19:38 -08:00
Alan Mishchenko
28f4ad8281
New command &symfun.
2025-11-12 10:04:10 -08:00
Alan Mishchenko
9e90e6086d
Updating .gitignore
2025-11-11 22:48:06 -08:00
Alan Mishchenko
ec70146d5d
Experiments with exact synthesis.
2025-11-11 22:47:23 -08:00
Alan Mishchenko
3bd528c0bf
Experiments with exact synthesis.
2025-11-11 22:41:26 -08:00
Alan Mishchenko
38c2bec1ff
Adding support for Kissat in "lutexact".
2025-11-11 14:17:48 -08:00
Alan Mishchenko
3d281a1907
Adding support for Cadical in "lutexact".
2025-11-11 13:24:02 -08:00
Alan Mishchenko
91d2f3d7e8
Changes to "lutexact".
2025-11-11 06:55:24 -08:00
Alan Mishchenko
169e288fc4
Reading the printout.
2025-11-10 22:00:07 -08:00
Alan Mishchenko
1b7912a247
Update to the equation solver.
2025-11-10 21:03:21 -08:00
Alan Mishchenko
677299a52f
Updating print-outs.
2025-11-10 09:40:38 -08:00
