luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-01 18:27:44 +02:00
Code Issues Packages Projects Releases Wiki Activity
4,078 Commits 30 Branches 59 Tags
0b7dcbbcfbd1bb9481ee1ecc340d634e2d2ab513
Commit Graph
4078 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alan Mishchenko 0b7dcbbcfb Merged in boschmitt/abc (pull request #77) 
Small fixes for C++ compilers
 2017-07-04 22:24:57 +00:00
Alan Mishchenko 859e769f22 Synchronizing various data-structures. 2017-07-04 15:23:51 -07:00
Bruno Schmitt fcf82795cd Using arch macro for moderns compilers 2017-07-04 12:52:24 +02:00
Bruno Schmitt f302e6f6ef Small fixes for C++ compilers 2017-07-04 09:35:42 +02:00
Alan Mishchenko bf6a053c64 Saturating floating point computation. 2017-07-01 13:48:31 -07:00
Alan Mishchenko a1dd7e3fb0 Saturating floating point computation. 2017-06-29 17:58:43 -07:00
Alan Mishchenko 96c5b56245 Not calling a changed API until it is fixed. 2017-06-27 12:44:33 -07:00
Alan Mishchenko 584d52ba85 Temp changes 2017-06-15 23:26:24 -07:00
Yen-Sheng Ho 584e28e8f4 merge 2017-06-06 23:16:55 -07:00
Yen-Sheng Ho 10f5e944c9 %pdra: fixed a bug 2017-06-06 23:15:38 -07:00
Alan Mishchenko e140ef7e5a Bug fix in SMT handling: 'distinct' with more than two inputs. 2017-06-05 12:36:26 +02:00
Alan Mishchenko 943e625e75 Outputting cell configurations. 2017-06-02 11:00:47 +02:00
Alan Mishchenko 8de04d36b3 Several new procedures for GIA manipulation. 2017-06-01 15:42:50 +02:00
Bruno Schmitt e74f05d71e Small fix for bins growth in sub-cube hashtable. 2017-05-26 16:56:56 +02:00
Alan Mishchenko 867c90d114 Small change to gate names. 2017-05-16 22:21:57 -07:00
Alan Mishchenko 41314cea01 Adding switch %blast -d to dump dual-output miter after blasting. 2017-04-29 18:34:56 -07:00
Alan Mishchenko 30d1f192a7 Experiments with support minimization. 2017-04-29 00:48:56 -07:00
Alan Mishchenko 9f46984c07 Compiler warnings. 2017-04-28 10:52:00 -07:00
Alan Mishchenko 534ebbc7e5 Compiler warnings. 2017-04-28 10:49:56 -07:00
Alan Mishchenko 16ac046679 Compiler warnings. 2017-04-28 10:12:28 -07:00
Alan Mishchenko 68faa04aff Compiler warnings. 2017-04-28 09:46:10 -07:00
Alan Mishchenko 1faab72a6c Experiments with support minimization. 2017-04-27 22:08:17 -07:00
Alan Mishchenko 0de189f4db Two small fixes. 2017-04-24 08:52:12 -07:00
Alan Mishchenko bef247a4cb Logic restructuring after mapping. 2017-04-23 09:45:23 -07:00
Alan Mishchenko 4124a00d4b Logic restructuring after mapping. 2017-04-19 22:53:01 -07:00
Alan Mishchenko 7d15b00e13 Logic restructuring after mapping. 2017-04-19 22:51:19 -07:00
Alan Mishchenko f401c17fac Logic restruturing after mapping. 2017-04-17 17:57:41 -04:00
Alan Mishchenko fb12c23ad5 Logic restruturing after mapping. 2017-04-17 17:50:10 -04:00
Yen-Sheng Ho 38e5c8c9e6 %pdra: added an option for disabling incremental solving 2017-04-16 22:03:47 -07:00
Alan Mishchenko fea18c2d42 Experiments with SAT sweeping. 2017-04-12 08:38:40 -07:00
Alan Mishchenko b1eaf714f2 Experiments with SAT sweeping. 2017-04-11 22:12:18 -07:00
Alan Mishchenko 79584f5e20 Experiments with SAT sweeping. 2017-04-11 21:06:42 -07:00
Alan Mishchenko 0d53eece0a Merged in ysho/abc (pull request #73) 
Improvements to %pdra
 2017-04-12 01:24:22 +00:00
Alan Mishchenko 000e51f323 Experiments with hashing. 2017-04-11 18:23:09 -07:00
Yen-Sheng Ho 2c443d20de merge 2017-04-10 16:21:13 -07:00
Alan Mishchenko 175b42b48f Experiments with hashing. 2017-04-10 14:17:03 -07:00
Yen-Sheng Ho 0f1a758c2f %pdra: bug fix 2017-04-09 17:59:34 -07:00
Yen-Sheng Ho 3c43851c36 %pdra: bug fix 2017-04-09 17:22:14 -07:00
Yen-Sheng Ho 3401ed364b %pdra: added top level callbacks 2017-04-09 14:38:37 -07:00
Alan Mishchenko fe3d334151 Experiments with hashing. 2017-04-08 18:37:32 -07:00
Alan Mishchenko dd51c29934 Experiments with don't-cares. 2017-04-08 14:35:29 -07:00
Yen-Sheng Ho 72c23923da merge 2017-04-06 14:18:50 -07:00
Yen-Sheng Ho 2761e5e35b small changes 2017-04-06 14:18:28 -07:00
Yen-Sheng Ho 131a51a4b5 %pdra: handled real CEXs; refactor 2017-04-06 14:15:26 -07:00
Alan Mishchenko efe5d1476a Adding stand-alone cut computation to GIA. 2017-04-05 22:06:29 -07:00
Alan Mishchenko 70b11df926 Adding stand-alone cut computation to GIA. 2017-04-05 22:03:16 -07:00
Alan Mishchenko 2373c5b15c Adding stand-alone cut computation to GIA. 2017-04-05 22:02:05 -07:00
Alan Mishchenko 304c63e860 Experiments with don't-cares. 2017-04-04 15:37:10 -07:00
Alan Mishchenko 44605f5af6 Experiments with don't-cares. 2017-04-04 03:17:24 -07:00
Alan Mishchenko f765e666ca Experiments with don't-cares. 2017-04-02 21:51:47 -07:00