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

44 Commits

Author SHA1 Message Date
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
Aaron Tomb aa2eae5cab Don't assume MSVC when __MINGW32__ set. 2013-11-04 14:28:32 -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 7013e0b672 Small changes to compile on Mac. 2013-08-15 00:58:23 -07:00
Alan Mishchenko 64e2ee223b Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem on some platforms. 2013-07-01 14:07:42 -07:00
Alan Mishchenko 13dd754a8c Suggested changes to counting time in Abc_Clock() 2013-06-18 11:26:37 -07:00
Alan Mishchenko 22bdf62465 Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:14:42 -07:00
Alan Mishchenko 19c25fd6aa Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:09:23 -07:00
Alan Mishchenko 7e293ebe08 User-controlable SAT sweeper. 2013-02-25 22:07:32 -05:00
Alan Mishchenko 7e598cd231 Fixing compilation problems on Linux-32 related to constants of type unsigned long long. 2013-01-30 16:15:53 +07:00
Alan Mishchenko a625caa17d Fixing C++ compilation issues. 2013-01-08 13:56:20 +08:00
Alan Mishchenko ffbe3bc576 DSD manager. 2012-11-19 23:42:05 -08: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
Alan Mishchenko 84b54597b4 Adding #ifdef to guard windows-specific debugging option. 2012-10-20 22:58:42 -07:00
Alan Mishchenko 56d3d7cd22 C++ portability changes. 2012-10-03 21:49:18 -07:00
Alan Mishchenko 19d50b98a1 New package to read/write a subset of Liberty for STA. 2012-08-25 12:34:54 -07:00
Alan Mishchenko 65b652fadb Added purification of UNSAT core in &gla. 2012-08-10 09:31:03 -07:00
Alan Mishchenko fd33975aa5 Fixing the integer print-out problem. 2012-07-13 20:16:52 -07:00
Alan Mishchenko 5d01ed7fc6 Fixing the integer print-out problem. 2012-07-13 19:30:04 -07:00
Alan Mishchenko b9ee5d8564 Improvements in the proof-logging SAT solver. 2012-07-11 12:45:46 -07:00
Alan Mishchenko 908d5e696c Replacing Mb/Gb to be MB/GB. 2012-07-09 22:57:03 -07:00
Alan Mishchenko 00eafb2325 Fixing time printouts in 'pdr'. 2012-07-07 09:27:28 -07:00
Alan Mishchenko 70331b585b Fixing time printouts in 'pdr'. 2012-07-07 08:43:03 -07:00
Alan Mishchenko 735a831e13 Added memory reporting to &vta. 2012-06-22 10:30:22 -07:00
Alan Mishchenko 082d27ede8 Added option to compile on windows without DLL support. 2012-06-15 08:39:46 -07:00
Niklas Een 1e40c5b79f Removed warning in Abc_Print 2012-03-02 16:28:32 -08:00
Alan Mishchenko 7fa9de2da4 Redirecting printf messages. 2012-03-02 01:31:44 -08:00
Alan Mishchenko c47dc99a94 Redirecting printf messages. 2012-03-02 01:15:40 -08:00
Alan Mishchenko 7926d75ecb Adding features related to the communication bridge. 2012-03-02 00:57:48 -08:00
Alan Mishchenko a6f363d461 Created a communication bridge. 2012-03-01 22:36:34 -08:00
Alan Mishchenko c2b2e99284 Added QuickSort based on 3-way partitioning. 2012-02-19 13:19:35 -08:00
Alan Mishchenko 596bbbe6dc Added QuickSort based on 3-way partitioning. 2012-02-19 13:16:51 -08:00
Alan Mishchenko 274e8ada94 Removed unused 'bool' definition and unused memory management macros. 2012-02-07 19:59:14 -08:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08:00
Alan Mishchenko 095345fc4a Added new name manager and modified hierarchy manager to use it. 2012-01-13 15:43:09 -08:00
Alan Mishchenko 4ffe37b34b Added new sorting procedures. 2011-07-31 16:16:49 +07:00
Alan Mishchenko d97e5d6803 Added Max/Min/Abs as static inline functions. 2011-03-27 11:35:18 -07:00
Alan Mishchenko 71cbf17e7f Unified the use of counter-examples in three packages. 2011-02-13 17:46:48 -08:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -07:00
Alan Mishchenko da65e88e3b Version abc90804 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:59 -07:00
Alan Mishchenko 0398ced824 Version abc90714 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:53 -07:00
Alan Mishchenko 0871bffae3 Version abc90215 2009-02-15 08:01:00 -08:00