luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-02 23:38:56 +02:00
Code Issues Packages Projects Releases Wiki Activity
2,969 Commits 30 Branches 59 Tags
24dbdbae23b35b9c578921db7a671ea80b1e2c9b
Commit Graph
167 Commits
Author SHA1 Message Date
Alan Mishchenko 6733abd72e Exprimental features in tech-mapping. 2014-12-21 01:04:39 -08:00
Alan Mishchenko b379b3ee20 Adding new mapping feature. 2014-12-11 20:45:41 -08:00
Alan Mishchenko 3e2fad3574 Changes to the parser. 2014-12-04 18:23:20 -08:00
Alan Mishchenko 705006a648 Changes to the parser. 2014-12-03 20:35:39 -08:00
Alan Mishchenko 24f1ca0703 New parser and framework. 2014-11-29 14:36:26 -08:00
Alan Mishchenko df83fb5e04 Fix in reading flop classes. 2014-11-21 12:01:26 -08:00
Alan Mishchenko 3ac8aa9c12 Recommended changes for portability. 2014-10-12 09:10:27 -07:00
Alan Mishchenko 01e1b6345e Bug fix in the bit-blaster. 2014-10-10 13:46:58 -07:00
Alan Mishchenko b8bd21c82d Improvements to ISOP. 2014-10-10 12:59:30 -07:00
Alan Mishchenko e4d5887671 Detection of threshold functions. 2014-10-08 10:41:20 -07:00
Alan Mishchenko bd0373daf5 New ISOP computation. 2014-10-07 13:02:50 -07:00
Alan Mishchenko 4c7165a4f7 New ISOP computation. 2014-10-04 17:56:08 -07:00
Alan Mishchenko dc9d327a58 Extending resource limit. 2014-09-20 23:11:32 -07:00
Alan Mishchenko b05ee94311 Improvements to Boolean matching. 2014-09-19 14:06:51 -07:00
Alan Mishchenko 1d5cb52e4a Improvements to Boolean matching. 2014-09-16 11:56:40 -07:00
Alan Mishchenko dcb7d0d3fc New word-level representation package. 2014-09-12 13:40:48 -07:00
Alan Mishchenko a3a6002b3d Compiler warnings. 2014-08-04 15:34:34 -07:00
Alan Mishchenko edba505d9d Profiling code for SOP/DSD/LMS balancing. 2014-08-02 17:01:48 -07:00
Alan Mishchenko ce92ee2b4d Changes and improvements to different packages. 2014-06-30 00:34:51 -07:00
Alan Mishchenko a68ec38df1 Changes and improvements to different packages. 2014-06-26 09:51:53 -07:00
Alan Mishchenko 938ffa5a7d Improvements to CNF generation. 2014-06-23 14:01:51 -07:00
Alan Mishchenko 44d9c7e543 Improvements to CNF generation. 2014-06-23 13:11:59 -07:00
Alan Mishchenko 9842a666e6 Experiments with CNF generation. 2014-06-18 17:28:20 -07:00
Alan Mishchenko dd867b404a Added transformation of CEX after 'fix_aig' and checking of transformed CEXes using 'testcex -a'. 2014-06-17 12:21:48 -07:00
Alan Mishchenko 0ac22c9e1d Specializing some truth-table functions to 6 inputs. 2014-06-14 18:29:19 -07:00
Alan Mishchenko ccaa96549f Fixing the problem with 'phase -c'. 2014-05-29 10:39:55 -07:00
Alan Mishchenko 17c382c33a Command to test console colors. 2014-04-10 18:07:54 -07:00
Alan Mishchenko a2050baf6b Command to test console colors. 2014-04-10 17:56:31 -07:00
Alan Mishchenko 37fd2b93a5 Command to test console colors. 2014-04-10 17:49:35 -07:00
Alan Mishchenko 0fef5d6031 Command to test console colors. 2014-04-10 17:47:41 -07:00
Alan Mishchenko f6ae0e41f3 Better CEX minimization and renaming of write_counter into write_cex. 2014-04-04 13:14:16 -07:00
Alan Mishchenko 46532e6c2f Significant improvement to LUT mappers (if, &if). 2014-02-16 19:30:38 -08:00
Alan Mishchenko d8b4d8dfbb Fix in represneting constants in a platform-independent way. 2014-02-10 17:18:52 -08:00
Aaron Tomb 56378651c7 Fix parenthesization of Abc_Clock #ifdef. 
The previous location of parentheses led to an attempt to compile
against Linux-only clock APIs when building on 32-bit OS X.
 2013-11-06 16:35:02 -08:00
Alan Mishchenko e3560904ec Merged in atomb/abc (pull request #1) 
Several patches to fix compilation under MINGW32
 2013-11-05 13:41:39 -08:00
Alan Mishchenko a1d2ba0fcc Tuning for multi-ouptut solver. 2013-11-04 22:30:27 -08:00
Aaron Tomb aa2eae5cab Don't assume MSVC when __MINGW32__ set. 2013-11-04 14:28:32 -08:00
Aaron Tomb 6a4d430e60 Choose Windows file operations with MINGW32. 2013-11-04 14:27:09 -08:00
Aaron Tomb cf1746e348 Make definition of Abc_Clock work with MINGW32. 2013-11-04 14:25:55 -08:00
Alan Mishchenko 80f46fa2ae Compiler warnings. 2013-10-30 10:29:44 -04:00
Alan Mishchenko 2c7f39026a Extending truth table support in &jf for more than 6 inputs. 2013-10-10 14:45:19 -07:00
Alan Mishchenko 33695bed11 Improvements to the canonical form computation. 2013-10-10 12:35:27 -07:00
Alan Mishchenko 7a1c4ee867 Moved the code to a different file. 2013-10-06 16:16:21 -07:00
Alan Mishchenko e1986d0433 Towards better Boolean matching. 2013-10-05 22:52:15 -07:00
Alan Mishchenko a4a1053d98 Towards better Boolean matching. 2013-10-05 22:44:02 -07:00
Niklas Een c9635d029e Added 'abort' message in bridge mode for pdr -a timeout 2013-10-04 15:20:42 -07:00
Niklas Een 4cc3203110 Fixed a bug in Bridge mode 2013-09-27 00:17:59 -07:00
Alan Mishchenko e446cfca15 Added bridge integration for multi-output 'pdr -a'. 2013-09-16 14:54:11 -07:00
Alan Mishchenko 653dc8cff5 Added bridge integration for multi-output 'pdr -a'. 2013-09-16 14:46:07 -07:00
Alan Mishchenko 3b1cf0976c Added bridge integration for multi-output 'pdr -a'. 2013-09-16 14:39:37 -07:00