summaryrefslogtreecommitdiffstats
path: root/src/proof/int
Commit message (Expand)AuthorAgeFilesLines
* Added option 'int -I <filename>' to specify file names to dump invariants.Alan Mishchenko2013-04-283-3/+7
* Enabling two-timeframe property check in the interpolation procedure.Alan Mishchenko2013-02-214-20/+31
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+1
* Making report about the number of correcty covered frames consistent across t...Alan Mishchenko2012-10-091-2/+2
* Fixing interpolation to run without resource limits by default.Alan Mishchenko2012-07-251-1/+1
* Removed unused files from the project.Alan Mishchenko2012-07-251-1/+0
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-2/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-075-9/+9
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-076-19/+22
* Setting infinite default conflict limits in 'bmc', 'int', 'pdr'.Alan Mishchenko2012-07-061-2/+2
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-099-39/+39
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-097-35/+35
* Bug fix in 'in' (look at the OR of the interpolants, rather than the last fro...Alan Mishchenko2012-02-281-0/+4
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Trying to fix a false-positive due to incorrect inductive termination check i...Alan Mishchenko2012-02-011-3/+9
* Major restructuring of the code.Alan Mishchenko2012-01-2114-0/+2926