summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaEquiv.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating Satoko into 'bmc' and 'bmc2'.Alan Mishchenko2017-08-161-1/+1
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-1/+1
* Updates to arithmetic verification.Alan Mishchenko2017-01-141-1/+26
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-1/+141
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-5/+5
* Added switch -i to &filter to use FIs instead of FOs.Alan Mishchenko2014-11-111-10/+20
* Bug fix in seq synthesis due to resent code restructuring.Alan Mishchenko2014-10-211-2/+2
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-2/+2
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-2/+2
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-3/+4
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-221-5/+39
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-171-35/+107
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-2/+2
* Unifification of custom extensions.Alan Mishchenko2012-12-101-7/+7
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+1
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-1/+1
* Replaced printfs with Abc_PrintNiklas Een2012-10-291-89/+88
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-83/+0
* Testing GIA with time manager.Alan Mishchenko2012-09-231-20/+8
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-51/+120
* Added new command &gla_shrink.Alan Mishchenko2012-09-041-1/+1
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+5
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-251-5/+5
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-4/+4
* Misc changes.Alan Mishchenko2012-05-191-1/+1
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-191-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-32/+32
* Added command &filter to filter equiv classes.Alan Mishchenko2011-06-151-137/+388
* Adding command 'srm2' (additional feature).Alan Mishchenko2011-06-081-1/+9
* Adding command 'srm2'.Alan Mishchenko2011-06-081-2/+131
* Fixing corner-case bugs in &srm -s.Alan Mishchenko2011-02-281-1/+2
* Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).Alan Mishchenko2011-02-221-48/+92
* Fixed a critical bug in the previous update.Alan Mishchenko2011-02-211-1/+1
* Implemented additional filtering of equivalences (&srm -sf).Alan Mishchenko2011-02-211-22/+93
* Changes to support sequential verification with reduction without speculation.Alan Mishchenko2011-02-191-11/+68
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-0/+5
* Bug fix in &srm (not generating result when there is no equivs)Alan Mishchenko2010-12-031-0/+2
* initial commit of public abcAlan Mishchenko2010-11-011-14/+83
* Version abc90804Alan Mishchenko2015-06-221-8/+227
* Version abc90714Alan Mishchenko2015-06-221-0/+33
* Version abc90413Alan Mishchenko2009-04-131-0/+2
* Version abc90410Alan Mishchenko2009-04-101-1/+292
* Version abc90408Alan Mishchenko2009-04-081-4/+64
* Version abc90329Alan Mishchenko2009-03-291-8/+19
* Version abc90313Alan Mishchenko2009-03-131-50/+189
* Version abc90311Alan Mishchenko2009-03-111-40/+185
* Version abc90310Alan Mishchenko2009-03-101-0/+618