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

4091 Commits

Author SHA1 Message Date
Alan Mishchenko 2e56f44c66 Compiler warnings. 2017-07-22 11:41:17 +07:00
Alan Mishchenko 66af4ae6d1 Experiments with BMC. 2017-07-22 11:16:07 +07:00
Alan Mishchenko 55771ee014 Experiments with BMC. 2017-07-22 11:13:40 +07:00
Alan Mishchenko a5e9563a0f Handling corner cases in TT print-out. 2017-07-21 14:10:46 +07:00
Alan Mishchenko 9ff1776d06 Experiments with logic optimization. 2017-07-21 12:38:18 +07:00
Alan Mishchenko c19d2289f2 Accidental change. 2017-07-17 12:31:31 -07:00
Alan Mishchenko e24a3d52f6 Commenting out things in GIA constant sweeping. 2017-07-14 16:03:19 -07:00
Alan Mishchenko a2e73612b4 Bug fix in MiniLUT APIs. 2017-07-12 14:26:46 -07:00
Alan Mishchenko ff89090dad Supporting CO attributes in GIA. 2017-07-12 12:22:48 -07:00
Alan Mishchenko ccdc974f8a Making MiniLUT work for more than 6 inputs. 2017-07-08 09:50:17 -07:00
Alan Mishchenko 4886a4ef4c Adding new type of MUX blasting. 2017-07-07 23:40:59 -07:00
Alan Mishchenko 1676df19e7 Adding new command line options for &verify and &synch2. 2017-07-06 21:13:53 -07:00
Alan Mishchenko 4712edc097 Commenting out useless assertion. 2017-07-06 21:13:25 -07:00
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