Leonardo Alt d0abc5359b [SMTChecker] Variables are merged after branches (ite variables)

2018-01-04 18:20:12 +01:00

..

SMTChecker.cpp

[SMTChecker] Variables are merged after branches (ite variables)

2018-01-04 18:20:12 +01:00

SMTChecker.h

[SMTChecker] Variables are merged after branches (ite variables)

2018-01-04 18:20:12 +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

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

Unary operators and division.

2017-11-30 01:20:21 +01:00

Z3Interface.h

Introduce native Z3 support.

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