summaryrefslogtreecommitdiffstats
path: root/src/misc/util/abc_global.h
Commit message (Expand)AuthorAgeFilesLines
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-0/+6
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+4
* DSD manager.Alan Mishchenko2012-11-191-0/+1
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+1
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-301-4/+13
* Adding #ifdef to guard windows-specific debugging option.Alan Mishchenko2012-10-201-3/+5
* C++ portability changes.Alan Mishchenko2012-10-031-5/+6
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-251-0/+1
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-101-6/+6
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-13/+13
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-12/+18
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-0/+19
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-6/+8
* Added option to compile on windows without DLL support.Alan Mishchenko2012-06-151-2/+7
* Removed warning in Abc_PrintNiklas Een2012-03-021-28/+27
* Redirecting printf messages.Alan Mishchenko2012-03-021-6/+6
* Redirecting printf messages.Alan Mishchenko2012-03-021-18/+6
* Adding features related to the communication bridge.Alan Mishchenko2012-03-021-8/+8
* Created a communication bridge.Alan Mishchenko2012-03-011-3/+15
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-5/+5
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-2/+10
* Removed unused 'bool' definition and unused memory management macros.Alan Mishchenko2012-02-071-19/+0
* Major restructuring of the code.Alan Mishchenko2012-01-211-18/+34
* Added new name manager and modified hierarchy manager to use it.Alan Mishchenko2012-01-131-0/+27
* Added new sorting procedures.Alan Mishchenko2011-07-311-0/+3
* Added Max/Min/Abs as static inline functions.Alan Mishchenko2011-03-271-0/+11
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-12/+0
* initial commit of public abcAlan Mishchenko2010-11-011-8/+125
* Version abc90804Alan Mishchenko2015-06-221-0/+1
* Version abc90714Alan Mishchenko2015-06-221-5/+19
* Version abc90215Alan Mishchenko2009-02-151-0/+178