Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Silencing remaining gcc warnings. | Alan Mishchenko | 2012-03-09 | 1 | -2/+2 |
| | |||||
* | Some fixes for VTA under Bridge. | Niklas Een | 2012-03-03 | 1 | -1/+1 |
| | |||||
* | Counterexamples now work in Bridge | Niklas Een | 2012-03-03 | 1 | -1/+3 |
| | |||||
* | Some fixes to the Bridge code. More to do. | Niklas Een | 2012-03-03 | 1 | -8/+21 |
| | |||||
* | Removed warning in Abc_Print | Niklas Een | 2012-03-02 | 1 | -28/+27 |
| | |||||
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -6/+6 |
| | |||||
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -18/+6 |
| | |||||
* | Adding features related to the communication bridge. | Alan Mishchenko | 2012-03-02 | 2 | -96/+109 |
| | |||||
* | Created a communication bridge. | Alan Mishchenko | 2012-03-01 | 3 | -9/+184 |
| | |||||
* | Created a communication bridge. | Alan Mishchenko | 2012-03-01 | 2 | -1/+371 |
| | |||||
* | 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 |
| |