summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-07331-1091/+1277
* 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
* Bug fix in &gla_refine.Alan Mishchenko2012-07-071-0/+3
* Procedure to compute truth tables for POs of GIA.Alan Mishchenko2012-07-074-2/+199
* Diabling compact AIGER writing by default.Alan Mishchenko2012-07-071-1/+1
* 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-0710-11/+35
* Added warning for GIA reader when input AIG has dangling nodes.Alan Mishchenko2012-07-071-10/+3
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-072-2/+2
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-076-22/+21
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-072-13/+13
* Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr...Alan Mishchenko2012-07-064-75/+263
* Tentatively retiring command &abs_start, &abs_cba, &abs_pba, &gla_cba, &gla_pba.Alan Mishchenko2012-07-061-10/+10
* Setting infinite default conflict limits in 'bmc', 'int', 'pdr'.Alan Mishchenko2012-07-063-8/+8
* Updated BIP binary name.Alan Mishchenko2012-07-051-1/+1
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-052-15/+21
* Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).Alan Mishchenko2012-07-052-6/+6
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-055-188/+257
* Other improvements to &vta and &gla.Alan Mishchenko2012-07-044-82/+193
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-0411-356/+191
* Added static fanout to GIA package.Alan Mishchenko2012-07-043-0/+143
* Performance improvement in &gla.Alan Mishchenko2012-07-045-7/+274
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-2/+2
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-035-238/+391
* 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-012-73/+201
* 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-015-179/+229
* Bug fix in &vta.Alan Mishchenko2012-06-293-45/+69
* Bug fix in &gla.Alan Mishchenko2012-06-291-0/+10
* Bug fix in &gla.Alan Mishchenko2012-06-291-1/+1
* Bug fix in &gla_refine.Alan Mishchenko2012-06-291-8/+4
* 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-283-42/+102
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-8/+13
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-284-10/+1074
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 18:33:33 +0000