summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saig.h
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc81029Alan Mishchenko2008-10-291-0/+2
* Version abc81027Alan Mishchenko2008-10-271-0/+1
* Version abc81025Alan Mishchenko2008-10-251-0/+1
* Version abc81013Alan Mishchenko2008-10-131-0/+2
* Version abc81004Alan Mishchenko2008-10-041-1/+5
* Version abc80927Alan Mishchenko2008-09-271-0/+1
* Version abc80919Alan Mishchenko2008-09-191-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:07:00 +0000