summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+2
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-015-179/+229
* Bug fix in &vta.Alan Mishchenko2012-06-293-45/+69
* Bug fix in &gla.Alan Mishchenko2012-06-291-0/+10
* Bug fix in &gla.Alan Mishchenko2012-06-291-1/+1
* Bug fix in &gla_refine.Alan Mishchenko2012-06-291-8/+4
* Bug fix when &vta returns empty absraction.Alan Mishchenko2012-06-292-16/+22
* Bug fix in &gla -d.Alan Mishchenko2012-06-292-14/+22
* Improving printouts in &vta and &gla.Alan Mishchenko2012-06-282-9/+14
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-282-42/+101
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-8/+13
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-284-10/+1074
* New computation of tents for GIA package.Alan Mishchenko2012-06-281-2/+61
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-249-0/+686
* Added memory reporting to &vta.Alan Mishchenko2012-06-2217-32/+237
* Switch -A <file_name> to specify file name for dumping abstrated model with &...Alan Mishchenko2012-06-213-17/+31
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-154-6/+63
* Minor change to prevent assertion failure when verifying required times.Alan Mishchenko2012-06-151-2/+2
* Added option to compile on windows without DLL support.Alan Mishchenko2012-06-151-2/+7
* Added warning when a command is missingAlan Mishchenko2012-06-151-0/+2
* Misc changes.Alan Mishchenko2012-05-212-3/+4
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-202-8/+9
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-209-19/+26
* Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward ...Alan Mishchenko2012-05-201-1/+1
* Misc changes.Alan Mishchenko2012-05-193-1/+69
* Prevent network from being unmapped after equivalence checking.Alan Mishchenko2012-05-151-2/+4
* Better resolution of CO drivers. Should impact the QoR after 'if'.Alan Mishchenko2012-05-156-36/+266
* Added generation of multipliers in 'gen'.Alan Mishchenko2012-05-152-105/+160
* Preventing 'show' from unmapping the network.Alan Mishchenko2012-05-141-7/+12
* Included copyright statement into 'main.c'.Alan Mishchenko2012-05-111-0/+27
* Changing the rules of assigning the names when AIG is converted into a logic ...Alan Mishchenko2012-05-111-4/+9
* Making sure cec -n and dsec -n do not remove the I/O names in the current net...Alan Mishchenko2012-05-081-0/+30
* Bug fix in fraig_restore.Alan Mishchenko2012-05-061-3/+6
* Misc changes.Alan Mishchenko2012-05-033-1/+9
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-033-6/+14
* Misc changes.Alan Mishchenko2012-05-021-1/+2
* Bug fixes in previous bug fixes related to &trim.Alan Mishchenko2012-05-013-31/+60
* Misc changes.Alan Mishchenko2012-05-011-2/+2
* Added supporting dual-output seq miters in &trim (bug fix).Alan Mishchenko2012-04-301-2/+0
* Compilation problem caused by multiple declarations.Alan Mishchenko2012-04-281-0/+1
* Adding on-the-fly truth-table minimization.Alan Mishchenko2012-04-284-1/+22
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-0/+13
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-0/+8
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-284-10/+56
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-2/+2
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-283-9/+48
* Misc changes.Alan Mishchenko2012-04-272-38/+44
* Set the failed output index if ORing of outputs was done in 'int'.Alan Mishchenko2012-04-271-1/+7
* Writing status file vta.status when dumping intermediate abstraction in &vta.Alan Mishchenko2012-04-271-1/+3
* Updating the counter of finished frames when dumping intermediate abstraction...Alan Mishchenko2012-04-273-4/+9
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:39:05 +0000