summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaEquiv.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch to replace proved outputs by const0.Alan Mishchenko2020-12-161-0/+60
* Deriving structural choices from proved equivalences.Alan Mishchenko2020-12-071-0/+111
* Integration with several commands.Alan Mishchenko2020-11-191-1/+1
* Experiments with SAT sweeping.Alan Mishchenko2020-11-111-0/+118
* Experiments with SAT sweeping.Alan Mishchenko2020-11-091-2/+4
* Updating parameter in 'dump_equiv'.Alan Mishchenko2020-04-021-0/+1
* Adding min-level merging of equivalence classes of AIG nodes.Alan Mishchenko2020-02-191-2/+167
* Corner case bug fix in reducing equivalences.Alan Mishchenko2019-05-241-1/+2
* Converting dch-style equivalences into scorr-style ones.Alan Mishchenko2019-04-051-0/+12
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-2/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-24 13:20:12 +0000