 Alan Mishchenko
|
de984d7f90
|
Fixing corner-case bugs in &srm -s.
|
2011-02-28 21:55:40 -08:00 |
|
|
Alan Mishchenko
|
6119f7068a
|
Cumulative update to BDD-based reachability, speeding up &reachm and other changes.
|
2011-02-28 14:52:51 -08:00 |
|
|
Alan Mishchenko
|
39839c3feb
|
Updated read_status/write_status to correctly handle the case of seq cex without regs.
|
2011-02-27 20:57:27 -08:00 |
|
|
Alan Mishchenko
|
2f874d27fc
|
Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).
|
2011-02-22 12:47:55 -08:00 |
|
|
Alan Mishchenko
|
75ee395f91
|
Implemented additional filtering of equivalences (&srm -sf).
|
2011-02-21 15:09:51 -08:00 |
|
|
Alan Mishchenko
|
ab75993d28
|
Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFrame.c.
|
2011-02-19 16:53:11 -08:00 |
|
|
Alan Mishchenko
|
e3f88c81c6
|
Changes to support sequential verification with reduction without speculation.
|
2011-02-19 16:47:05 -08:00 |
|
|
Alan Mishchenko
|
2619edf8c0
|
Added two new APIs for reading/writing CEX from/into ABC.
|
2011-02-19 16:43:00 -08:00 |
|
|
Alan Mishchenko
|
443cc01782
|
Another corner-case bug in zeropo.
|
2011-02-19 13:24:21 -08:00 |
|
|
Alan Mishchenko
|
0656af22fd
|
Adding one more control switch to CEC commands (i)prove.
|
2011-02-19 11:51:20 -08:00 |
|
|
Alan Mishchenko
|
c7ebd93211
|
Improvements to CEC command iprove.
|
2011-02-18 22:19:45 -08:00 |
|
|
Alan Mishchenko
|
06ae1644b2
|
Fixing the problem with writing/reading bug-free depth in status files.
|
2011-02-17 09:18:07 -08:00 |
|
|
Alan Mishchenko
|
71cbf17e7f
|
Unified the use of counter-examples in three packages.
|
2011-02-13 17:46:48 -08:00 |
|
|
Alan Mishchenko
|
686d38d667
|
Changes to enable C++ compilation after recent modifications.
|
2011-02-13 15:16:10 -08:00 |
|
|
Alan Mishchenko
|
bef084bd9b
|
Bug fix in setting the number of finished frames when reading a status file.
|
2011-02-11 13:57:57 -08:00 |
|
|
Alan Mishchenko
|
2a214a9283
|
Bug fix in zeropo.
|
2011-02-11 09:10:34 -08:00 |
|
|
Alan Mishchenko
|
21bb515b3c
|
Added handling runtime limit inside And and AndExist.
|
2011-02-07 15:58:29 -08:00 |
|
|
Alan Mishchenko
|
82e9de9000
|
Eneabled writing/reading pAbc->nFrames into/from status files.
|
2011-02-04 00:07:21 -08:00 |
|
|
Alan Mishchenko
|
e6f8744777
|
Make PDR return the number of completed frames.
|
2011-02-03 21:34:46 -08:00 |
|
 Baruch Sterin
|
35e05b7e5a
|
merge pyabc changes into mainline
|
2011-02-01 16:19:38 -08:00 |
|
|
Alan Mishchenko
|
d4291dab37
|
Cumulative changes of the last two weeks.
|
2011-02-01 15:47:55 -08:00 |
|
|
Baruch Sterin
|
b538a5fad0
|
1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
|
2011-02-01 11:13:53 -08:00 |
|
|
Baruch Sterin
|
ab80b015a4
|
merge changes from main branch
|
2011-01-13 22:42:54 +02:00 |
|
|
Alan Mishchenko
|
ae4b51351c
|
Cumulative changes in the last few weeks.
|
2011-01-13 12:38:59 -08:00 |
|
|
Baruch Sterin
|
c85a763444
|
pyabc: make the SIGINT signal handler clean up by sending SIGINT to child processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked
|
2011-01-13 22:11:37 +02:00 |
|
|
Alan Mishchenko
|
2adc30f56b
|
Initial integration of PDR
|
2010-12-03 01:20:51 -08:00 |
|
|
Alan Mishchenko
|
c9a6252486
|
Fixing memory leak in LTL property handling code
|
2010-12-02 19:30:19 -08:00 |
|
|
Alan Mishchenko
|
c7bb89d1b9
|
An option to output verbose stats about timeframe sizes during unrolling
|
2010-11-29 01:45:48 -08:00 |
|
|
Alan Mishchenko
|
5a192f026f
|
Bug fix: alloing "dsat" to work on multi-output cones
|
2010-11-29 01:43:14 -08:00 |
|
|
Alan Mishchenko
|
92420c2d1f
|
Rearranging data members in the structure (not a bug)
|
2010-11-29 01:37:13 -08:00 |
|
|
Alan Mishchenko
|
719d399a64
|
Bug fix to read flops with init state 3 (don't know)
|
2010-11-29 01:30:03 -08:00 |
|
|
Alan Mishchenko
|
0c337bc344
|
Added API Abc_FrameReadGia
|
2010-11-29 01:15:16 -08:00 |
|
|
Alan Mishchenko
|
584643747c
|
Fix for write_status/read_status to use PO index
|
2010-11-29 01:08:18 -08:00 |
|
|
Alan Mishchenko
|
c2c9a5cf8d
|
Added command "swappos".
|
2010-11-28 22:44:54 -08:00 |
|
|
Alan Mishchenko
|
a17a4e5ca4
|
NPN class computation.
|
2010-11-28 22:30:15 -08:00 |
|
|
Alan Mishchenko
|
98257daa82
|
Added command "testcex".
|
2010-11-28 19:32:19 -08:00 |
|
|
Alan Mishchenko
|
6130e39b18
|
initial commit of public abc
|
2010-11-01 01:35:04 -07:00 |
|
|
Alan Mishchenko
|
51a646a355
|
Version abc90901
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:05:13 -07:00 |
|
|
Alan Mishchenko
|
3270783939
|
Version abc90813
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:05:09 -07:00 |
|
|
Alan Mishchenko
|
4d1bc4a268
|
Version abc90809
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:05:06 -07:00 |
|
|
Alan Mishchenko
|
b288bac6b3
|
Version abc90807
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:05:02 -07:00 |
|
|
Alan Mishchenko
|
da65e88e3b
|
Version abc90804
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:04:59 -07:00 |
|
|
Alan Mishchenko
|
270f6db246
|
Version abc90715
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:04:56 -07:00 |
|
|
Alan Mishchenko
|
0398ced824
|
Version abc90714
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:04:53 -07:00 |
|
|
Alan Mishchenko
|
70697f868a
|
Version abc90528
committer: Baruch Sterin <[email protected]>
|
2015-06-22 23:04:43 -07:00 |
|
|
Alan Mishchenko
|
d5b0fdee74
|
Version abc90505
|
2009-05-05 08:01:00 -07:00 |
|
|
Alan Mishchenko
|
d7a048d738
|
Version abc90424
|
2009-04-24 08:01:00 -07:00 |
|
|
Alan Mishchenko
|
77fab468ad
|
Version abc90413
|
2009-04-13 08:01:00 -07:00 |
|
|
Alan Mishchenko
|
ccd1b57264
|
Version abc90410
|
2009-04-10 08:01:00 -07:00 |
|
|
Alan Mishchenko
|
df6fdd1dff
|
Version abc90408
|
2009-04-08 08:01:00 -07:00 |
|