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

5408 Commits

Author SHA1 Message Date
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
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
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
alanminko 8a174ee865
Merge pull request #287 from gadfort/correct-prefix 
ensure initial library writing also honors prefix
 2024-04-16 06:22:46 -07:00
Peter Gadfort de060a26ad ensure initial library writing also honors prefix 2024-04-16 08:58:28 -04:00
Alan Mishchenko bc725b85de Bug fix in CNF generation for &glucose (three more places). 2024-04-15 20:29:38 -07:00
Alan Mishchenko 2d6b5c9adc Bug fix in CNF generation for &glucose. 2024-04-15 20:25:43 -07:00
Alan Mishchenko 99e0e37da6 Added switch -p in "read_lib" to skip writing cell prefix. 2024-04-14 09:51:00 -07:00
alanminko 682480e5e9
Merge pull request #285 from gadfort/add-lib-merging 
add library merging flag to read_lib
 2024-04-14 09:39:14 -07:00
Peter Gadfort 935c6a875d add missing flag to read_lib help 2024-04-12 13:49:44 -04:00
Peter Gadfort 1d90cafd54 add library merging flag to read_lib 
Signed-off-by: Peter Gadfort <gadfort@zeroasic.com>
 2024-04-12 13:27:58 -04:00
alanminko b10d000c7a
Merge pull request #284 from aletempiac/acd66 
LUT structure mapping
 2024-04-11 12:05:12 -07:00
aletempiac 045803dcb8 Merge remote-tracking branch 'origin/master' into acd66 2024-04-11 19:02:29 +02:00
aletempiac 0c905f873b Fixes 2024-04-11 19:01:05 +02:00
aletempiac 6052d10fde Adding new command if -U for 2-LUT decompositions under delay profile 2024-04-11 15:45:37 +02:00
aletempiac e8924e5534 Fixes and improvements 2024-04-11 15:44:52 +02:00
aletempiac 5b49724fcc removing acd666 2024-04-11 15:43:22 +02:00
Alan Mishchenko ca78f5e6e5 Bug fix in the resub engine. 2024-04-11 05:05:52 -07:00
aletempiac 32bc1d4ab2 Cleaning and generalizing code 2024-04-11 11:31:28 +02:00
aletempiac 64fea5c4c2 Improving the performance and quality of acd66 2024-04-10 18:43:52 +02:00
aletempiac 6b5ebb3e76 Removing assertion when decomposing into LUTs smaller than 6 2024-04-10 18:42:52 +02:00
aletempiac 8f3447800c Support again decompositions into luts smaller than 6 2024-04-02 11:25:03 +02:00
Alan Mishchenko 6e1653426f Switch to randomly select one choice. 2024-03-28 16:22:06 +08:00
Alan Mishchenko a2cb5eb4e3 Adding command &pms to print miter status. 2024-03-25 23:39:03 +08:00
aletempiac 1f72ffce79 Improving ACD performance with bail-out conditions 2024-03-25 14:23:43 +01:00
Alan Mishchenko b0d2ff1c63 Exact synthesis using NAND-gates. 2024-03-24 00:10:08 +09:00
aletempiac 6aacf524aa Performance improvement and fixes 2024-03-22 19:19:35 +01:00
aletempiac 8a314db8dc Bug fix 2024-03-22 15:39:52 +01:00
Alan Mishchenko 783a5404a2 Fixing Windows makefile. 2024-03-19 09:57:52 +09:00
Alan Mishchenko 2c0943ff62 Fixiing compiler problem on Windows. 2024-03-19 09:34:20 +09:00
Alan Mishchenko 5d3d77fcfe Fixing Windows compiler problem. 2024-03-19 08:54:32 +09:00
Alan Mishchenko c32f36af08 Fixing c vs c++ header file issue. 2024-03-19 08:13:07 +09:00
Alan Mishchenko b31ab1960b Fixing compilation issues on Windows. 2024-03-18 21:30:46 +09:00
Alan Mishchenko c0989e93f0 Fixing Makefile on Windows. 2024-03-18 20:37:46 +09:00
Alan Mishchenko 914b3e980f FIxing Windows makefile. 2024-03-18 19:50:00 +09:00
alanminko 4f0d09261b
Merge pull request #283 from aletempiac/acd66 
Boolean decomposition into LUT structures
 2024-03-18 19:29:37 +09:00
aletempiac db72df7a63 Merge remote-tracking branch 'origin/master' into acd66 2024-03-18 10:08:48 +01:00
aletempiac 3737a69d8d Adding new ACD66 with support for multiple shared-set variables 2024-03-18 10:01:59 +01:00
Alan Mishchenko 210474b08c Bug fix in &gen_hie. 2024-03-18 07:49:35 +09:00