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

1512 Commits

Author SHA1 Message Date
Alan Mishchenko 42e767c294 External APIs needed to use ABC as a static library. 2012-10-31 10:49:38 -07:00
Alan Mishchenko 770838254a Increasing memory page limit in the main SAT solver. 2012-10-31 10:22:54 -07:00
Alan Mishchenko 74986b2853 Improvements to the truth table computations. 2012-10-31 01:42:28 -07:00
Alan Mishchenko ce1ea73238 Removed 'send_cex'. 2012-10-31 01:36:14 -07:00
Alan Mishchenko ee939fa0dd Improvements to the truth table computations. 2012-10-31 01:33:13 -07:00
Alan Mishchenko d8e84ce666 Improvements to the truth table computations. 2012-10-31 01:22:16 -07:00
Alan Mishchenko 6f3425150b Improvements to the truth table computations. 2012-10-31 00:11:30 -07:00
Alan Mishchenko 66c044c688 Improvements to the truth table computations. 2012-10-30 23:42:04 -07:00
Alan Mishchenko 32b09a1e7b Improvements to the truth table computations. 2012-10-30 22:33:30 -07:00
Alan Mishchenko 3dfa92f288 Improvements to the truth table computations. 2012-10-30 22:28:48 -07:00
Alan Mishchenko 0fafe786ae Improvements to the truth table computations. 2012-10-30 22:25:45 -07:00
Niklas Een 77fde55b1b Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixed printf -> Abc_Print in some places. 2012-10-30 19:09:40 -07:00
Niklas Een 7da6ef1c02 Removed CEX communication through bridge in Abc_FrameReplaceCex 2012-10-30 13:02:11 -07:00
Niklas Een e353c4b75c Merge 2012-10-30 12:38:57 -07:00
Alan Mishchenko 9b8d362854 Added new bridge commands. 2012-10-29 23:50:47 -07:00
Alan Mishchenko c3298ec225 Improvements to the truth table computation in 'if' package. 2012-10-29 23:27:41 -07:00
Niklas Een c3168ba661 Replaced printfs with Abc_Print 2012-10-29 15:35:02 -07:00
Niklas Een 1e8565eee3 Replaced printfs with Abc_Print 2012-10-29 15:28:30 -07:00
Niklas Een c3a773d94f Replaced printfs with Abc_Print 2012-10-29 15:27:40 -07:00
Niklas Een f21615ecc2 Replaced printfs with Abc_Print 2012-10-29 15:26:39 -07:00
Niklas Een 6f32f2b854 Replaced printfs with Abc_Print 2012-10-29 15:24:28 -07:00
Alan Mishchenko 90529df059 Tentatively integrated new DSD. 2012-10-29 13:39:05 -07:00
Alan Mishchenko d94c8d3fd1 Enumerating decompositions. 2012-10-29 13:12:33 -07:00
Alan Mishchenko 68d360c2d0 Move truth table code into a separte file. 2012-10-28 19:42:20 -07:00
Alan Mishchenko f5a8cf99c0 Improvements to LMS code. 2012-10-28 18:58:43 -07:00
Alan Mishchenko d8d820052e Improvements to LMS code. 2012-10-28 18:50:10 -07:00
Alan Mishchenko 12dda47081 Improvements to LMS code. 2012-10-28 18:22:17 -07:00
Alan Mishchenko 15895cd2e3 Improvements to LMS code. 2012-10-28 18:17:28 -07:00
Alan Mishchenko c73c37a99d Improvements to LMS code. 2012-10-28 16:16:34 -07:00
Alan Mishchenko 4e52703b8a Improvements to LMS code. 2012-10-27 18:03:57 -07:00
Alan Mishchenko ab2dfec272 Improvements to LMS code. 2012-10-27 17:38:45 -07:00
Alan Mishchenko 94d722c58e Improvements to LMS code. 2012-10-27 17:33:13 -07:00
Alan Mishchenko cb7bf6ae9e Improvements to the truth table computation in 'if' package. 2012-10-26 22:36:00 -07:00
Alan Mishchenko f416e84965 Enables printout of fanout count in critical path. 2012-10-26 16:32:04 -07:00
Alan Mishchenko da0e1a3006 Integrating GIA with LUT mapping. 2012-10-25 23:06:32 -07:00
Alan Mishchenko b733b813d6 Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate constant. 2012-10-25 22:50:29 -07:00
Alan Mishchenko 37107a3b18 Added new API to traverse the cut in the mapper. 2012-10-25 22:10:24 -07:00
Alan Mishchenko fac3976621 Adding binary file dumping for truth tables. 2012-10-25 13:55:04 -07:00
Alan Mishchenko 059da57476 Adding binary file dumping for truth tables. 2012-10-25 11:45:19 -07:00
Alan Mishchenko 785ae9e4db Changing the defaults of command 'collapse'. 2012-10-25 11:16:11 -07:00
Alan Mishchenko 7ecea8d40d Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>). 2012-10-24 21:12:50 -07:00
Alan Mishchenko e9e8f17942 Integrating GIA with LUT mapping. 2012-10-24 20:00:20 -07:00
Alan Mishchenko 6b96d9a84e Integrating GIA with LUT mapping. 2012-10-24 17:39:38 -07:00
Alan Mishchenko 5cd1396b3d Creating dedicated choice representation for GIA. 2012-10-24 12:22:46 -07:00
Alan Mishchenko bc21cb41b4 Adding frontier comptuation based on reversed CO order in &ps. 2012-10-24 10:43:55 -07:00
Alan Mishchenko 2be812b4e0 Fixing frontier computation in &ps. 2012-10-24 10:32:05 -07:00
Alan Mishchenko e9783622a2 Disabling SAT sweeping in 'map' by default. 2012-10-23 12:08:15 -07:00
Alan Mishchenko 84b54597b4 Adding #ifdef to guard windows-specific debugging option. 2012-10-20 22:58:42 -07:00
Alan Mishchenko 7235d74010 Bug fix in hierarchical BLIF reader. 2012-10-11 23:25:40 -07:00
Alan Mishchenko 0294fc7861 Commenting out printout. 2012-10-10 17:35:33 -07:00