summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Added test package (new files).Alan Mishchenko2011-03-293-1/+72
* Added test package.Alan Mishchenko2011-03-293-3/+9
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-2717-13/+49
* C++ compilation fixes.Alan Mishchenko2011-03-272-3/+3
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-12/+18
* Fixed memory leak.Alan Mishchenko2011-03-271-0/+1
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-184-8/+84
* Procedure to convert AIG into a netowrk of NAND gates.Alan Mishchenko2011-03-171-0/+81
* Added new procedure and other small changes.Alan Mishchenko2011-03-161-4/+10
|\
* | Exploring fanout cofactoring ideas...Alan Mishchenko2011-03-141-4/+16
* | Several bug fixes and other improvements.Alan Mishchenko2011-03-1212-117/+144
* | Exploration of Sasao's decomposition and minor improvements.Alan Mishchenko2011-03-115-34/+874
* | Bug alert message in 'fraig'.Alan Mishchenko2011-03-101-1/+2
* | Added generation of MFFC for the network (improvements).Alan Mishchenko2011-03-092-25/+124
* | Added generation of MFFC for the network.Alan Mishchenko2011-03-093-5/+694
* | Mffc-based structural decomposition of the network and bug fixes in reorderin...Alan Mishchenko2011-03-082-3/+499
* | Improvements to the interpolation command 'int'; change of default switch -t.Alan Mishchenko2011-03-081-7/+14
* | Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc.Alan Mishchenko2011-03-081-1/+1
* | Fixing a corner case bug in 'enlarge'.Alan Mishchenko2011-03-051-6/+6
* | Missing type cast after one of the previous changes.Alan Mishchenko2011-03-041-1/+2
* | Improved the speed of refinement algorithm in &abs_refine.Alan Mishchenko2011-03-041-5/+17
* | Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-0359-366/+408
* | Bug fix in dprove, adding command option -p.Alan Mishchenko2011-03-031-1/+1
* | Fixing corner-case bugs in &srm -s.Alan Mishchenko2011-02-281-0/+5
* | Cumulative update to BDD-based reachability, speeding up &reachm and other ch...Alan Mishchenko2011-02-281-2/+2
* | Updated read_status/write_status to correctly handle the case of seq cex with...Alan Mishchenko2011-02-271-14/+15
* | 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 mainFr...Alan Mishchenko2011-02-193-39/+6
* | 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
* | Another corner-case bug in zeropo.Alan Mishchenko2011-02-191-2/+3
* | 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-138-30/+25
* | Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-132-2/+2
* | Bug fix in setting the number of finished frames when reading a status file.Alan Mishchenko2011-02-111-1/+1
|/
* Bug fix in zeropo.Alan Mishchenko2011-02-111-0/+5
* 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-044-21/+21
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-031-25/+25
* merge pyabc changes into mainlineBaruch Sterin2011-02-012-25/+313
|\
| * Cumulative changes of the last two weeks.Alan Mishchenko2011-02-012-25/+313
* | 1. Replace system() with a function that responds to SIGINT. 2. Add functions...Baruch Sterin2011-02-013-18/+17
|/
* merge changes from main branchBaruch Sterin2011-01-138-172/+543
|\
| * Cumulative changes in the last few weeks.Alan Mishchenko2011-01-138-172/+543
* | pyabc: make the SIGINT signal handler clean up by sending SIGINT to child pro...Baruch Sterin2011-01-131-1/+8
|/
* Initial integration of PDRAlan Mishchenko2010-12-032-1/+119
* Fixing memory leak in LTL property handling codeAlan Mishchenko2010-12-022-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 00:48:07 +0000