summaryrefslogtreecommitdiffstats
path: root/src/proof/abs
Commit message (Expand)AuthorAgeFilesLines
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-2/+2
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-213-5/+5
* Integrating Satoko into 'bmc' and 'bmc2'.Alan Mishchenko2017-08-162-2/+2
* Compiler warnings.Alan Mishchenko2017-07-221-1/+1
* Adding dump of trivial abstraction map at the beginning in &gla -m.Alan Mishchenko2017-02-251-15/+25
* Adding dump of trivial abstraction map at the beginning in &gla -m.Alan Mishchenko2017-02-251-1/+19
* Improvements to 'satclp'.Alan Mishchenko2015-10-281-0/+81
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-1/+1
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-232-9/+10
* Adding resource limit to stop &gla when the number of remaining objects is le...Alan Mishchenko2013-09-211-0/+8
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-5/+5
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2712-145/+145
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-6/+1
* New fast extract.Alan Mishchenko2013-04-271-21/+0
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* Compiler warnings.Alan Mishchenko2013-02-211-1/+1
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-1/+1
* Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() form...Alan Mishchenko2013-01-082-31/+162
* Fixing C++ compilation issues.Alan Mishchenko2013-01-083-3/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-083-3/+0
* Unifification of custom extensions.Alan Mishchenko2012-12-103-4/+4
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-092-7/+6
* Corner-case bug fix in &rpm.Alan Mishchenko2012-12-091-0/+5
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-143-0/+3
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-5/+5
* Enabling verbose report of dumping abstraction in GLA.Alan Mishchenko2012-11-071-4/+4
* Improvements to LMS code.Alan Mishchenko2012-11-061-1/+1
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-2/+2
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-1/+2
* Updating readme.Alan Mishchenko2012-10-061-1/+2
* C++ portability changes.Alan Mishchenko2012-10-033-3/+3
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* C++ portability changes.Alan Mishchenko2012-10-031-4/+4
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-10/+10
* Structural reparametrization.Alan Mishchenko2012-10-021-77/+231
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-023-0/+206
* Structural reparametrization.Alan Mishchenko2012-10-021-125/+120
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-70/+32
* Structural reparametrization.Alan Mishchenko2012-10-011-28/+312
* Structural reparametrization.Alan Mishchenko2012-09-302-0/+394
* Correcting comment related to pthreads.Alan Mishchenko2012-09-241-1/+1
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-203-12/+16
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-201-1/+15
* Moving binary IO streams to the vector package.Alan Mishchenko2012-09-171-1/+1
* Improving printouts in &gla.Alan Mishchenko2012-09-161-17/+8
* Improving printouts in &gla.Alan Mishchenko2012-09-163-11/+15
* Changed a few things in the refinement package of &gla.Alan Mishchenko2012-09-163-23/+117
* Restructured the code to post-process object used during refinement in &gla.Alan Mishchenko2012-09-1610-311/+343
* Made abstraction and PDR communicate in-memory rather than through a file.Alan Mishchenko2012-09-163-65/+59
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 21:25:01 +0000