summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Unifying standard cell library representations.Alan Mishchenko2013-09-1713-105/+316
|
* Changing dynamic CNF loading code to perform loading before propagate() as ↵Alan Mishchenko2013-09-161-0/+31
| | | | opposed to when the literal first implied in enqueue().
* Adding switch to enable reuse of proof-obligations in the last timeframe.Alan Mishchenko2013-09-163-2/+7
|
* Adding new switch to &if to relax the delay.Alan Mishchenko2013-09-163-9/+31
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-1/+1
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-162-6/+3
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-165-13/+44
|
* Bug fix in PDR.Alan Mishchenko2013-09-161-1/+1
|
* Bug fix in XOR balancing.Alan Mishchenko2013-09-151-4/+3
|
* Infrastructure to support full Liberty format and unitification of library ↵Alan Mishchenko2013-09-151-4/+4
| | | | representations.
* Infrastructure to support full Liberty format and unitification of library ↵Alan Mishchenko2013-09-151-2/+4
| | | | representations.
* Infrastructure to support full Liberty format and unitification of library ↵Alan Mishchenko2013-09-1514-618/+2244
| | | | representations.
* Fixing return value of 'pdr -a'.Alan Mishchenko2013-09-151-1/+5
|
* Handling the case when all outputs are undecided in 'pdr -a' with per-output ↵Alan Mishchenko2013-09-142-6/+3
| | | | timeout.
* Fixing several bugs, which led to unsound results produced by 'pdr -a' with ↵Alan Mishchenko2013-09-133-4/+15
| | | | per-output timeout.
* Enabling additional printouts in 'pdr'.Alan Mishchenko2013-09-132-2/+11
|
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-133-0/+112
|
* Fix a bug in 'zeropo'.Alan Mishchenko2013-09-131-1/+1
|
* Removing duplicated typedef line.Alan Mishchenko2013-09-131-1/+0
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-1/+6
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-123-14/+40
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-126-76/+216
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-124-40/+156
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+5
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-19/+32
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+17
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-113-60/+50
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-113-9/+128
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-49/+26
|
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-113-0/+109
|
* Corrected variable naming in clause2_proofid().Alan Mishchenko2013-09-111-1/+1
|
* Small performance bug in new 'fx'.Alan Mishchenko2013-09-111-1/+1
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-10/+16
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-1/+5
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-105-11/+644
|
* New API to return the set of all reachable states as an AIG.Alan Mishchenko2013-09-102-2/+97
|
* Added sorting equiv classes by the index of their representatives.Alan Mishchenko2013-09-101-0/+2
|
* Moving #include to the top of the file in 'giaUtil.c'.Alan Mishchenko2013-09-101-2/+1
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-092-40/+91
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-093-48/+118
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+102
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+25
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-8/+31
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-3/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-097-39/+1213
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-4/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-1/+2
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-111/+288
|
* Fixing corner-case bug in command 'ind'.Alan Mishchenko2013-09-081-23/+40
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-30 12:24:44 +0000