nishant-sachdeva cc6344c03c Changed instaces of isByteArrayOrString() to isByteArray() where it's only supposed to return a True for Bytes Type		2022-02-02 17:05:26 +05:30
..
ArraySlicePredicate.cpp
ArraySlicePredicate.h
BMC.cpp
BMC.h
CHC.cpp	Do not analyze unecessary contracts	2021-12-24 19:36:32 +01:00
CHC.h	[SMTChecker] Merge all entry points for a target	2021-11-03 11:12:58 +01:00
EncodingContext.cpp
EncodingContext.h
ExpressionFormatter.cpp
ExpressionFormatter.h
Invariants.cpp
Invariants.h
ModelChecker.cpp
ModelChecker.h
ModelCheckerSettings.cpp
ModelCheckerSettings.h
Predicate.cpp
Predicate.h
PredicateInstance.cpp
PredicateInstance.h
PredicateSort.cpp
PredicateSort.h
SMTEncoder.cpp	Changed occurences of isByteArray() to isByteArrayOrString(). The idea	2022-02-02 14:19:58 +05:30
SMTEncoder.h	Do not analyze unecessary contracts	2021-12-24 19:36:32 +01:00
SSAVariable.cpp
SSAVariable.h
SymbolicState.cpp	Implement typechecked abi.encodeCall()	2021-12-16 17:35:58 +01:00
SymbolicState.h
SymbolicTypes.cpp	Changed instaces of isByteArrayOrString() to isByteArray() where it's only supposed to return a True for Bytes Type	2022-02-02 17:05:26 +05:30
SymbolicTypes.h
SymbolicVariables.cpp
SymbolicVariables.h
VariableUsage.cpp
VariableUsage.h