summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Backward reachability using circuit cofactoring.Alan Mishchenko2012-01-011-0/+442
* Backward reachability using circuit cofactoring.Alan Mishchenko2012-01-013-10/+373
* New variable-time frame abstraction.Alan Mishchenko2011-12-292-0/+517
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-082-3/+7
* g++ portability changes.Alan Mishchenko2011-12-061-18/+18
* Started experiments with a new solver.Alan Mishchenko2011-11-251-2/+2
* Making GLA PBA and GLA CBA communicate information.Alan Mishchenko2011-11-221-2/+5
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-1/+4
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-0/+1
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-0/+3
* Setting the number of completed time frames.Alan Mishchenko2011-11-121-2/+11
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-121-4/+4
* Bug fix in GLA PBA.Alan Mishchenko2011-11-122-5/+19
* Bug fix in GLA PBA (unfinished).Alan Mishchenko2011-11-091-1/+4
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-063-19/+165
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-312-2/+4
* Improvements to the new abstraction code.Alan Mishchenko2011-10-271-18/+59
* New proof-based abstraction code.Alan Mishchenko2011-10-252-3/+40
* New abstraction code.Alan Mishchenko2011-10-191-3/+3
* New abstraction code.Alan Mishchenko2011-10-193-4/+26
* New abstraction code.Alan Mishchenko2011-10-155-37/+165
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-226-55/+139
* 64-bit portability changes.Alan Mishchenko2011-09-171-9/+9
* Added limit on the number of flops to add in one iteration of &abs_refine.Alan Mishchenko2011-09-122-3/+3
* Added limit on the number of flops to add in one iteration of &abs_cba.Alan Mishchenko2011-09-111-1/+16
* Added timeout to &abc_pba.Alan Mishchenko2011-09-022-3/+3
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-1/+1
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-182-3/+3
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-172-4/+5
* Bug fix in PBA.Alan Mishchenko2011-08-041-14/+19
* Several bug fixes.Alan Mishchenko2011-08-021-46/+65
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-011-2/+2
* Bug fix in &abs_cba.Alan Mishchenko2011-08-011-2/+1
* Minor bug fix in 'testcex' (made it consider outputs in direct order).Alan Mishchenko2011-08-011-1/+2
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-21/+53
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-293-34/+82
* Improving and updating the abstraction code.Alan Mishchenko2011-07-292-279/+89
* Bug fix in how seq cleanup handles cand equiv classes.Alan Mishchenko2011-07-251-1/+3
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-221-2/+7
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-3/+3
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-6/+6
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-213-34/+72
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-201-3/+3
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-201-0/+5
* Added support for constraints in AIGER.Alan Mishchenko2011-07-202-11/+97
* Diagnostic printout for random simulationAlan Mishchenko2011-07-161-0/+118
* Fixed memory leak in the AIGER reader.Alan Mishchenko2011-07-131-0/+1
* Added command &filter to filter equiv classes.Alan Mishchenko2011-06-152-137/+391
* Adding command 'srm2' (additional feature).Alan Mishchenko2011-06-081-1/+9
* Adding command 'srm2'.Alan Mishchenko2011-06-082-2/+134
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 04:53:41 +0000