summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Handling the case when all outputs are undecided in 'pdr -a' with per-output ...Alan Mishchenko2013-09-142-6/+3
* Fixing several bugs, which led to unsound results produced by 'pdr -a' with p...Alan Mishchenko2013-09-133-4/+15
* 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
* Improvements to the &ps.Alan Mishchenko2013-09-085-3/+50
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-3/+3
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-4/+59
* Improvements to the new technology mapper.Alan Mishchenko2013-09-074-5/+80
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-9/+13
* Improvements to the new technology mapper.Alan Mishchenko2013-09-078-22/+942
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-0521-55/+68
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-51/+219
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-33/+138
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-3/+9
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+6
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-4/+6
* Updates for the new BMC engine.Alan Mishchenko2013-09-0510-26/+187
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 09:39:48 +0000