| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| |
|
|
| |
input).
|
| |
|
|
| |
-z3bv option to Z3-specific -proverOpt:OPTIMIZE_FOR_BV=true. Start with the prover-specific help (still needs changes in the yet-unconverted part).
|
| | |
|
| |
|
|
| |
for better performance on VCs that are heavy on bitvector arithmetic
|
| |
|
|
| |
svn-ignoring some build artifacts
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
projects which have a (more up-to-date) copy of cce.cs.
|
| |
|
|
| |
the version information.
|
| |
|
|
| |
project; making Core work with the port by removing the nonnull requirements on one abstract method.
|
| |
|
|
| |
were pointing to the yet-to-exist C# version.
|
| | |
|
| | |
|
| |
|
|
| |
references of simplify's dependents.
|
| |
|
|
| |
committing my port of Simplify.csproj.
|
| |
|
|
| |
no longer necessarry.
|
| | |
|
| |
|
|
| |
commiting my port of the project.
|
| |
|
|
| |
structured.
|
| | |
|
| |
|
|
| |
rather than Provers.Z3. I updated that.
|
| |
|
|
| |
that it matches the namespace.
|
| |
|
|
| |
Contracts dll) in AbsInt, Isabelle, and Z3
|
| |
|
|
| |
Contracts Extensions - utility methods for the port that are not present in Code Contracts.)
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
of the project.
|
| | |
|
| |
|
|
| |
typo in the Spec# version of Z3's ProverInterface.ssc
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
building/execution of the program
|
| |
|
|
| |
Contracts checking is on, that should resolve once Core ports
|
| |
|
|
| |
on all ports once Core is ported. <\Isabelle> <\Boogie>
|
| | |
|
| |
|
|
| |
assembly signing information from AssemblyInfo.cs files (which since that was the only thing in BoogieDriver's assembly info, deleted that file). Now signing information is specified in the project files.
|
| | |
|
| |
|
|
| |
the required subfolders.
|
| | |
|
| | |
|
| |
|
|
| |
pants here.
|
| | |
|
| | |
|
| | |
|
| | |
|
tabarbe