Code

Update To Latest ABC#7

Code

Merged

maliberty merged 191 commits intoThe-OpenROAD-Project:masterThe-OpenROAD-Project/abc:masterfrom QuantamHD:update_abc2QuantamHD/abc:update_abc2Copy head branch name to clipboardDec 31, 2024

+11,437-871

Commits

Commits on Sep 16, 2023

• Refactor(Typo): Typo update in read_aiger comment

  wjrforcyber

  committed
  136bae2

  Copy full SHA for 136bae2

• Refactor(Typo): Typo update in bblif comment

  wjrforcyber

  committed
  6e1323c

  Copy full SHA for 6e1323c

Commits on Sep 17, 2023

• Refactor(Typo): Typo update in write_aiger message

  wjrforcyber

  committed
  7ec8f17

  Copy full SHA for 7ec8f17

• Merge branch 'master' into typo

  wjrforcyber

  committed
  e1db615

  Copy full SHA for e1db615

• Refactor(Typo): Typo in read_aiger

  wjrforcyber

  committed
  05c897a

  Copy full SHA for 05c897a

Commits on Sep 18, 2023

• Refactor(Typo): Typo in strash

  wjrforcyber

  committed
  eae19f7

  Copy full SHA for eae19f7

Commits on Sep 24, 2023

• Refactor(Typo): Link is NOT FOUND page(not available), change to the book name

  wjrforcyber

  committed
  3781c1d

  Copy full SHA for 3781c1d

Commits on Sep 26, 2023

• Refactor(Typo):Missing a parameter fUseLutLib and use fSaveBest twice

  wjrforcyber

  committed
  ecf6255

  Copy full SHA for ecf6255

Commits on Oct 7, 2023

• Merge remote-tracking branch 'upstream/master' into typo

  wjrforcyber

  committed
  fb6a472

  Copy full SHA for fb6a472

• Refactor(Typo): Typo in ACD

  wjrforcyber

  committed
  c2fdb86

  Copy full SHA for c2fdb86

Commits on Apr 16, 2024

• Adding decomposition of mapping into LUT structures before returning the result

  aletempiac

  committed
  864f96b

  Copy full SHA for 864f96b

Commits on Apr 21, 2024

• Update pdrCore.c

  Show description for ac9cfc7
  sirandreww

  authored
  ac9cfc7

  Copy full SHA for ac9cfc7

Commits on Apr 23, 2024

• Adding new XX decomposition to &if

  aletempiac

  committed
  043a2ff

  Copy full SHA for 043a2ff

Commits on May 2, 2024

• Cleaning code

  aletempiac

  committed
  39ed8b3

  Copy full SHA for 39ed8b3

• Adding deriving LUTs to if

  aletempiac

  committed
  714ab45

  Copy full SHA for 714ab45

• Merge remote-tracking branch 'origin/master' into yosys-flow

  aletempiac

  committed
  5708841

  Copy full SHA for 5708841

Commits on May 4, 2024

• New command &putontop to create large AIGs.

  alanminko

  committed
  fb97997

  Copy full SHA for fb97997

Commits on May 7, 2024

• Adding delay-driven LUT decomposition to &if

  aletempiac

  committed
  d109372

  Copy full SHA for d109372

• Merge pull request berkeley-abc#297 from aletempiac/yosys-flow

  Show description for ae92ea0
  alanminko

  authored
  ae92ea0

  Copy full SHA for ae92ea0

Commits on May 8, 2024

• Add warning when trying to CEC AIGs with xor-gates.

  alanminko

  committed
  3c56ccb

  Copy full SHA for 3c56ccb

Commits on May 9, 2024

• New way to generate counter-examples.

  alanminko

  committed
  c194c11

  Copy full SHA for c194c11

• Updating counter-example generation.

  alanminko

  committed
  f04f9c4

  Copy full SHA for f04f9c4

Commits on May 14, 2024

• New command "resub_core".

  alanminko

  committed
  66c7f67

  Copy full SHA for 66c7f67

• New command &odc to study observability don't-cares.

  alanminko

  committed
  554da94

  Copy full SHA for 554da94

• New aliases.

  alanminko

  committed
  daf3313

  Copy full SHA for daf3313

Commits on May 15, 2024

• New command &genrel to generate relations for windows in the AIG.

  alanminko

  committed
  6ad6539

  Copy full SHA for 6ad6539

• Upgrading "twoexact" to read relations in an updated format.

  alanminko

  committed
  c906dfb

  Copy full SHA for c906dfb

• Updating the previous commit.

  alanminko

  committed
  2c02ae8

  Copy full SHA for 2c02ae8

Commits on May 16, 2024

• New command &window to extract windows from an AIG.

  alanminko

  committed
  d9a08eb

  Copy full SHA for d9a08eb

• Code to dump resub instances.

  alanminko

  committed
  5fc62b8

  Copy full SHA for 5fc62b8

• Suggested fix.

  alanminko

  committed
  3fd4291

  Copy full SHA for 3fd4291

• Updating instructions for AIG construction.

  alanminko

  committed
  9a89447

  Copy full SHA for 9a89447

Commits on May 17, 2024

• New command "resub_unate" and various changes.

  alanminko

  committed
  3616fd8

  Copy full SHA for 3616fd8

Commits on May 19, 2024

• Various changes and bug fixes.

  alanminko

  committed
  c64f927

  Copy full SHA for c64f927

• Bug fix.

  alanminko

  committed
  8ec95e8

  Copy full SHA for 8ec95e8

Commits on May 21, 2024

• Enabling support of boxes in &nf.

  alanminko

  committed
  0cb945e

  Copy full SHA for 0cb945e

• Compilation problem.

  alanminko

  committed
  1118674

  Copy full SHA for 1118674

Commits on May 23, 2024

• Bug fix in word-level abstraction.

  alanminko

  committed
  23f351c

  Copy full SHA for 23f351c

• Bug fix in &genrel.

  alanminko

  committed
  795fee8

  Copy full SHA for 795fee8

• Merge pull request berkeley-abc#289 from sirandreww/master

  Show description for 6e459fa
  alanminko

  authored
  6e459fa

  Copy full SHA for 6e459fa

• Merge branch 'master' of github.com:berkeley-abc/abc

  alanminko

  committed
  161963a

  Copy full SHA for 161963a

• up stream changes

  

  Xiaoqing Xu

  committed
  34c2ed7

  Copy full SHA for 34c2ed7

Commits on May 24, 2024

• Merge pull request berkeley-abc#299 from moonshotxx/test

  Show description for 1e58dc6
  alanminko

  authored
  1e58dc6

  Copy full SHA for 1e58dc6

Commits on May 28, 2024

• New API to print internal nodes.

  alanminko

  committed
  fb4988b

  Copy full SHA for fb4988b

Commits on May 29, 2024

• Bug fix.

  alanminko

  committed
  17b1ec7

  Copy full SHA for 17b1ec7

Commits on May 30, 2024

• Updating the print-out after the bug fix.

  alanminko

  committed
  806a996

  Copy full SHA for 806a996

Commits on Jun 13, 2024

• Change Scl_Pair_t_ member types to long to allow for large liberty file loading.

  Show description for a6bf511
  mikesinouye

  committed
  a6bf511

  Copy full SHA for a6bf511

Commits on Jun 16, 2024

• Adding switch "i" in "show" to display original AIG IDs of mapped nodes.

  alanminko

  committed
  24d4203

  Copy full SHA for 24d4203

Commits on Jun 17, 2024

• Merge pull request berkeley-abc#302 from mikesinouye/scl

  Show description for 7beda11
  alanminko

  authored
  7beda11

  Copy full SHA for 7beda11

Commits on Jun 18, 2024

• Corner-case bug fix.

  alanminko

  committed
  2d70deb

  Copy full SHA for 2d70deb

Commits on Jun 28, 2024

• Make lbool explicitly signed

  Show description for 6c62604
  rocallahan

  committed
  6c62604

  Copy full SHA for 6c62604

Commits on Jul 10, 2024

• Allowing the genlib reader to skip gates larger than the given size.

  alanminko

  committed
  13998ba

  Copy full SHA for 13998ba

Commits on Jul 12, 2024

• Adding command &genmux.

  alanminko

  committed
  ae2e3f9

  Copy full SHA for ae2e3f9

• Updating parameters.

  alanminko

  committed
  c7ac6be

  Copy full SHA for c7ac6be

Commits on Jul 17, 2024

• New API for swicthing activity estimation.

  alanminko

  committed
  d7a623c

  Copy full SHA for d7a623c

Commits on Jul 21, 2024

• Improved SOP to BDD conversion.

  alanminko

  committed
  5450779

  Copy full SHA for 5450779

Commits on Jul 24, 2024

• Updating usage messages of QBF commands.

  alanminko

  committed
  d036ba5

  Copy full SHA for d036ba5

• Merge pull request berkeley-abc#303 from rocallahan/signed-lbool

  Show description for 6262dcf
  alanminko

  authored
  6262dcf

  Copy full SHA for 6262dcf

• chore: __builtin_popcount to replace BitCount8

  Show description for fe3b5bf
  coastalwhite

  committed
  fe3b5bf

  Copy full SHA for fe3b5bf

Commits on Jul 25, 2024

• Implementation of functional abstraction.

  alanminko

  committed
  f8a6432

  Copy full SHA for f8a6432

Commits on Jul 26, 2024

• Duplicating AIG after synthesis.

  alanminko

  committed
  b5f4afa

  Copy full SHA for b5f4afa

• chore: add __builtin_popcount for MSVC

  coastalwhite

  committed
  849adb2

  Copy full SHA for 849adb2

Commits on Jul 27, 2024

• Experiments with DSD.

  alanminko

  committed
  93388c0

  Copy full SHA for 93388c0

Commits on Jul 28, 2024

• Experimental features of &scorr.

  alanminko

  committed
  3e1979f

  Copy full SHA for 3e1979f

• Allow for disabling variable ordering in "lutmin".

  alanminko

  committed
  96edf40

  Copy full SHA for 96edf40

• One more file to be committed.

  alanminko

  committed
  2011cbc

  Copy full SHA for 2011cbc

Commits on Jul 31, 2024

• Adds option to unamap network using a non static version of the library

  Show description for 70563cd
  QuantamHD

  committed
  70563cd

  Copy full SHA for 70563cd

Commits on Aug 1, 2024

• Updating windows makefile by removing unused package.

  alanminko

  committed
  572b80b

  Copy full SHA for 572b80b

• Experiments with circuit generators.

  alanminko

  committed
  9062ed9

  Copy full SHA for 9062ed9

• Compilation problem.

  alanminko

  committed
  4f68f08

  Copy full SHA for 4f68f08

• The same problem in another place.

  alanminko

  committed
  35d67f6

  Copy full SHA for 35d67f6

• Merge pull request berkeley-abc#310 from QuantamHD/ethan_fixing_things_2

  Show description for 279a909
  alanminko

  authored
  279a909

  Copy full SHA for 279a909

• Merge pull request berkeley-abc#309 from coastalwhite/chore-popcount-intrinsics

  Show description for a06dde4
  alanminko

  authored
  a06dde4

  Copy full SHA for a06dde4

• Suggested changes to improve thread safety.

  alanminko

  committed
  3491773

  Copy full SHA for 3491773

• Trying to fix the compilation issue.

  alanminko

  committed
  c62bfec

  Copy full SHA for c62bfec

• Trying to fix the compilation issue.

  alanminko

  committed
  9f864eb

  Copy full SHA for 9f864eb

Commits on Aug 2, 2024

• Remove support for int sizes other than 32 bits

  Show description for 53c2525
  rocallahan

  committed
  53c2525

  Copy full SHA for 53c2525

• Replace #defines with enum constants and inline functions in exor.h

  Show description for ab858c5
  rocallahan

  committed
  ab858c5

  Copy full SHA for ab858c5

• Updating DSD profiling procedures.

  alanminko

  committed
  1954e2f

  Copy full SHA for 1954e2f

• Compiler warning.

  alanminko

  committed
  8f0cbbd

  Copy full SHA for 8f0cbbd

• Compiler warning.

  alanminko

  committed
  1ac5f64

  Copy full SHA for 1ac5f64

• Merge pull request berkeley-abc#307 from rocallahan/exor-defines

  Show description for 3286179
  alanminko

  authored
  3286179

  Copy full SHA for 3286179

• New command to detect presence of a function in the AIG.

  alanminko

  committed
  7d88bf2

  Copy full SHA for 7d88bf2

Commits on Aug 3, 2024

• Changing interface of &genrel.

  alanminko

  committed
  b25d9c4

  Copy full SHA for b25d9c4

• Updates to history printing.

  alanminko

  committed
  43426f0

  Copy full SHA for 43426f0

Commits on Aug 4, 2024

• Migrating &stochsyn to generic concurrency interface.

  alanminko

  committed
  037971d

  Copy full SHA for 037971d

Commits on Aug 6, 2024

• Experiments with detecting multipliers.

  alanminko

  committed
  1963422

  Copy full SHA for 1963422

• Instead of throwing C++ exceptions, just print an error message and abort

  Show description for e0a9c29
  rocallahan

  committed
  e0a9c29

  Copy full SHA for e0a9c29

• New command for LUT cascade decomposition.

  alanminko

  committed
  43adbc7

  Copy full SHA for 43adbc7

• Merge pull request berkeley-abc#313 from rocallahan/no-exceptions

  Show description for b23f998
  alanminko

  authored
  b23f998

  Copy full SHA for b23f998

Commits on Aug 7, 2024

• do not include -lrt or -ldl on platform that do not support them

  Show description for fe0bb59
  

  josuah

  authored and

  povik

  committed
  fe0bb59

  Copy full SHA for fe0bb59

• Skip -ldl on NetBSD; it does not exist. Skip -lrt on NetBSD; it is

  Show description for f5f317d
  

  thorpej

  authored and

  povik

  committed
  f5f317d

  Copy full SHA for f5f317d

• Support out of tree builds

  Show description for a692c0d
  

  RCoeurjoly

  authored and

  povik

  committed
  a692c0d

  Copy full SHA for a692c0d

• Makefile: break apart steps in make clean

  Show description for 10b9da7
  

  xobs

  authored and

  povik

  committed
  10b9da7

  Copy full SHA for 10b9da7

• Export version

  Show description for 23435fc
  

  mmicko

  authored and

  povik

  committed
  23435fc

  Copy full SHA for 23435fc

• Define S_IREAD|IWRITE macros using IRUSR|IWUSR

  Show description for 15ec302
  

  mohamed

  authored and

  povik

  committed
  15ec302

  Copy full SHA for 15ec302

• fold: Option (-s) to make sequential cleanup optional

  Show description for 6d52a1e
  

  jix

  authored and

  povik

  committed
  6d52a1e

  Copy full SHA for 6d52a1e

• Patch to support WASI builds

  Show description for 57c3bd3
  

  povik

  and

  whitequark

  committed
  57c3bd3

  Copy full SHA for 57c3bd3

• Add '-p' option to 'constr' to allow fully removing constraints

  Show description for adbcb91
  

  jix

  authored and

  povik

  committed
  adbcb91

  Copy full SHA for adbcb91

• Fix archive reproducibility

  Show description for 68c9924
  

  lf-

  authored and

  povik

  committed
  68c9924

  Copy full SHA for 68c9924

• Pull YosysHQ read_cex/write_cex changes

  Show description for 1383c76
  

  4 peoplecommitted
  1383c76

  Copy full SHA for 1383c76

• Fix Assertion using &if: `pCutSet->nCuts > 0'

  Show description for eef8c01
  

  davidar

  authored and

  povik

  committed
  eef8c01

  Copy full SHA for eef8c01

• Apply patch to If_ObjPerformMappingChoice too

  Show description for 3e65b25
  

  davidar

  authored and

  povik

  committed
  3e65b25

  Copy full SHA for 3e65b25

• Additional fix for large liberty files

  Show description for e334586
  

  mmicko

  authored and

  povik

  committed
  e334586

  Copy full SHA for e334586

• pdr -X to write CEXes immediately

  Show description for e62e8ac
  

  jix

  authored and

  povik

  committed
  e62e8ac

  Copy full SHA for e62e8ac

• Fix pdr timing output

  Show description for c8d64b8
  

  jix

  authored and

  povik

  committed
  c8d64b8

  Copy full SHA for c8d64b8

• Improved anytime pdr

  Show description for 5444cf2
  

  jix

  authored and

  povik

  committed
  5444cf2

  Copy full SHA for 5444cf2

• Handle edge case in Gia_ManTransferTiming

  povik

  committed
  afbeccb

  Copy full SHA for afbeccb

• Fix types in call to atomic_store_explicit

  Show description for f0b070e
  povik

  committed
  f0b070e

  Copy full SHA for f0b070e

• Remove extra asserts in buffering code

  povik

  committed
  2a8ea11

  Copy full SHA for 2a8ea11

• Include stdbool.h for portability of atomic calls

  povik

  committed
  2d26778

  Copy full SHA for 2d26778

• Ongoing development related to Boolean decomposition.

  alanminko

  committed
  95f1837

  Copy full SHA for 95f1837

Commits on Aug 8, 2024

• Merge pull request berkeley-abc#315 from YosysHQ/povik/yosyshq-build

  Show description for e6b36cb
  alanminko

  authored
  e6b36cb

  Copy full SHA for e6b36cb

• Merge pull request berkeley-abc#316 from YosysHQ/povik/yosyshq-commands

  Show description for 0129b4c
  alanminko

  authored
  0129b4c

  Copy full SHA for 0129b4c

• Merge pull request berkeley-abc#317 from YosysHQ/povik/fix-transfer-timing

  Show description for dce6e48
  alanminko

  authored
  dce6e48

  Copy full SHA for dce6e48

• Merge pull request berkeley-abc#318 from YosysHQ/povik/fix-atomic_store-call

  Show description for 762a123
  alanminko

  authored
  762a123

  Copy full SHA for 762a123

• Merge pull request berkeley-abc#319 from YosysHQ/povik/rm-buffering-asserts

  Show description for 71b409b
  alanminko

  authored
  71b409b

  Copy full SHA for 71b409b

Commits on Aug 9, 2024

• Extending &funtrace to trace functions found in an AIG.

  alanminko

  committed
  4156a88

  Copy full SHA for 4156a88

Commits on Aug 10, 2024

• Ongoing development related to Boolean decomposition.

  alanminko

  committed
  35a1bbb

  Copy full SHA for 35a1bbb

Commits on Aug 11, 2024

• Adding cut print-out in &funtrace.

  alanminko

  committed
  71c4e23

  Copy full SHA for 71c4e23

• Fixing a serious bug in bit-blasting when multiplier argments have different bit-width.

  alanminko

  committed
  e824cca

  Copy full SHA for e824cca

• Experiments with detecting multipliers.

  alanminko

  committed
  807f6dd

  Copy full SHA for 807f6dd

Commits on Aug 12, 2024

• Revert "Improved anytime pdr"

  Show description for ec8419c
  povik

  committed
  ec8419c

  Copy full SHA for ec8419c

• Revert "Fix pdr timing output"

  Show description for 39f6fbb
  povik

  committed
  39f6fbb

  Copy full SHA for 39f6fbb

• Revert "pdr -X to write CEXes immediately"

  Show description for de8620d
  povik

  committed
  de8620d

  Copy full SHA for de8620d

• Updating "lutexact" to support single-rail LUT cascade.

  alanminko

  committed
  81fcf84

  Copy full SHA for 81fcf84

Commits on Aug 13, 2024

• Merge pull request berkeley-abc#320 from YosysHQ/povik/revert-pdr

  Show description for 324ceea
  alanminko

  authored
  324ceea

  Copy full SHA for 324ceea

Commits on Aug 14, 2024

• Adding BLIF dumping to "lutexact".

  alanminko

  committed
  c239168

  Copy full SHA for c239168

• Experiments with bit-blasting.

  alanminko

  committed
  e2b7750

  Copy full SHA for e2b7750

• Adding command to read ROM data.

  alanminko

  committed
  1a62954

  Copy full SHA for 1a62954

• Adding a switch to complement the primary outputs of an AIG.

  alanminko

  committed
  c099e62

  Copy full SHA for c099e62

• Adding an option to dump satisfying assignments into a BLIF file.

  alanminko

  committed
  2055b1b

  Copy full SHA for 2055b1b

Commits on Aug 17, 2024

• Compiler warnings.

  alanminko

  committed
  732abf5

  Copy full SHA for 732abf5

• Experiments with adder-based circuits.

  alanminko

  committed
  03b786a

  Copy full SHA for 03b786a

Commits on Aug 18, 2024

• New APIs for AIG package.

  alanminko

  committed
  5e35510

  Copy full SHA for 5e35510

• Regrouping recently added code.

  alanminko

  committed
  af77b80

  Copy full SHA for af77b80

Commits on Aug 23, 2024

• Adds unit testing framework to ABC

  Show description for 49a4895
  

  QuantamHD

  authored and

  rocallahan

  committed
  49a4895

  Copy full SHA for 49a4895

• Rename Github Actions job to build-posix-cmake

  Show description for d93a12e
  rocallahan

  committed
  d93a12e

  Copy full SHA for d93a12e

Commits on Aug 24, 2024

• Merge pull request berkeley-abc#322 from rocallahan/unit-tests

  Show description for 034492b
  alanminko

  authored
  034492b

  Copy full SHA for 034492b

• Merge pull request berkeley-abc#323 from rocallahan/workflow-name

  Show description for 64ed5b8
  alanminko

  authored
  64ed5b8

  Copy full SHA for 64ed5b8

Commits on Aug 28, 2024

• Refactor(Resub): Clear markB at the beginning

  wjrforcyber

  committed
  bcf292f

  Copy full SHA for bcf292f

• Refactor(Resub): Clear mark A/B

  wjrforcyber

  committed
  252afb1

  Copy full SHA for 252afb1

• Save cell mapping as new 'M' AIGER extension

  povik

  committed
  cb294bb

  Copy full SHA for cb294bb

• Merge pull request berkeley-abc#326 from wjrforcyber/resub_markB

  Show description for 9371696
  alanminko

  authored
  9371696

  Copy full SHA for 9371696

• Make casts explicit

  povik

  committed
  786a39a

  Copy full SHA for 786a39a

• Merge pull request berkeley-abc#327 from YosysHQ/povik/aiger-cell-mapping

  Show description for 5d6a568
  alanminko

  authored
  5d6a568

  Copy full SHA for 5d6a568

Commits on Sep 3, 2024

• Perf improvement in satsolver

  Show description for cd71108
  heshpdx

  committed
  cd71108

  Copy full SHA for cd71108

• Convert the other divide to a multiply

  heshpdx

  committed
  ad8f8a2

  Copy full SHA for ad8f8a2

Commits on Sep 4, 2024

• Updating &funtrace to trace function of the primary outputs of the AIG.

  alanminko

  committed
  03d9293

  Copy full SHA for 03d9293

Commits on Sep 5, 2024

• Updating internal cut manager to prefer cuts with high fanin fanout counts.

  alanminko

  committed
  3de73f2

  Copy full SHA for 3de73f2

Commits on Sep 6, 2024

• Updating "read_lib" to output all gates when gain-based modeling is used.

  alanminko

  committed
  3ddd461

  Copy full SHA for 3ddd461

• Another way of writing primary outputs in Verilog.

  alanminko

  committed
  0d10253

  Copy full SHA for 0d10253

Commits on Sep 13, 2024

• Trasferring equivalence in the special-case usage of &scorr.

  alanminko

  committed
  9c152b7

  Copy full SHA for 9c152b7

Commits on Sep 14, 2024

• github actions:

  Show description for 0a5057f
  sterin

  committed
  0a5057f

  Copy full SHA for 0a5057f

Commits on Sep 15, 2024

• GitHub Actions: updated cmake to use macos-latest instead of macos-11

  sterin

  committed
  4c4e298

  Copy full SHA for 4c4e298

• Merge pull request berkeley-abc#333 from sterin/master

  Show description for db245f5
  alanminko

  authored
  db245f5

  Copy full SHA for db245f5

Commits on Sep 18, 2024

• Increase buffer size in filename append utility to support more liberty files.

  Show description for db735b6
  mikesinouye

  committed
  db735b6

  Copy full SHA for db735b6

• Use <limits.h>'s PATH_MAX macro instead of fixed size.

  Show description for ee5acbb
  mikesinouye

  committed
  ee5acbb

  Copy full SHA for ee5acbb

• Add #include <stdlib.h> for Windows build support.

  Show description for 5bd5216
  mikesinouye

  committed
  5bd5216

  Copy full SHA for 5bd5216

• Try support for Windows again.

  Show description for 8179c73
  mikesinouye

  committed
  8179c73

  Copy full SHA for 8179c73

Commits on Sep 22, 2024

• ttopt bugfix

  MyskYko

  committed
  35a8768

  Copy full SHA for 35a8768

Commits on Sep 23, 2024

• Merge pull request berkeley-abc#335 from MyskYko/fix_ttopt

  Show description for 3f7a308
  alanminko

  authored
  3f7a308

  Copy full SHA for 3f7a308

• Merge pull request berkeley-abc#334 from mikesinouye/multilib

  Show description for 9539306
  alanminko

  authored
  9539306

  Copy full SHA for 9539306

Commits on Sep 28, 2024

• Bug fix.

  alanminko

  committed
  4369321

  Copy full SHA for 4369321

Commits on Oct 1, 2024

• Adding API for inserting danginling flop.

  alanminko

  committed
  6004b7b

  Copy full SHA for 6004b7b

• Extending &funtrace to dump and load precomputed library.

  alanminko

  committed
  a78d358

  Copy full SHA for a78d358

• Improved bit-blasting of some word-level operators.

  alanminko

  committed
  af1de4f

  Copy full SHA for af1de4f

Commits on Oct 7, 2024

• Updating "lutexact" to run on symmetric functions.

  alanminko

  committed
  2e33843

  Copy full SHA for 2e33843

Commits on Oct 8, 2024

• Bug fix in &scorr.

  alanminko

  committed
  707442e

  Copy full SHA for 707442e

Commits on Oct 15, 2024

• Performance improvements in ACD

  aletempiac

  committed
  46f2300

  Copy full SHA for 46f2300

• Cleaning code

  aletempiac

  committed
  52c842b

  Copy full SHA for 52c842b

• Bug fix (just in the code; it does not affect the execution)

  aletempiac

  committed
  d1f78b3

  Copy full SHA for d1f78b3

• Bug fix (just in the code; it does not affect the execution)

  aletempiac

  committed
  baf4ddb

  Copy full SHA for baf4ddb

Commits on Oct 21, 2024

• Bug fix in &scorr

  alanminko

  committed
  74e7c64

  Copy full SHA for 74e7c64

• Procedure to detect node equivalences across two AIGs.

  alanminko

  committed
  f1773bd

  Copy full SHA for f1773bd

• Merge pull request berkeley-abc#328 from heshpdx/master

  Show description for a239dd8
  alanminko

  authored
  a239dd8

  Copy full SHA for a239dd8

• Merge pull request berkeley-abc#340 from aletempiac/acd_improvements

  Show description for 498ec53
  alanminko

  authored
  498ec53

  Copy full SHA for 498ec53

• Merge pull request berkeley-abc#250 from wjrforcyber/typo

  Show description for 743f3a7
  alanminko

  authored
  743f3a7

  Copy full SHA for 743f3a7

• Adding PI/PO name transfer after mapping+retiming.

  alanminko

  committed
  cb2140d

  Copy full SHA for cb2140d

Commits on Oct 23, 2024

• Fixing assertion failures in &put.

  alanminko

  committed
  ecd9480

  Copy full SHA for ecd9480

Commits on Nov 6, 2024

• Adding generation of random functions to "lutexact"

  alanminko

  committed
  091ff4e

  Copy full SHA for 091ff4e

• Adding postiive minterm count for random functions generated by "lutexact".

  alanminko

  committed
  c787e32

  Copy full SHA for c787e32

Commits on Nov 11, 2024

• Updates to LUT cascade synthesis.

  alanminko

  committed
  aeb9772

  Copy full SHA for aeb9772

• Update to "lutexact".

  alanminko

  committed
  f2e4ceb

  Copy full SHA for f2e4ceb

• Compilation problem.

  alanminko

  committed
  b5a76d8

  Copy full SHA for b5a76d8

Commits on Nov 12, 2024

• Adding command for generating sorters.

  alanminko

  committed
  3aff0af

  Copy full SHA for 3aff0af

Commits on Nov 17, 2024

• Experiment with "scorr".

  alanminko

  committed
  1f3cf0a

  Copy full SHA for 1f3cf0a

Commits on Nov 28, 2024

• Updating command "rungen" to generate random functions.

  alanminko

  committed
  14168eb

  Copy full SHA for 14168eb

Commits on Dec 2, 2024

• map: Add Mio_Library_t* parameter to Abc_NtkMap

  Show description for 01c9a65
  QuantamHD

  committed
  01c9a65

  Copy full SHA for 01c9a65

• Merge pull request berkeley-abc#347 from QuantamHD/map_param

  Show description for c315d9e
  alanminko

  authored
  c315d9e

  Copy full SHA for c315d9e

Commits on Dec 5, 2024

• Merge remote-tracking branch 'upstream/master' into update_abc2

  QuantamHD

  committed
  c12ea9a

  Copy full SHA for c12ea9a