summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Collapse)AuthorAgeFilesLines
* Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).Alan Mishchenko2011-02-221-5/+10
|
* Implemented additional filtering of equivalences (&srm -sf).Alan Mishchenko2011-02-211-8/+13
|
* Moved two new APIs for reading/writing CEX from/into ABC from abc.c to ↵Alan Mishchenko2011-02-191-36/+0
| | | | mainFrame.c.
* Changes to support sequential verification with reduction without speculation.Alan Mishchenko2011-02-191-405/+0
|
* Added two new APIs for reading/writing CEX from/into ABC.Alan Mishchenko2011-02-191-12/+120
|
* Adding one more control switch to CEC commands (i)prove.Alan Mishchenko2011-02-191-4/+28
|
* Improvements to CEC command iprove.Alan Mishchenko2011-02-182-8/+94
|
* Fixing the problem with writing/reading bug-free depth in status files.Alan Mishchenko2011-02-171-6/+13
|
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-135-21/+19
|
* Bug fix in setting the number of finished frames when reading a status file.Alan Mishchenko2011-02-111-1/+1
|
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-071-0/+15
|
* Eneabled writing/reading pAbc->nFrames into/from status files.Alan Mishchenko2011-02-042-14/+16
|
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-031-25/+25
|
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-012-25/+313
|
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-135-169/+530
|
* Initial integration of PDRAlan Mishchenko2010-12-032-1/+119
|
* An option to output verbose stats about timeframe sizes during unrollingAlan Mishchenko2010-11-291-0/+7
|
* Bug fix: alloing "dsat" to work on multi-output conesAlan Mishchenko2010-11-291-1/+5
|
* Fix for write_status/read_status to use PO indexAlan Mishchenko2010-11-291-4/+11
|
* NPN class computation.Alan Mishchenko2010-11-283-8/+752
|
* Added command "testcex".Alan Mishchenko2010-11-281-54/+312
|
* initial commit of public abcAlan Mishchenko2010-11-0174-5671/+12709
|
* Version abc90901Alan Mishchenko2015-06-222-77/+152
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90813Alan Mishchenko2015-06-221-0/+46
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90809Alan Mishchenko2015-06-221-2/+6
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90807Alan Mishchenko2015-06-223-7/+72
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90804Alan Mishchenko2015-06-223-342/+508
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90715Alan Mishchenko2015-06-221-11/+16
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90714Alan Mishchenko2015-06-224-86/+429
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90528Alan Mishchenko2015-06-222-17/+118
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90505Alan Mishchenko2009-05-053-13/+111
|
* Version abc90424Alan Mishchenko2009-04-244-31/+189
|
* Version abc90413Alan Mishchenko2009-04-132-14/+34
|
* Version abc90410Alan Mishchenko2009-04-105-26/+71
|
* Version abc90408Alan Mishchenko2009-04-0812-39/+152
|
* Version abc90405Alan Mishchenko2009-04-051-4/+11
|
* Version abc90329Alan Mishchenko2009-03-294-102/+420
|
* Version abc90321Alan Mishchenko2009-03-212-31/+159
|
* Version abc90315Alan Mishchenko2009-03-153-85/+573
|
* Version abc90313Alan Mishchenko2009-03-132-34/+97
|
* Version abc90311Alan Mishchenko2009-03-111-26/+296
|
* Version abc90310Alan Mishchenko2009-03-105-490/+1140
|
* Version abc90220Alan Mishchenko2009-02-202-10/+47
|
* Version abc90217Alan Mishchenko2009-02-171-1/+90
|
* Version abc90215Alan Mishchenko2009-02-1552-483/+2239
|
* Version abc90118Alan Mishchenko2009-01-1812-163/+2953
|
* Version abc81029Alan Mishchenko2008-10-292-20/+228
|
* Version abc81027Alan Mishchenko2008-10-272-24/+352
|
* Version abc81025Alan Mishchenko2008-10-252-4/+4
|
* Version abc81014_2Alan Mishchenko2008-10-141-2/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-25 06:39:43 +0000