summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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
* Disallow the circiut-based solver in &scorr to run with more than 1000 confli...Alan Mishchenko2012-04-241-0/+3
* Misc changes.Alan Mishchenko2012-04-221-2/+2
* Misc changes.Alan Mishchenko2012-04-223-6/+11
* pyabc: minor fixes to make API changes workBaruch Sterin2012-04-201-1/+3
* Added Python APIs for node/level counts.Alan Mishchenko2012-04-201-3/+29
* Misc changes.Alan Mishchenko2012-04-203-14/+5
* Adding dumping abstractions in &vta.Alan Mishchenko2012-04-151-2/+5
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-141-0/+43
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-132-10/+37
* Updated used message for 'back_reach'.Alan Mishchenko2012-04-131-1/+1
* Bug fix in SOP balancing with structural choices.Alan Mishchenko2012-04-121-0/+2
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-111-34/+2
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-112-7/+161
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 08:02:59 +0000