Leonardo Alt b3c3836388 Output internal calls

2021-01-12 14:57:04 +01:00

..

ArraySlicePredicate.cpp

Support array slices

2020-10-01 11:52:02 +02:00

ArraySlicePredicate.h

Support array slices

2020-10-01 11:52:02 +02:00

BMC.cpp

addressing review comments

2021-01-11 14:19:06 +01:00

BMC.h

[SMTChecker] Basic support for try-catch in BMC

2021-01-11 13:36:02 +01:00

CHC.cpp

Output internal calls

2021-01-12 14:57:04 +01:00

CHC.h

Output internal calls

2021-01-12 14:57:04 +01:00

EncodingContext.cpp

[SMTChecker] More precise creation of verification targets.

2020-10-30 19:11:28 +01:00

EncodingContext.h

[SMTChecker] Avoid implicit conversion

2020-11-11 16:29:03 +00:00

ModelChecker.cpp

Allow loading Z3 dynamically at runtime.

2020-12-10 16:47:47 +01:00

ModelChecker.h

[SMTChecker] User timeout option

2020-11-03 10:46:11 +00:00

Predicate.cpp

Output internal calls

2021-01-12 14:57:04 +01:00

Predicate.h

Output internal calls

2021-01-12 14:57:04 +01:00

PredicateInstance.cpp

removed extra parameter from PredicateInstance::nondetInterface

2020-12-28 19:48:48 +01:00

PredicateInstance.h

removed extra parameter from PredicateInstance::nondetInterface

2020-12-28 19:48:48 +01:00

PredicateSort.cpp

[SMTChecker] Detect errors caused by reentrancy

2020-12-28 14:32:53 +01:00

PredicateSort.h

[SMTChecker] Detect errors caused by reentrancy

2020-12-28 14:32:53 +01:00

SMTEncoder.cpp

fixing try/catch encoding for BMC, refactoring

2021-01-11 13:36:03 +01:00

SMTEncoder.h

fixing try/catch encoding for BMC, refactoring

2021-01-11 13:36:03 +01:00

SSAVariable.cpp

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

SSAVariable.h

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

SymbolicState.cpp

[SMTChecker] Added constraints for block properties

2020-12-29 22:17:44 +01:00

SymbolicState.h

[SMTChecker] Added constraints for block properties

2020-12-29 22:17:44 +01:00

SymbolicTypes.cpp

SMTChecker support ABI functions as UFs

2020-12-17 14:03:17 +01:00

SymbolicTypes.h

Add tx data to symbolic state

2020-10-13 17:49:04 +01:00

SymbolicVariables.cpp

Enable more C++ compiler warnings

2020-12-10 21:03:58 +00:00

SymbolicVariables.h

[SMTChecker] Added support for struct constructor.

2020-11-23 13:45:17 +01:00

VariableUsage.cpp

[SMTChecker] Fix calls to virtual/overriden functions

2020-12-29 11:25:20 +01:00

VariableUsage.h

[SMTChecker] Fix calls to virtual/overriden functions

2020-12-29 11:25:20 +01:00