chriseth 0e2a9658d2 Explain IntIntFun and merge assertion.

2017-11-23 19:02:47 +01:00

..

SMTChecker.cpp

Fix problem with non-value-typed variables.

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

SMTChecker.h

Fix problem with non-value-typed variables.

2017-11-22 02:35:34 +00: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

Explain IntIntFun and merge assertion.

2017-11-23 19:02:47 +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

Fix boolean constants.

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

Z3Interface.h

Introduce native Z3 support.

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