summaryrefslogtreecommitdiffstats
path: root/src/aig/saig
Commit message (Expand)AuthorAgeFilesLines
* Adding switch 'scorr -f' to dump inductive invariant as an AIG.Alan Mishchenko2018-03-222-2/+4
* Integrating Satoko into 'bmc' and 'bmc2'.Alan Mishchenko2017-08-161-1/+1
* changed int to unsigned / narrowing conversion errorHeinz Riener2017-03-031-1/+1
* Fix mismatch in output formatting.Alan Mishchenko2017-01-211-2/+2
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+5
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
* Added switches '-c' and '-n' to 'init'.Alan Mishchenko2014-11-021-0/+64
* Fixed C-compiler errors on Windows.Alan Mishchenko2014-06-041-7/+9
* the latest versionJiang Long2014-06-041-111/+48
* merge unfold2Jiang Long2014-06-043-1/+564
* Adding command to dump UNSAT core of BMC instance.Alan Mishchenko2014-04-072-2/+2
* Making 'fold' and 'unfold' skip constant POs (another fix).Alan Mishchenko2013-12-041-6/+18
* Making 'fold' and 'unfold' skip constant POs (fixed).Alan Mishchenko2013-12-041-4/+5
* Making 'fold' and 'unfold' skip constant POs.Alan Mishchenko2013-12-031-0/+4
* Bug fix in 'tempor -s'.Alan Mishchenko2013-10-301-0/+1
* Compiler warnings.Alan Mishchenko2013-10-172-3/+3
* Fixing corner-case bug in command 'ind'.Alan Mishchenko2013-09-081-23/+40
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-161-1/+1
* Adding timeout to command 'ind'.Alan Mishchenko2013-06-282-5/+11
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2714-102/+102
* Bug fix in 'blockpo'.Alan Mishchenko2013-05-071-0/+1
* Bug fix in 'blockpo'.Alan Mishchenko2013-04-111-3/+3
* Handling special case in 'fold' when the network is combinational.Alan Mishchenko2013-03-131-5/+15
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-212-8/+41
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Restoring correct behavior of 'tempor' after a change in counting BMC frames ...Alan Mishchenko2012-12-071-1/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-1/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-147-3408/+2
* Replaced printfs with Abc_PrintNiklas Een2012-10-291-48/+47
* Making report about the number of correcty covered frames consistent across t...Alan Mishchenko2012-10-092-4/+4
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
* Modified structural constraint extraction (unfold -s) to work for multi-outpu...Alan Mishchenko2012-09-231-162/+241
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-232-734/+0
* Bug fix in bmc3.Alan Mishchenko2012-09-171-1/+6
* Fixed timeout problem in bmc3 -s.Alan Mishchenko2012-09-171-12/+7
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-159-3095/+1
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-093-7/+7
* Added new command &gla_shrink.Alan Mishchenko2012-09-044-25/+31
* Minor updates to the BMC engines.Alan Mishchenko2012-07-272-3/+46
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+17
* Recording and reusing learned util clauses in bmc3.Alan Mishchenko2012-07-221-13/+57
* Small bug in bmc2 timeout.Alan Mishchenko2012-07-161-1/+1
* Changes to clause mapping.Alan Mishchenko2012-07-111-7/+7
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-096-16/+16
* Adding flushing stdout after printing verbose stats.Alan Mishchenko2012-07-072-0/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0728-59/+59
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-074-4/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0728-104/+94
* Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).Alan Mishchenko2012-07-051-3/+3