summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-2318-1137/+2
* Integrating time manager into choice computation.Alan Mishchenko2012-09-2211-333/+471
* Added GIA normalization using timing manager.Alan Mishchenko2012-09-223-8/+96
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-2117-997/+1455
* Added switch '-E <filename>' to 'read_library' to exclude gates listed while ...Alan Mishchenko2012-09-211-35/+44
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-204-14/+22
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-202-3/+17
* Added slack computation to 'stime'.Alan Mishchenko2012-09-203-19/+55
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-201-0/+2
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-207-8/+27
* Added command 'minsize' to reduce all gates to their minimum size in the libr...Alan Mishchenko2012-09-203-19/+121
* Fixes to Verilog parser.Alan Mishchenko2012-09-203-3/+9
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-194-8/+8
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-1912-21/+106
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-1910-48/+104
* Extending BLIF parser/write to hangle multi-output cells.Alan Mishchenko2012-09-1915-136/+289
* Extending Genlib to hangle multi-output cells.Alan Mishchenko2012-09-193-57/+105
* Changes to command 'upsize'.Alan Mishchenko2012-09-183-66/+138
* Changes to command 'upsize'.Alan Mishchenko2012-09-188-47/+352
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-183-5/+9
* Bug fix in bmc3.Alan Mishchenko2012-09-171-1/+6
* Bug fix: no need to normalize const0 node.Alan Mishchenko2012-09-171-2/+2
* Fixed timeout problem in bmc3 -s.Alan Mishchenko2012-09-171-12/+7
* Moving binary IO streams to the vector package.Alan Mishchenko2012-09-173-116/+116
* Added delay multipliers to 'map'.Alan Mishchenko2012-09-162-8/+14
* Added delay multipliers to 'map'.Alan Mishchenko2012-09-164-22/+63
* Improving printouts in 'stime'.Alan Mishchenko2012-09-165-10/+17
* Improving printouts in &gla.Alan Mishchenko2012-09-161-17/+8
* Improving printouts in &gla.Alan Mishchenko2012-09-161-1/+1
* Improving printouts in &gla.Alan Mishchenko2012-09-163-11/+15
* Changed a few things in the refinement package of &gla.Alan Mishchenko2012-09-164-24/+118
* Forgot to add one file into Windows project.Alan Mishchenko2012-09-161-0/+4
* Restructured the code to post-process object used during refinement in &gla.Alan Mishchenko2012-09-1612-330/+351
* Made abstraction and PDR communicate in-memory rather than through a file.Alan Mishchenko2012-09-163-65/+59
* Cleaned 'abc.c' by removing useless procedures.Alan Mishchenko2012-09-151-1689/+939
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-1536-3582/+2270
* Corrected &gla -a to work as expected.Alan Mishchenko2012-09-151-33/+52
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-143-3/+7
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+1
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-1412-141/+147
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+1
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-145-46/+166
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-147-57/+213
* Added new command 'upsize'.Alan Mishchenko2012-09-127-44/+241
* Reversed to a buggy version of reduceDB in complete proof-logging, because it...Alan Mishchenko2012-09-121-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-112-4/+4
* Improved topo print-out.Alan Mishchenko2012-09-111-0/+2