cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
f1e0aa7a564c8c3a4e54841aea2cbc1971fd69ec
solidity/libsolidity/formal
T
History
Alex Beregszaszi c31a93b3f2 Remove boost::filesystem where it is not needed 
A two uses in CommonIO remain for the compiler (plus testing/tools use it extensively)
2020-05-11 11:19:11 +01:00
..
BMC.cpp
Add unique IDs to error reporting calls
2020-05-06 13:53:46 +02:00
BMC.h
Move VerificationTarget and add BMCVerificationTarget
2020-02-12 11:47:58 -03:00
CHC.cpp
Add unique IDs to error reporting calls
2020-05-06 13:53:46 +02:00
CHC.h
[SMTChecker] Remove redundant CHC constraints
2020-04-15 18:11:39 +02:00
CHCSmtLib2Interface.cpp
Remove boost::filesystem where it is not needed
2020-05-11 11:19:11 +01:00
CHCSmtLib2Interface.h
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
CHCSolverInterface.h
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
CVC4Interface.cpp
[SMTChecker] Add and use tuple sort
2020-04-08 18:26:03 +02:00
CVC4Interface.h
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
EncodingContext.cpp
Merge pull request #8570 from aarlt/clang-tidy-apply-modernize-use-emplace
2020-04-07 17:28:50 +02:00
EncodingContext.h
Symbolic state
2020-04-06 12:27:53 +02:00
ModelChecker.cpp
Change CHC encoding to functions forest instead of explicit CFG
2020-03-03 12:12:26 +01:00
ModelChecker.h
Change CHC encoding to functions forest instead of explicit CFG
2020-03-03 12:12:26 +01:00
SMTEncoder.cpp
Add unique IDs to error reporting calls
2020-05-06 13:53:46 +02:00
SMTEncoder.h
CHC clears indices so that initial is 0 and current is 1
2020-02-12 11:47:58 -03:00
SMTLib2Interface.cpp
Remove boost::filesystem where it is not needed
2020-05-11 11:19:11 +01:00
SMTLib2Interface.h
Apply modernize-pass-by-value.
2020-04-14 10:32:13 -05:00
SMTPortfolio.cpp
Replace void cast by maybe_unused
2020-01-09 13:41:30 +01:00
SMTPortfolio.h
Library libdevcore renamed to libsolutil.
2020-01-07 15:51:50 +01:00
SolverInterface.h
[SMTChecker] Add and use tuple sort
2020-04-08 18:26:03 +02:00
Sorts.cpp
[SMTChecker] Add SortProvider
2020-03-26 14:55:54 +01:00
Sorts.h
[SMTChecker] Add and use tuple sort
2020-04-08 18:26:03 +02:00
SSAVariable.cpp
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
SSAVariable.h
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
SymbolicState.cpp
Symbolic state
2020-04-06 12:27:53 +02:00
SymbolicState.h
Symbolic state
2020-04-06 12:27:53 +02:00
SymbolicTypes.cpp
Fix internal error when using array slices
2020-04-22 23:20:10 +02:00
SymbolicTypes.h
[SMTChecker] Add and use tuple sort
2020-04-08 18:26:03 +02:00
SymbolicVariables.cpp
[SMTChecker] Add and use tuple sort
2020-04-08 18:26:03 +02:00
SymbolicVariables.h
[SMTChecker] Add and use tuple sort
2020-04-08 18:26:03 +02:00
VariableUsage.cpp
Replaced all instances of lValueRequested to willBeWrittenTo
2020-04-20 12:33:30 +05:30
VariableUsage.h
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
Z3CHCInterface.cpp
Revert "Use Spacer option to improve performance of constant arrays"
2020-04-24 11:55:58 +02:00
Z3CHCInterface.h
C++ namespace cleanup (except tests).
2020-01-07 15:51:50 +01:00
Z3Interface.cpp
Fix undefined behavior with nullptr
2020-04-22 20:49:40 +02:00
Z3Interface.h
Change CHC encoding to functions forest instead of explicit CFG
2020-03-03 12:12:26 +01:00