summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAbsGla.c
Commit message (Expand)AuthorAgeFilesLines
* Correcting the report of completed timeframes in &gla.Alan Mishchenko2012-09-041-2/+2
* Uniqifying status file name in &gla.Alan Mishchenko2012-09-031-1/+3
* Bug fix: abstraction commands not properly updating status when dumping inter...Alan Mishchenko2012-08-281-0/+1
* Fixing undesirable effect of recent refinement code on older code in &gla -n.Alan Mishchenko2012-08-111-1/+1
* Improved abstraction refinement.Alan Mishchenko2012-08-091-3/+3
* Compiler warnings.Alan Mishchenko2012-08-091-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-2/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-2/+2
* Disabling learned clause removal when incremental proof-logging is running (t...Alan Mishchenko2012-07-301-15/+18
* Fixing performance bug with old proof-logging (adding clauses multiple times).Alan Mishchenko2012-07-301-17/+9
* Reducing memory usage in proof-based abstraction.Alan Mishchenko2012-07-291-24/+83
* Correcting &gla to update status as 'sat' after CEX is found.Alan Mishchenko2012-07-201-4/+1
* Enabling &gla for combinational miters.Alan Mishchenko2012-07-181-8/+7
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-8/+98
* Several small changes and fixes.Alan Mishchenko2012-07-131-7/+12
* Handling the trivial case when PO is driven by a constant.Alan Mishchenko2012-07-111-0/+12
* Changes to clause mapping.Alan Mishchenko2012-07-111-37/+9
* Changes to clause mapping.Alan Mishchenko2012-07-111-3/+3
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-38/+13
* Fixed several problems when CEX is detected by &vta/&gla.Alan Mishchenko2012-07-111-3/+6
* Enabling refinement in &gla_refine even if CEX is invalid.Alan Mishchenko2012-07-111-2/+2
* Replacing printf() by Abc_Print().Alan Mishchenko2012-07-101-31/+31
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-101-4/+13
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-101-3/+27
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Performance bug fix in &gla.Alan Mishchenko2012-07-091-1/+3
* Added command &gla_purify.Alan Mishchenko2012-07-081-22/+34
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-081-2/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-4/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-8/+4
* Fixing time primtouts in &vta and &gla.Alan Mishchenko2012-07-071-10/+12
* Adding memory report to print-outs produced by &vta and &gla.Alan Mishchenko2012-07-071-0/+1
* Fixed &gla to work in the bridge mode.Alan Mishchenko2012-07-071-10/+65
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-071-1/+3
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-051-8/+11
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-051-18/+26
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-041-75/+165
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-041-337/+166
* Performance improvement in &gla.Alan Mishchenko2012-07-041-3/+235
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-2/+2
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-104/+308
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-011-69/+606
* Bug fix in &vta.Alan Mishchenko2012-06-291-1/+1
* 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-291-1/+2
* Bug fix in &gla -d.Alan Mishchenko2012-06-291-14/+19
* Improving printouts in &vta and &gla.Alan Mishchenko2012-06-281-3/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 18:46:29 +0000