summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* Performance improvement in &gla.Alan Mishchenko2012-07-042-7/+271
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-2/+2
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-034-237/+390
* Bug fix in Gia_ObjPrint()Alan Mishchenko2012-07-031-2/+2
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-013-80/+738
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-3/+4
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-4/+4
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-13/+1
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-73/+116
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-012-23/+45
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-2/+1
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+1
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-012-1/+2
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+2
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-014-172/+210
* Bug fix in &vta.Alan Mishchenko2012-06-292-43/+67
* Bug fix in &gla.Alan Mishchenko2012-06-291-0/+10
* Bug fix in &gla.Alan Mishchenko2012-06-291-1/+1
* 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-281-42/+100
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-8/+13
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-283-0/+887
* 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-245-0/+229
* Added memory reporting to &vta.Alan Mishchenko2012-06-225-20/+43
* Switch -A <file_name> to specify file name for dumping abstrated model with &...Alan Mishchenko2012-06-212-2/+4
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-6/+8
* Misc changes.Alan Mishchenko2012-05-211-2/+2
* Changing 'if' to allow for delay optimization on sequential paths only.Alan Mishchenko2012-05-201-1/+2
* 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
* Better resolution of CO drivers. Should impact the QoR after 'if'.Alan Mishchenko2012-05-152-0/+55
* 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
* Added supporting dual-output seq miters in &trim (bug fix).Alan Mishchenko2012-04-301-2/+0
* 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-283-7/+48
* 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-282-5/+40
* 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-271-0/+3
* Misc changes.Alan Mishchenko2012-04-221-1/+5
* Adding dumping abstractions in &vta.Alan Mishchenko2012-04-151-2/+5
* Added/moved several APIs.Alan Mishchenko2012-04-101-4/+0
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-071-2/+2
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-072-0/+37
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 08:54:18 +0000