cerc-io/solidity
16
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
3a15f88683
solidity/libsolidity/formal
History
Christian Parpart d67322a186 Introduce namespace langutil in liblangutil directory. 
Also:
- Use {}-style list initialisation for SourceLocation construction
- Introduce new system includes
- Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
2018-11-21 19:13:44 +00:00
..
CVC4Interface.cpp Isolating files shared between Yul- and Solidity language frontend. 2018-11-21 18:58:12 +00:00
CVC4Interface.h [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00
SMTChecker.cpp Introduce namespace langutil in liblangutil directory. 2018-11-21 19:13:44 +00:00
SMTChecker.h Introduce namespace langutil in liblangutil directory. 2018-11-21 19:13:44 +00:00
SMTLib2Interface.cpp Isolating files shared between Yul- and Solidity language frontend. 2018-11-21 18:58:12 +00:00
SMTLib2Interface.h Isolating files shared between Yul- and Solidity language frontend. 2018-11-21 18:58:12 +00:00
SMTPortfolio.cpp [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00
SMTPortfolio.h [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00
SolverInterface.h Isolating files shared between Yul- and Solidity language frontend. 2018-11-21 18:58:12 +00: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 [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00
SymbolicTypes.h [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00
SymbolicVariables.cpp [SMTChecker] Implement uninterpreted functions and use it for blockhash() 2018-11-15 09:12:42 +01:00
SymbolicVariables.h [SMTChecker] Implement uninterpreted functions and use it for blockhash() 2018-11-15 09:12:42 +01:00
VariableUsage.cpp Refactoring Declaration -> VariableDeclaration (more precise) 2018-06-12 10:58:50 +02:00
VariableUsage.h Refactoring Declaration -> VariableDeclaration (more precise) 2018-06-12 10:58:50 +02:00
Z3Interface.cpp Isolating files shared between Yul- and Solidity language frontend. 2018-11-21 18:58:12 +00:00
Z3Interface.h [SMTChecker] Refactor smt::Sort and its usage 2018-11-21 15:46:47 +01:00