Leonardo Alt d8cbf321da Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

..

CVC4Interface.cpp

…

CVC4Interface.h

…

SMTChecker.cpp

Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

SMTChecker.h

Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

SMTLib2Interface.cpp

…

SMTLib2Interface.h

…

SMTPortfolio.cpp

…

SMTPortfolio.h

…

SolverInterface.h

Retained move/copy semantics; removed const qualifier from Expression's members name (of type std::string) and arguments (of type std::vector<Expression>)

2018-10-17 16:46:18 +02:00

SSAVariable.cpp

Add gasleft constraint and use full member access name

2018-10-22 18:19:11 +02:00

SSAVariable.h

Add gasleft constraint and use full member access name

2018-10-22 18:19:11 +02:00

SymbolicTypes.cpp

Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

SymbolicTypes.h

Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

SymbolicVariables.cpp

Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

SymbolicVariables.h

Grouping of symbolic variables in the same file and support to FixedBytes

2018-10-25 09:30:48 +02:00

VariableUsage.cpp

…

VariableUsage.h

…

Z3Interface.cpp

Removing extra default cases to force compile time error, instead of runtime.

2018-09-30 12:40:38 +05:30

Z3Interface.h

…