summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAbsVta.c
Commit message (Expand)AuthorAgeFilesLines
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-1799/+0
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-17/+18
* Added code to collect experimental results.Alan Mishchenko2012-09-111-0/+1
* Correcting the report of completed timeframes in &gla.Alan Mishchenko2012-09-041-1/+1
* 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 problem with max limit on the number of abstracted objects in &gla.Alan Mishchenko2012-08-101-1/+1
* Improved abstraction refinement.Alan Mishchenko2012-08-091-1/+1
* Improved abstraction refinement.Alan Mishchenko2012-08-091-3/+3
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-0/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-031-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-031-0/+1
* Disabling learned clause removal when incremental proof-logging is running (t...Alan Mishchenko2012-07-301-0/+2
* Reducing memory usage in proof-based abstraction.Alan Mishchenko2012-07-291-8/+9
* 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-0/+2
* Several small changes and fixes.Alan Mishchenko2012-07-131-7/+10
* Handling the trivial case when PO is driven by a constant.Alan Mishchenko2012-07-111-0/+13
* Changes to clause mapping.Alan Mishchenko2012-07-111-48/+11
* Changes to clause mapping.Alan Mishchenko2012-07-111-2/+2
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-37/+16
* Fixed several problems when CEX is detected by &vta/&gla.Alan Mishchenko2012-07-111-0/+1
* Replacing printf() by Abc_Print().Alan Mishchenko2012-07-101-10/+10
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-101-5/+14
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-101-5/+32
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-2/+2
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-081-3/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-3/+3
* Changing the default value of &vta -t to reduce proof memory usage.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts in &vta and &gla.Alan Mishchenko2012-07-071-9/+10
* Adding memory report to print-outs produced by &vta and &gla.Alan Mishchenko2012-07-071-0/+2
* Fixed &gla to work in the bridge mode.Alan Mishchenko2012-07-071-19/+11
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-071-0/+3
* Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr...Alan Mishchenko2012-07-061-71/+0
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-051-7/+10
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-051-138/+132
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-041-1/+13
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-041-0/+6
* Performance improvement in &gla.Alan Mishchenko2012-07-041-4/+36
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-011-11/+72
* Bug fix in &vta.Alan Mishchenko2012-06-291-42/+66
* Bug fix when &vta returns empty absraction.Alan Mishchenko2012-06-291-15/+20
* Bug fix in &gla -d.Alan Mishchenko2012-06-291-0/+3
* Improving printouts in &vta and &gla.Alan Mishchenko2012-06-281-6/+8
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-6/+29
* Switch -A <file_name> to specify file name for dumping abstrated model with &...Alan Mishchenko2012-06-211-2/+3
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-14 06:22:31 +0000