Leonardo Alt 5517e817d5 Do not trust code of external functions		2020-07-01 18:20:46 +02:00
..
BMC.cpp	[SMTChecker] Fix BMC targets with FP	2020-05-29 18:13:13 +02:00
BMC.h	Rename namespace	2020-05-20 12:55:18 +02:00
CHC.cpp	Do not trust code of external functions	2020-07-01 18:20:46 +02:00
CHC.h	[SMTChecker] Support to external calls to unknown code	2020-07-01 18:20:33 +02:00
EncodingContext.cpp	[SMTChecker] Replace wrap mod by slack vars	2020-06-12 14:57:21 +02:00
EncodingContext.h	[SMTChecker] Replace wrap mod by slack vars	2020-06-12 14:57:21 +02:00
ModelChecker.cpp	Rename namespace	2020-05-20 12:55:18 +02:00
ModelChecker.h	Rename namespace	2020-05-20 12:55:18 +02:00
SMTEncoder.cpp	[SMTChecker] Replace wrap mod by slack vars	2020-06-12 14:57:21 +02:00
SMTEncoder.h	Adding fixes for signedness warnings in libsolidity	2020-06-10 10:41:55 +02:00
SSAVariable.cpp	[SMTChecker] Support array length	2020-05-14 23:32:29 +02:00
SSAVariable.h	[SMTChecker] Support array length	2020-05-14 23:32:29 +02:00
SymbolicState.cpp	Rename namespace	2020-05-20 12:55:18 +02:00
SymbolicState.h	[SMTChecker] Support to bitwise	2020-05-27 20:59:00 +02:00
SymbolicTypes.cpp	[SMTChecker] Fix fixed point inc/dec	2020-05-28 10:56:06 +02:00
SymbolicTypes.h	[SMTChecker] Fix fixed point inc/dec	2020-05-28 10:56:06 +02:00
SymbolicVariables.cpp	Adding fixes for signedness warnings in libsolidity	2020-06-10 10:41:55 +02:00
SymbolicVariables.h	Adding fixes for signedness warnings in libsolidity	2020-06-10 10:41:55 +02:00
VariableUsage.cpp	[SMTChecker] Relax assertion about callstack	2020-06-02 12:50:51 +02:00
VariableUsage.h	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00