luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
5,943 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

5943 Commits

Author SHA1 Message Date
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
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
Alan Mishchenko 0a650c18cf New command "&genlutcas". 2025-11-09 16:06:50 -08:00
Alan Mishchenko 6cab944535 New command %gen. 2025-11-09 11:28:25 -08:00
alanminko 3109172462
Merge pull request #443 from MyskYko/fix4 
QBF using CaDiCaL
 2025-11-06 12:46:13 -08:00
Alan Mishchenko cb971e07a3 Recent experiments. 2025-11-06 12:26:54 -08:00
alanminko 474e7fbec2
Merge pull request #450 from sterin/master 
Reduce the amount of text printed when building `abc`.
 2025-11-03 17:11:05 -08:00
Baruch Sterin f8981d48f5 Reduce the amount of text printed when building `abc`. 
* introduce a user-defined function `abc_info` that only prints out text when ABC_MAKE_VERBOSE is set

* replace all calls to $(info ...) with calls to $(call abc_info, ...)

To show the output build with ABC_MAKE_VERBOSE. for example

```
make ABC_MAKE_VERBOSE=1 ...
```
 2025-11-04 02:52:02 +02:00
Alan Mishchenko 8f06ce9112 Enabling runtime limit in "lutexact". 2025-11-02 19:08:59 -08:00
Alan Mishchenko f897673f68 Fixing compilier issues. 2025-11-01 23:33:25 -07:00
Alan Mishchenko 800c274cc2 Linear equetion solver. 2025-11-01 22:55:14 -07:00
Alan Mishchenko 5273eab9f7 Fixing compilation problem. 2025-11-01 11:14:37 -07:00
Alan Mishchenko aac6190208 Extending support of CI/CO timing info. 2025-11-01 11:07:30 -07:00
Alan Mishchenko f808e2c68b Experiments with LUT mapping. 2025-11-01 10:47:00 -07:00
Alan Mishchenko 7c6b779327 Supporting programmable cell libraries. 2025-11-01 01:23:30 -07:00
Alan Mishchenko a9d62d845d Experiments with LUT mapping. 2025-11-01 01:21:37 -07:00
Alan Mishchenko 6034f6621b Changes to cut dumping. 2025-10-30 22:14:18 -07:00
Alan Mishchenko 56a7c049ae Extending max support size in "lutexact". 2025-10-30 16:35:15 -07:00
Alan Mishchenko 18f6464ec7 Experiments with LUT mapping. 2025-10-24 16:57:55 -07:00
Alan Mishchenko 3a1efd48f7 Enabling multiple LUT libraries. 2025-10-24 11:46:55 -07:00
Alan Mishchenko 4c6b082463 Reusing switch "-j" in "if" and "&if". 2025-10-24 10:59:56 -07:00
Alan Mishchenko 6fb4f739b0 Suppress a warning about uninitialized variable. 2025-10-24 10:58:38 -07:00
Alan Mishchenko f39b84a4a1 Fixing compilation problem. 2025-10-22 11:24:18 -07:00
Alan Mishchenko 93f3791fbe Command "&dg" contributed by Jiun-Hao Chen from NTU. 2025-10-22 11:15:07 -07:00
Alan Mishchenko 7fbcde9d22 Correcting performance degradation introduced by a bug fix in commit e824cca0c 2025-10-10 13:47:23 -07:00
Alan Mishchenko c8eac7595d Another bug fix. 2025-10-01 22:23:27 -07:00
Alan Mishchenko 9596162b4a Bug fix in the previous commit. 2025-09-30 22:18:30 -07:00