Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added printout of BMC tents in &ps. | Alan Mishchenko | 2012-02-19 | 1 | -7/+7 |
| | |||||
* | Added QuickSort based on 3-way partitioning. | Alan Mishchenko | 2012-02-19 | 2 | -15/+15 |
| | |||||
* | Added QuickSort based on 3-way partitioning. | Alan Mishchenko | 2012-02-19 | 2 | -19/+362 |
| | |||||
* | Silencing some of the gcc warnings. | Alan Mishchenko | 2012-02-16 | 1 | -0/+2 |
| | |||||
* | Removed unused 'bool' definition and unused memory management macros. | Alan Mishchenko | 2012-02-07 | 1 | -19/+0 |
| | |||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 9 | -34/+48 |
| | |||||
* | New hierarchy manager. | Alan Mishchenko | 2012-01-17 | 1 | -2/+2 |
| | |||||
* | Added new name manager and modified hierarchy manager to use it. | Alan Mishchenko | 2012-01-13 | 4 | -0/+592 |
| | |||||
* | Enabled counter-example minimization in 'write_counter'. | Alan Mishchenko | 2011-11-11 | 2 | -1/+20 |
| | |||||
* | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 1 | -0/+452 |
| | |||||
* | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 2 | -1/+5 |
| | |||||
* | Enhancing printing of counter-examples. | Alan Mishchenko | 2011-07-25 | 2 | -3/+33 |
| | |||||
* | Updated 'iprove' to generate seq CEX when CEC fails. | Alan Mishchenko | 2011-06-25 | 2 | -0/+26 |
| | |||||
* | Added Max/Min/Abs as static inline functions. | Alan Mishchenko | 2011-03-27 | 1 | -0/+11 |
| | |||||
* | Replaced remove() by unlink() to compile on Windows. | Alan Mishchenko | 2011-02-27 | 1 | -2/+3 |
| | |||||
* | fixes to pyabc kill mechanism | Baruch Sterin | 2011-02-27 | 2 | -468/+15 |
| | |||||
* | Added two new APIs for reading/writing CEX from/into ABC. | Alan Mishchenko | 2011-02-19 | 1 | -0/+2 |
| | |||||
* | fixes for dumb erros in utilSignal.c/h | Baruch Sterin | 2011-02-15 | 1 | -19/+12 |
| | |||||
* | Fixing g++ compilation issue for tmpFile(). | Alan Mishchenko | 2011-02-13 | 1 | -44/+29 |
| | |||||
* | Unified the use of counter-examples in three packages (additional files). | Alan Mishchenko | 2011-02-13 | 2 | -0/+275 |
| | |||||
* | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 2 | -13/+3 |
| | |||||
* | Changes to enable C++ compilation after recent modifications. | Alan Mishchenko | 2011-02-13 | 3 | -67/+29 |
| | |||||
* | Minor changes to hash table and utilSignal.c. | Alan Mishchenko | 2011-02-01 | 1 | -6/+6 |
| | |||||
* | src/misc/util/utilSignal.c | Baruch Sterin | 2011-02-01 | 1 | -1/+2 |
| | |||||
* | 1. Replace system() with a function that responds to SIGINT. 2. Add ↵ | Baruch Sterin | 2011-02-01 | 3 | -1/+592 |
| | | | | functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling. | ||||
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 1 | -0/+6 |
| | |||||
* | fixed compilation in linux | Baruch Sterin | 2010-11-01 | 2 | -2/+2 |
| | |||||
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 6 | -21/+722 |
| | |||||
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 1 | -0/+1 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 2 | -6/+20 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 3 | -100/+183 |
| | |||||
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 2 | -34/+0 |
| | |||||
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -1/+3 |
| | |||||
* | Version abc80702 | Alan Mishchenko | 2008-07-02 | 1 | -0/+18 |
| | |||||
* | Version abc80222 | Alan Mishchenko | 2008-02-22 | 1 | -0/+60 |
| | |||||
* | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 12 | -1230/+100 |
| | |||||
* | Version abc80130 | Alan Mishchenko | 2008-01-30 | 12 | -100/+1230 |
| | |||||
* | Version abc71001 | Alan Mishchenko | 2007-10-01 | 4 | -0/+130 |
| | |||||
* | Version abc70930 | Alan Mishchenko | 2007-09-30 | 4 | -130/+0 |
| | |||||
* | Version abc60611 | Alan Mishchenko | 2006-06-11 | 1 | -2/+2 |
| | |||||
* | Version abc60303 | Alan Mishchenko | 2006-03-03 | 1 | -0/+8 |
| | |||||
* | Version abc60220 | Alan Mishchenko | 2006-02-20 | 12 | -1230/+92 |
| | |||||
* | Version abc50729 | Alan Mishchenko | 2005-07-29 | 12 | -0/+1260 |