summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Expand)AuthorAgeFilesLines
* Added Max/Min/Abs as static inline functions.Alan Mishchenko2011-03-271-0/+11
* Replaced remove() by unlink() to compile on Windows.Alan Mishchenko2011-02-271-2/+3
* fixes to pyabc kill mechanismBaruch Sterin2011-02-272-468/+15
* Added two new APIs for reading/writing CEX from/into ABC.Alan Mishchenko2011-02-191-0/+2
* fixes for dumb erros in utilSignal.c/hBaruch Sterin2011-02-151-19/+12
* Fixing g++ compilation issue for tmpFile().Alan Mishchenko2011-02-131-44/+29
* Unified the use of counter-examples in three packages (additional files).Alan Mishchenko2011-02-132-0/+275
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-132-13/+3
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-133-67/+29
* Minor changes to hash table and utilSignal.c.Alan Mishchenko2011-02-011-6/+6
* src/misc/util/utilSignal.cBaruch Sterin2011-02-011-1/+2
* 1. Replace system() with a function that responds to SIGINT. 2. Add functions...Baruch Sterin2011-02-013-1/+592
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-0/+6
* fixed compilation in linuxBaruch Sterin2010-11-012-2/+2
* initial commit of public abcAlan Mishchenko2010-11-016-21/+722
* Version abc90804Alan Mishchenko2015-06-221-0/+1
* Version abc90714Alan Mishchenko2015-06-222-6/+20
* Version abc90215Alan Mishchenko2009-02-153-100/+183
* Version abc90118Alan Mishchenko2009-01-182-34/+0
* Version abc81029Alan Mishchenko2008-10-291-1/+3
* Version abc80702Alan Mishchenko2008-07-021-0/+18
* Version abc80222Alan Mishchenko2008-02-221-0/+60
* Version abc80130_2Alan Mishchenko2008-01-3012-1230/+100
* Version abc80130Alan Mishchenko2008-01-3012-100/+1230
* Version abc71001Alan Mishchenko2007-10-014-0/+130
* Version abc70930Alan Mishchenko2007-09-304-130/+0
* Version abc60611Alan Mishchenko2006-06-111-2/+2
* Version abc60303Alan Mishchenko2006-03-031-0/+8
* Version abc60220Alan Mishchenko2006-02-2012-1230/+92
* Version abc50729Alan Mishchenko2005-07-2912-0/+1260