summaryrefslogtreecommitdiffstats
path: root/src/aig/saig
Commit message (Collapse)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
| | | | in 'bmc2'.
* 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 ↵Alan Mishchenko2012-10-092-4/+4
| | | | the engines.
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
|
* Modified structural constraint extraction (unfold -s) to work for ↵Alan Mishchenko2012-09-231-162/+241
| | | | multi-output testcases.
* 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
|