summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* Scalable gate-level abstraction.Alan Mishchenko2012-09-111-9/+30
* Added -C to command line for running commands, then staying in interactive modeNiklas Een2012-09-111-28/+39
* Fixing Verilog writer's way of writing module names.Alan Mishchenko2012-09-111-1/+1
* Added code to collect experimental results.Alan Mishchenko2012-09-112-2/+2
* Added code to collect experimental results.Alan Mishchenko2012-09-115-16/+71
* Commenting out some assertions in the 'map' mapper.Alan Mishchenko2012-09-101-4/+4
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-0914-29/+28
* Disable printing refinement statistics by default.Alan Mishchenko2012-09-092-2/+2
* Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (...Alan Mishchenko2012-09-093-4/+11
* Started CEX minimization procedure.Alan Mishchenko2012-09-082-26/+306
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-081-1/+1
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-082-9/+15
* Started CEX minimization procedure.Alan Mishchenko2012-09-083-0/+183
* Updating &gla_refine to perform suffix refinement.Alan Mishchenko2012-09-081-6/+6