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

5445 Commits

Author SHA1 Message Date
Mike Inouye a6bf51111f Change Scl_Pair_t_ member types to long to allow for large liberty file loading. 
Signed-off-by: Mike Inouye <mikeinouye@google.com>
 2024-06-13 23:12:45 +00:00
Alan Mishchenko 806a996b88 Updating the print-out after the bug fix. 2024-05-30 08:43:58 +02:00
Alan Mishchenko 17b1ec7655 Bug fix. 2024-05-29 22:05:40 +02:00
Alan Mishchenko fb4988bb13 New API to print internal nodes. 2024-05-28 22:23:07 +02:00
alanminko 1e58dc6b00
Merge pull request #299 from moonshotxx/test 
Utility functions in aig/gia
 2024-05-23 17:53:11 -07:00
Xiaoqing Xu 34c2ed73a2 up stream changes 2024-05-23 22:51:15 +00:00
Alan Mishchenko 161963a32b Merge branch 'master' of github.com:berkeley-abc/abc 2024-05-23 15:28:22 -07:00
alanminko 6e459faa0e
Merge pull request #289 from sirandreww/master 
Fixed small issue with time stats for generalization in PDR
 2024-05-23 15:25:40 -07:00
Alan Mishchenko 795fee8d57 Bug fix in &genrel. 2024-05-23 13:51:10 -07:00
Alan Mishchenko 23f351c7c6 Bug fix in word-level abstraction. 2024-05-23 07:47:30 -07:00
Alan Mishchenko 111867432c Compilation problem. 2024-05-21 10:26:01 -07:00
Alan Mishchenko 0cb945ebcd Enabling support of boxes in &nf. 2024-05-21 10:15:46 -07:00
Alan Mishchenko 8ec95e85c6 Bug fix. 2024-05-19 15:03:12 -07:00
Alan Mishchenko c64f927828 Various changes and bug fixes. 2024-05-19 14:47:18 -07:00
Alan Mishchenko 3616fd8fb5 New command "resub_unate" and various changes. 2024-05-17 02:56:33 -07:00
Alan Mishchenko 9a89447de4 Updating instructions for AIG construction. 2024-05-16 08:59:18 -07:00
Alan Mishchenko 3fd42912ad Suggested fix. 2024-05-16 06:24:18 -07:00
Alan Mishchenko 5fc62b881f Code to dump resub instances. 2024-05-15 22:21:22 -07:00
Alan Mishchenko d9a08eb44b New command &window to extract windows from an AIG. 2024-05-15 21:41:29 -07:00
Alan Mishchenko 2c02ae89a0 Updating the previous commit. 2024-05-15 09:41:14 -07:00
Alan Mishchenko c906dfb748 Upgrading "twoexact" to read relations in an updated format. 2024-05-15 09:33:57 -07:00
Alan Mishchenko 6ad6539c0f New command &genrel to generate relations for windows in the AIG. 2024-05-14 22:35:43 -07:00
Alan Mishchenko daf3313ce6 New aliases. 2024-05-13 23:31:50 -07:00
Alan Mishchenko 554da94ea6 New command &odc to study observability don't-cares. 2024-05-13 22:59:11 -07:00
Alan Mishchenko 66c7f67b96 New command "resub_core". 2024-05-13 21:31:28 -07:00
Alan Mishchenko f04f9c4353 Updating counter-example generation. 2024-05-08 23:45:14 -07:00
Alan Mishchenko c194c112ae New way to generate counter-examples. 2024-05-08 23:13:31 -07:00
Alan Mishchenko 3c56ccb8fb Add warning when trying to CEC AIGs with xor-gates. 2024-05-08 08:15:45 -07:00
alanminko ae92ea0214
Merge pull request #297 from aletempiac/yosys-flow 
Integrating delay-driven LUT decomposition in &if
 2024-05-07 06:43:53 -07:00
aletempiac d109372fb7 Adding delay-driven LUT decomposition to &if 2024-05-07 11:03:24 +02:00
Alan Mishchenko fb97997991 New command &putontop to create large AIGs. 2024-05-04 13:38:32 -07:00
alanminko 4865b58b19
Merge pull request #296 from QuantamHD/enable_actions_on_pull 
Enables github actions on pull requests
 2024-05-03 18:22:59 -07:00
alanminko 16ba7ed883
Merge pull request #295 from QuantamHD/revert_c++_downgrade 
Reverts downgrade to c++11
 2024-05-03 18:22:48 -07:00
alanminko 08301d00ed
Merge pull request #294 from QuantamHD/fix_wlc_blast 
Fixes incorrect extern definition of Wlc_BlastMultiplier3
 2024-05-03 18:22:33 -07:00
Ethan Mahintorabi 8afc83874f
add c++17 back to makefile for makefile only runs 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-04 01:13:09 +00:00
Ethan Mahintorabi 9ccb28ebc1
Enables github actions on pull requests 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-03 20:11:04 +00:00
Ethan Mahintorabi 0fc549d8b8
Reverts downgrade to c++11 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-03 05:24:02 +00:00
Ethan Mahintorabi 246337cdbe
Fixes incorrect extern definition of Wlc_BlastMultiplier3 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-03 01:55:31 +00:00
aletempiac 5708841672 Merge remote-tracking branch 'origin/master' into yosys-flow 2024-05-02 10:23:16 +02:00
aletempiac 714ab458b7 Adding deriving LUTs to if 2024-05-02 10:23:11 +02:00
aletempiac 39ed8b36d4 Cleaning code 2024-05-02 10:06:40 +02:00
alanminko 516c38bb44
Merge pull request #293 from QuantamHD/fix_duplicate_declaration 
Fixes duplicate declaration of Abc_SclHasDelayInfo
 2024-05-01 19:18:47 -07:00
Ethan Mahintorabi b7c7a6d98d
Fixes duplicate declaration of Abc_SclHasDelayInfo 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-02 02:15:59 +00:00
alanminko 848dc0da1b
Merge pull request #291 from cr1901/win-fix 
Modify include guards in cmd.c so that Windows compilers don't compil…
 2024-04-29 07:54:49 -07:00
William D. Jones 402c2579db Modify include guards in cmd.c so that Windows compilers don't compile Unix-only code. 2024-04-27 19:06:36 -04:00
aletempiac 043a2ffcc6 Adding new XX decomposition to &if 2024-04-23 11:10:16 +02:00
Alan Mishchenko c14d5f3906 Dumping miter statistics. 2024-04-22 22:06:07 -04:00
alanminko 6699c07b92
Merge pull request #290 from YosysHQ/povik/fix-simrsb-decl 
Fix prototype mismatch for `Gia_ManSimRsb`
 2024-04-22 15:14:19 -04:00
Martin Povišer e6a3dc602c Fix prototype mismatch for `Gia_ManSimRsb` 2024-04-22 17:34:38 +02:00
Andrew Luka ac9cfc766a
Update pdrCore.c 
Fixed issue with time stats for generalization in PDR
 2024-04-21 10:55:52 +03:00