| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|\ |
|
| |
| |
| |
| | |
the Z3 version to use
|
| | |
|
| | |
|
|/ |
|
|
|
|
|
| |
can lose context.
Added a cache for FindLeastToVerify
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
SORT_AND_OR option (obsolete)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
implement a set) with HashSet. Added a new NonNull method to the cce class that checks to make sure a set is non-null and does not contain null.
|
|
|
|
|
|
| |
dictionaries are non-null, which is enforced by the implementation of Dictionary.
Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.
|
|
|
|
| |
configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
different syntax in SMT than in Simplify
|
| |
|
|
|
|
| |
thing in Simplify frontend)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Disable MODEL_PARTIAL in SMTLib
|
| |
|
|
|
|
| |
Implement ProverContext.Lookup method.
|
| |
|
|
|
|
| |
Allow construction of ErrorModel instance from Model instance
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Add supported :prover commands
Minor fixes
|
| |
|