summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Expand)AuthorAgeFilesLines
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-181-1/+1
* 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
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-072-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-3/+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
* Misc changes.Alan Mishchenko2012-04-202-1/+4
* Silencing remaining gcc warnings.Alan Mishchenko2012-03-091-2/+2
* Some fixes for VTA under Bridge.Niklas Een2012-03-031-1/+1
* Counterexamples now work in BridgeNiklas Een2012-03-031-1/+3
* Some fixes to the Bridge code. More to do.Niklas Een2012-03-031-8/+21
* 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-022-96/+109
* Created a communication bridge.Alan Mishchenko2012-03-013-9/+184
* Created a communication bridge.Alan Mishchenko2012-03-012-1/+371
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-191-7/+7
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-15/+15
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-19/+362
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-0/+2
* Removed unused 'bool' definition and unused memory management macros.Alan Mishchenko2012-02-071-19/+0
* Major restructuring of the code.Alan Mishchenko2012-01-219-34/+48
* New hierarchy manager.Alan Mishchenko2012-01-171-2/+2
* Added new name manager and modified hierarchy manager to use it.Alan Mishchenko2012-01-134-0/+592
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-112-1/+20
* Added new sorting procedures.Alan Mishchenko2011-07-311-0/+452
* Added new sorting procedures.Alan Mishchenko2011-07-312-1/+5
* Enhancing printing of counter-examples.Alan Mishchenko2011-07-252-3/+33
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-252-0/+26
* 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