summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* 64-bit portability changes.Alan Mishchenko2011-09-171-2/+2
|
* Several bug fixes.Alan Mishchenko2011-08-021-0/+19
|
* Changes and simplifications in Vec_Vec_t data-structure.Alan Mishchenko2011-08-011-34/+83
|
* Added new APIs to integer vector.Alan Mishchenko2011-07-311-0/+40
|
* 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
|
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+4
|
* Added procedure to vector package and manager template file.Alan Mishchenko2011-04-101-0/+2
|
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-072-14/+40
|
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-9/+129
|
* Added Max/Min/Abs as static inline functions.Alan Mishchenko2011-03-271-0/+11
|
* Fixing bugs in the new procedures added to the library.Alan Mishchenko2011-03-052-16/+39
|
* Adding new procedures to the library.Alan Mishchenko2011-03-052-0/+202
|
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-032-19/+14
|
* 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-152-22/+18
|
* Improved timeout in the BDD reachability engines.Alan Mishchenko2011-02-131-0/+5
|
* 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-135-70/+32
|
* Portability changes to the st package.Alan Mishchenko2011-02-134-41/+75
|
* Yet another update to the runtime control in BDD operations.Alan Mishchenko2011-02-072-4/+193
|
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-073-0/+478
|
* Minor changes to hash table and utilSignal.c.Alan Mishchenko2011-02-012-8/+7
|
* merge pyabc changes into mainlineBaruch Sterin2011-02-014-8/+152
|\
| * Cumulative changes of the last two weeks.Alan Mishchenko2011-02-015-8/+512
| |
* | src/misc/util/utilSignal.cBaruch Sterin2011-02-011-1/+2
| |
* | 1. Replace system() with a function that responds to SIGINT. 2. Add ↵Baruch Sterin2011-02-014-1/+957
|/ | | | functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-0/+6
|
* Code formatting changeAlan Mishchenko2010-11-291-8/+8
|
* Adding missing license agreementsAlan Mishchenko2010-11-291-0/+31
|
* fixed compilation in linuxBaruch Sterin2010-11-013-2/+2
|
* initial commit of public abcAlan Mishchenko2010-11-01145-3141/+7230
|
* Version abc90901Alan Mishchenko2015-06-222-2/+40
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90807Alan Mishchenko2015-06-222-1/+23
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90804Alan Mishchenko2015-06-221-0/+1
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90714Alan Mishchenko2015-06-224-7/+42
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90408Alan Mishchenko2009-04-085-11/+11
|
* Version abc90315Alan Mishchenko2009-03-152-1/+2
|
* Version abc90310Alan Mishchenko2009-03-104-12/+56
|
* Version abc90215Alan Mishchenko2009-02-1542-627/+582
|
* Version abc90118Alan Mishchenko2009-01-189-51/+894
|
* Version abc81029Alan Mishchenko2008-10-292-3/+64
|
* Version abc81013Alan Mishchenko2008-10-131-10/+28
|
* Version abc81004Alan Mishchenko2008-10-041-12/+24
|