summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-222-1/+3
* Recording and reusing learned util clauses in bmc3.Alan Mishchenko2012-07-222-2/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-07-212-124/+259
* Correcting &gla to update status as 'sat' after CEX is found.Alan Mishchenko2012-07-202-8/+2
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-202-6/+6
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-203-85/+102
* Added switch &trim -c to additionally remove direct connections (POs fed by P...Alan Mishchenko2012-07-201-0/+52
* Making GIA use independent truth table number storage when computing truth ta...Alan Mishchenko2012-07-193-6/+10
* Scalable gate-level abstraction.Alan Mishchenko2012-07-181-0/+1021
* Enabling &gla for combinational miters.Alan Mishchenko2012-07-182-8/+9
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-3/+8
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-0/+2
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-144-8/+727
* Several small changes and fixes.Alan Mishchenko2012-07-133-15/+24
* Handling the trivial case when PO is driven by a constant.Alan Mishchenko2012-07-112-0/+25
* Changes to clause mapping.Alan Mishchenko2012-07-112-85/+20
* Changes to clause mapping.Alan Mishchenko2012-07-112-5/+5
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-113-76/+33
* Fixed several problems when CEX is detected by &vta/&gla.Alan Mishchenko2012-07-112-3/+7
* Enabling refinement in &gla_refine even if CEX is invalid.Alan Mishchenko2012-07-111-2/+2
* Replacing printf() by Abc_Print().Alan Mishchenko2012-07-102-41/+41
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-102-9/+27
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-102-8/+59
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-0913-18/+18
* Performance bug fix in &gla.Alan Mishchenko2012-07-091-1/+3
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-1/+1
* Added command &gla_purify.Alan Mishchenko2012-07-085-181/+251
* Updating truth table computation for GIA to work for internal nodes as well.Alan Mishchenko2012-07-082-16/+20
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-082-5/+5
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0721-36/+36
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-2/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-073-3/+5
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0726-82/+99
* 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-072-19/+22
* Adding memory report to print-outs produced by &vta and &gla.Alan Mishchenko2012-07-072-0/+3
* Procedure to compute truth tables for POs of GIA.Alan Mishchenko2012-07-073-0/+198
* Fixed &gla to work in the bridge mode.Alan Mishchenko2012-07-072-29/+76
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-073-2/+8
* Added warning for GIA reader when input AIG has dangling nodes.Alan Mishchenko2012-07-071-10/+3
* Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr...Alan Mishchenko2012-07-063-75/+157
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-052-15/+21
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-054-159/+166
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-043-77/+180
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-042-337/+172
* Added static fanout to GIA package.Alan Mishchenko2012-07-043-0/+143
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 08:02:14 +0000