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
ef3bcbda977cd3dcd6c94eeedb6a5ba5d3f53e48
solidity/test/libsolidity/smtCheckerTests
T
History
chriseth 482bda6887 Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
..
array_members
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
blockchain_state
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
bmc_coverage
[SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine.
2020-11-30 11:47:49 +01:00
complex
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
control_flow
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
crypto
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
external_calls
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
file_level
Do not run SMTChecker when file level functions/constants are present.
2020-12-09 12:18:55 +01:00
function_selector
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
functions
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
imports
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
inheritance
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
inline_assembly
[SMTChecker] report SMTEncoder warnings also via CHC
2020-11-03 16:06:17 +00:00
invariants
Add unknown message to all verification targets
2020-10-19 20:54:13 +01:00
loops
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
math
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
modifiers
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
operators
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
overflow
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
simple
[SMTChecker] Shortcut RationalNumber expressions
2019-03-11 12:53:49 +01:00
special
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
typecast
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
types
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00
verification_target
Move CHC counterexamples to primary location
2020-12-09 19:55:18 +01:00