summaryrefslogtreecommitdiffstats
path: root/src/misc/util/abc_global.h
Commit message (Expand)AuthorAgeFilesLines
* 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