summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saig.h
Commit message (Expand)AuthorAgeFilesLines
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-211-1/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-28/+0
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-26/+0
* Added new command &gla_shrink.Alan Mishchenko2012-09-041-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-7/+7
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-14/+14
* Isomorphism checking code.Alan Mishchenko2012-02-171-1/+1
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-0/+6
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+1
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-1/+1
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-0/+3
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+4
* Added switch 'write_counter -f' to output flop values in each time frame.Alan Mishchenko2012-01-181-0/+1
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-121-0/+1
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-111-1/+1
* Trying to add BMC to random simulation.Alan Mishchenko2011-11-061-0/+1
* Added new feature to bmc3.Alan Mishchenko2011-09-231-11/+14
* Added limit on the number of flops to add in one iteration of &abs_refine.Alan Mishchenko2011-09-121-1/+1
* Added limit on the number of flops to add in one iteration of &abs_cba.Alan Mishchenko2011-09-111-0/+2
* Added timeout to &abc_pba.Alan Mishchenko2011-09-021-1/+1
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-1/+1
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-1/+1
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-1/+1
* Several bug fixes.Alan Mishchenko2011-08-021-1/+1
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-0/+1
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-0/+2
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-301-1/+1
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-4/+5
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-1/+1
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-6/+10
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-271-1/+3
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-251-1/+1
* Adding procedures to find the care bits of a counter-example.Alan Mishchenko2011-07-251-0/+2
* New demitering features.Alan Mishchenko2011-07-201-0/+1
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-021-0/+1
* Added new command 'outdec'.Alan Mishchenko2011-05-191-0/+2
* Updating testcext to ignore the diff in register count and other things.Alan Mishchenko2011-05-011-0/+1
* Improved the speed of refinement algorithm in &abs_refine.Alan Mishchenko2011-03-041-5/+8
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-0/+2
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+2
* initial commit of public abcAlan Mishchenko2010-11-011-30/+81
* Version abc90901Alan Mishchenko2015-06-221-1/+2
* Version abc90804Alan Mishchenko2015-06-221-2/+2
* Version abc90505Alan Mishchenko2009-05-051-1/+1
* Version abc90424Alan Mishchenko2009-04-241-1/+1
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90313Alan Mishchenko2009-03-131-1/+1
* Version abc90215Alan Mishchenko2009-02-151-5/+5
* Version abc90118Alan Mishchenko2009-01-181-4/+28