summaryrefslogtreecommitdiffstats
path: root/src/aig/saig
Commit message (Expand)AuthorAgeFilesLines
...
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+2
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-10/+10
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-6/+8
* Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward ...Alan Mishchenko2012-05-201-1/+1
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-0918-65/+65
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0939-291/+291
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-0933-269/+269
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-2/+2
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-6/+134
* Adding flag -s to &put to disable status clearing.Alan Mishchenko2012-02-221-1/+1
* Isomorphism checking code.Alan Mishchenko2012-02-191-1/+1
* Isomorphism checking code.Alan Mishchenko2012-02-191-8/+7
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-2/+2
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-191-1/+1
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-192-3/+7
* Isomorphism checking code.Alan Mishchenko2012-02-181-6/+176
* Isomorphism checking code.Alan Mishchenko2012-02-171-195/+273
* Isomorphism checking code.Alan Mishchenko2012-02-172-8/+196
* Isomorphism checking code.Alan Mishchenko2012-02-172-8/+15
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-1620-31/+22
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-7/+0
* Changing how BMC report runtime.Alan Mishchenko2012-02-162-2/+6
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-1/+1
* Isomorphism checking code.Alan Mishchenko2012-02-121-3/+18
* Graph isomorphism checking code.Alan Mishchenko2012-02-112-27/+46
* Graph isomorphism checking code.Alan Mishchenko2012-02-115-0/+1733
* Bug fix in flop-level abstraction refinement.Alan Mishchenko2012-02-091-1/+2
* Graph isomorphism checking code.Alan Mishchenko2012-01-302-0/+77
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-0/+206
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-1/+1
* Generation of dual-rail miter.Alan Mishchenko2012-01-282-0/+4
* Variable timeframe abstraction.Alan Mishchenko2012-01-271-3/+3
* Major restructuring of the code.Alan Mishchenko2012-01-2135-236/+236
* Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control B...Alan Mishchenko2012-01-193-3/+3
* Added switch 'write_counter -f' to output flop values in each time frame.Alan Mishchenko2012-01-182-0/+53
* Crash fix in 'tempor' in case the leading length is 0.Alan Mishchenko2012-01-071-0/+6
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-1/+2
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-151-0/+5
* g++ portability changes.Alan Mishchenko2011-12-131-1/+1
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-083-12/+564
* Added/renamed useful APIs.Alan Mishchenko2011-12-061-1/+1
* g++ portability changes.Alan Mishchenko2011-12-061-1/+1
* Started experiments with a new solver.Alan Mishchenko2011-11-251-3/+9
* Making GLA PBA and GLA CBA communicate information.Alan Mishchenko2011-11-221-3/+3
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-0/+2
* Setting the number of completed time frames.Alan Mishchenko2011-11-121-1/+1
* Setting the number of completed time frames.Alan Mishchenko2011-11-121-1/+2
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-123-2/+4
* Experiment with time reporting in GLA PBA.Alan Mishchenko2011-11-121-3/+3
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-112-4/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 02:18:05 +0000