Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update To Latest ABC #7

Merged
merged 191 commits into from
Dec 31, 2024
Merged

Update To Latest ABC #7

merged 191 commits into from
Dec 31, 2024

Conversation

QuantamHD
Copy link

No description provided.

wjrforcyber and others added 30 commits September 16, 2023 19:43
@wjrforcyber
Refactor(Typo): Typo update in read_aiger comment
136bae2
@wjrforcyber
Refactor(Typo): Typo update in bblif comment
6e1323c
@wjrforcyber
Refactor(Typo): Typo update in write_aiger message
7ec8f17
@wjrforcyber
Merge branch 'master' into typo
e1db615
@wjrforcyber
Refactor(Typo): Typo in read_aiger
05c897a
@wjrforcyber
Refactor(Typo): Typo in strash
eae19f7
@wjrforcyber
Refactor(Typo): Link is NOT FOUND page(not available), change to the …
3781c1d 
…book name
@wjrforcyber
Refactor(Typo):Missing a parameter fUseLutLib and use fSaveBest twice
ecf6255
@wjrforcyber
Merge remote-tracking branch 'upstream/master' into typo
fb6a472
@wjrforcyber
Refactor(Typo): Typo in ACD
c2fdb86
@aletempiac
Adding decomposition of mapping into LUT structures before returning …
864f96b 
…the result
@sirandreww
Update pdrCore.c
ac9cfc7 
Fixed issue with time stats for generalization in PDR
@aletempiac
Adding new XX decomposition to &if
043a2ff
@aletempiac
Cleaning code
39ed8b3
@aletempiac
Adding deriving LUTs to if
714ab45
@aletempiac
Merge remote-tracking branch 'origin/master' into yosys-flow
5708841
@alanminko
New command &putontop to create large AIGs.
fb97997
@aletempiac
Adding delay-driven LUT decomposition to &if
d109372
@alanminko
Merge pull request berkeley-abc#297 from aletempiac/yosys-flow
ae92ea0 
Integrating delay-driven LUT decomposition in &if
@alanminko
Add warning when trying to CEC AIGs with xor-gates.
3c56ccb
@alanminko
New way to generate counter-examples.
c194c11
@alanminko
Updating counter-example generation.
f04f9c4
@alanminko
New command "resub_core".
66c7f67
@alanminko
New command &odc to study observability don't-cares.
554da94
@alanminko
New aliases.
daf3313
@alanminko
New command &genrel to generate relations for windows in the AIG.
6ad6539
@alanminko
Upgrading "twoexact" to read relations in an updated format.
c906dfb
@alanminko
Updating the previous commit.
2c02ae8
@alanminko
New command &window to extract windows from an AIG.
d9a08eb
@alanminko
Code to dump resub instances.
5fc62b8
alanminko and others added 29 commits September 22, 2024 20:48
@alanminko
Merge pull request berkeley-abc#334 from mikesinouye/multilib
9539306 
Increase buffer size in filename append utility to support more liberty files.
@alanminko
Bug fix.
4369321
@alanminko
Adding API for inserting danginling flop.
6004b7b
@alanminko
Extending &funtrace to dump and load precomputed library.
a78d358
@alanminko
Improved bit-blasting of some word-level operators.
af1de4f
@alanminko
Updating "lutexact" to run on symmetric functions.
2e33843
@alanminko
Bug fix in &scorr.
707442e
@aletempiac
Performance improvements in ACD
46f2300
@aletempiac
Cleaning code
52c842b
@aletempiac
Bug fix (just in the code; it does not affect the execution)
d1f78b3
@aletempiac
Bug fix (just in the code; it does not affect the execution)
baf4ddb
@alanminko
Bug fix in &scorr
74e7c64
@alanminko
Procedure to detect node equivalences across two AIGs.
f1773bd
@alanminko
Merge pull request berkeley-abc#328 from heshpdx/master
a239dd8 
Perf improvement in satsolver
@alanminko
Merge pull request berkeley-abc#340 from aletempiac/acd_improvements
498ec53 
Performance improvements to ACD
@alanminko
Merge pull request berkeley-abc#250 from wjrforcyber/typo
743f3a7 
Refactor(Typo):Typo currently exists
@alanminko
Adding PI/PO name transfer after mapping+retiming.
cb2140d
@alanminko
Fixing assertion failures in &put.
ecd9480
@alanminko
Adding generation of random functions to "lutexact"
091ff4e
@alanminko
Adding postiive minterm count for random functions generated by "lute…
c787e32 
…xact".
@alanminko
Updates to LUT cascade synthesis.
aeb9772
@alanminko
Update to "lutexact".
f2e4ceb
@alanminko
Compilation problem.
b5a76d8
@alanminko
Adding command for generating sorters.
3aff0af
@alanminko
Experiment with "scorr".
1f3cf0a
@alanminko
Updating command "rungen" to generate random functions.
14168eb
@QuantamHD
map: Add Mio_Library_t* parameter to Abc_NtkMap
01c9a65 
This lets users of the ABC API call map without relying on the static
Mio_Library_t* in Abc_FrameReadLibGen.
@alanminko
Merge pull request berkeley-abc#347 from QuantamHD/map_param
c315d9e 
map: Add Mio_Library_t* parameter to Abc_NtkMap
@QuantamHD
Merge remote-tracking branch 'upstream/master' into update_abc2
c12ea9a
@maliberty maliberty merged commit 5c9448c into The-OpenROAD-Project:master Dec 31, 2024
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.