Leonardo Alt 5d74b862a3 This z3 option is necessary for good solving performance

2018-03-04 14:42:36 +01:00

..

SMTChecker.cpp

Supported types listed in SSAVariable

2018-02-28 18:05:20 +01:00

SMTChecker.h

Integer min and max values placed under SymbolicIntVar instead of SMTChecker

2018-02-28 18:05:20 +01:00

SMTLib2Interface.cpp

Introduce sorts for smt expressions.

2017-11-22 15:20:26 +01:00

SMTLib2Interface.h

Introduce sorts for smt expressions.

2017-11-22 15:20:26 +01:00

SolverInterface.h

[SMTChecker] Keep track of current path conditions

2017-12-13 17:39:10 +01:00

SSAVariable.cpp

Fix PR comments

2018-02-28 18:05:20 +01:00

SSAVariable.h

Fix PR comments

2018-02-28 18:31:11 +01:00

SymbolicIntVariable.cpp

Fix PR comments

2018-02-28 18:05:20 +01:00

SymbolicIntVariable.h

Fix PR comments

2018-02-28 18:31:11 +01:00

SymbolicVariable.cpp

Fix PR comments

2018-02-28 18:05:20 +01:00

SymbolicVariable.h

Fix PR comments

2018-02-28 18:31:11 +01:00

VariableUsage.cpp

Track usage of variables.

2017-11-22 02:35:34 +00:00

VariableUsage.h

Track usage of variables.

2017-11-22 02:35:34 +00:00

Z3Interface.cpp

This z3 option is necessary for good solving performance

2018-03-04 14:42:36 +01:00

Z3Interface.h

Introduce native Z3 support.

2017-08-23 17:37:35 +02:00