← Back to branch summary

~verifytapn/verifytapn/1.0

~verifytapn/verifytapn/1.0

Viewing all changes in revision 55.

Committer: Lasse Jacobsen
Date: 2010-11-25 13:44:42 UTC
Revision ID: lassejac@lassejac-laptop-20101125134442-65r093ij17ylh410

- added experimental feature for using either global of local max constants
for extrapolation

files modified:
src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/Verification/SearchStrategy.cpp

src/main.cpp

Show diffs side-by-side

added added

removed removed

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/Verification/SearchStrategy.cpp

Older »