summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to timeout.Alan Mishchenko2011-05-111-2/+4
|
* Updated technology mapping.Alan Mishchenko2011-05-081-3/+2
|
* Updated technology mapping.Alan Mishchenko2011-05-071-3/+19
|
* Improvements in sequential verification.Alan Mishchenko2011-05-071-15/+15
|
* Improvements in sequential verification.Alan Mishchenko2011-05-062-11/+50
|
* Trying to fix a mysterious bug in reading the library files.Alan Mishchenko2011-05-062-6/+6
|
* Updating testcext to ignore the diff in register count and other things.Alan Mishchenko2011-05-011-11/+30
|
* Added new options to testcex.Alan Mishchenko2011-04-282-50/+73
|
* Commented out debug messages.Alan Mishchenko2011-04-262-3/+3
|
* Made testcex reset the number of the PO that failed.Alan Mishchenko2011-04-251-4/+14
|
* Added support for AIG returned in the output file.Alan Mishchenko2011-04-241-8/+34
|
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-242-3/+7
|
* Bug fixes having to do with the use of chars.Alan Mishchenko2011-04-201-0/+8
|
* Fixing c++ portability issues.Alan Mishchenko2011-04-201-10/+2
|
* Fixing compilation problem which resulting from defining 'int c' as 'char c'.Alan Mishchenko2011-04-191-2/+2
|
* Adding constant correspondence.Alan Mishchenko2011-04-181-13/+34
|
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵Alan Mishchenko2011-04-171-1/+83
| | | | numbers.
* Added command 'reconcile'.Alan Mishchenko2011-04-161-2/+99
|
* Added cex generation for clustered reachability (forgot one file).Alan Mishchenko2011-04-161-2/+2
|
* Added cex generation for clustered reachability.Alan Mishchenko2011-04-161-0/+6
|
* Improving timeout in the interpolation package.Alan Mishchenko2011-04-151-5/+0
|
* Further improvements to reachability.Alan Mishchenko2011-04-151-7/+13
|
* Experiments with reachability.Alan Mishchenko2011-04-141-6/+9
|
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-132-1/+140
|
* Added print-out of area in terms of LUT library.Alan Mishchenko2011-04-131-1/+32
|
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-081-26/+32
|
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-265/+58
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-1/+7
|
* 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 ↵Alan Mishchenko2011-03-082-3/+499
| | | | | | | | reordering package.
* | 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-26 11:21:16 +0000