Leonardo
|
fdbb4d9a8f
|
Merge pull request #10705 from ethereum/smt_cex_contract
[SMTChecker] Output contract's name in counterexample
|
2021-01-04 12:57:06 +01:00 |
|
Leonardo Alt
|
b02722ebda
|
Add contract name to called function in cex
|
2021-01-04 10:03:16 +01:00 |
|
Đorđe Mijović
|
0e32fa8209
|
Merge pull request #10579 from ethereum/supportMetaTypeNameSol2Yul
[Sol->Yul] Implementing type name.
|
2020-12-30 18:46:24 +01:00 |
|
Djordje Mijovic
|
67c92b7f6e
|
Updating gas costs and cmdline tests.
|
2020-12-30 17:48:41 +01:00 |
|
Djordje Mijovic
|
047d693ac9
|
Refactoring copyLiteralToMemoryFunction and reusing it from other functions.
Co-authored-by: Leonardo <leo@ethereum.org>
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
|
2020-12-30 17:31:20 +01:00 |
|
Djordje Mijovic
|
b74c08143f
|
Deleting yul unimplemented test.
|
2020-12-30 17:19:04 +01:00 |
|
Djordje Mijovic
|
ddb05769a5
|
[Sol->Yul] Implementing type name.
|
2020-12-30 17:19:03 +01:00 |
|
Đorđe Mijović
|
1837e0ae7f
|
Merge pull request #10661 from ethereum/smt_checked
[SMTChecker] Checked arithmetic and unchecked blocks
|
2020-12-30 16:00:31 +01:00 |
|
Leonardo Alt
|
78d55e6b4a
|
[SMTChecker] Support check/unchecked
|
2020-12-30 12:14:30 +01:00 |
|
Leonardo
|
eb05826857
|
Merge pull request #10702 from blishko/smt-block-constraints
[SMTChecker] Add missing constraints for block properties
|
2020-12-30 09:14:47 +01:00 |
|
Martin Blicha
|
be0a0f4d90
|
[SMTChecker] Added constraints for block properties
|
2020-12-29 22:17:44 +01:00 |
|
Leonardo
|
86c30b4cf5
|
Merge pull request #10685 from ethereum/smt_virtual_functions
[SMTChecker] Fix calls to virtual/overriden functions
|
2020-12-29 15:05:29 +01:00 |
|
Leonardo Alt
|
9482e7de23
|
[SMTChecker] Fix calls to virtual/overriden functions
|
2020-12-29 11:25:20 +01:00 |
|
Leonardo
|
840b194bea
|
Merge pull request #10662 from blishko/smt-external-error
[SMTChecker] Carry error information across external calls
|
2020-12-29 11:05:21 +01:00 |
|
Martin Blicha
|
41d31fe4d4
|
updates to the tests
|
2020-12-28 20:05:52 +01:00 |
|
Martin Blicha
|
bb0003f5ea
|
removed extra parameter from PredicateInstance::nondetInterface
|
2020-12-28 19:48:48 +01:00 |
|
Martin Blicha
|
58731056a3
|
Changelog entry
|
2020-12-28 16:50:04 +01:00 |
|
Martin Blicha
|
77dff222e9
|
disabling some tests because of nondeterminism in Spacer
|
2020-12-28 16:24:44 +01:00 |
|
Martin Blicha
|
745466b71f
|
updates to the tests
|
2020-12-28 14:32:53 +01:00 |
|
Martin Blicha
|
f76ff35225
|
[SMTChecker] Detect errors caused by reentrancy
|
2020-12-28 14:32:53 +01:00 |
|
Đorđe Mijović
|
8e9a5a02c2
|
Merge pull request #10691 from ethereum/arrayCopyIRCheck
Adding more tests for array copying.
|
2020-12-28 14:05:46 +01:00 |
|
Djordje Mijovic
|
c41f996c7b
|
Adding more tests for array copying.
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
|
2020-12-28 13:16:24 +01:00 |
|
Harikrishnan Mulackal
|
e06af46f3d
|
Merge pull request #10697 from GKStretton/patch-1
Fix typo
|
2020-12-28 13:10:24 +01:00 |
|
Greg Stretton
|
6aa6161881
|
Fix typo
|
2020-12-28 11:06:40 +00:00 |
|
Leonardo
|
03946bcd3c
|
Merge pull request #10694 from suriyaa/patch-1
Update Natspec documentation URL
|
2020-12-28 11:08:02 +01:00 |
|
Suriyaa Sundararuban
|
8649df169d
|
Update Natspec documentation URL
|
2020-12-27 14:55:40 +01:00 |
|
chriseth
|
2ab83217e3
|
Use wrapping arithmetic for exp in unchecked blocks.
|
2020-12-22 16:49:55 +01:00 |
|
chriseth
|
e299d8ba64
|
Merge pull request #10677 from ethereum/dirtyMemoryBytesSol2Yul
[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics
|
2020-12-22 16:22:38 +01:00 |
|
chriseth
|
04d83af1d2
|
Merge pull request #10492 from ethereum/arrayClearingDiffBaseSol2Yul
[Sol->Yul] Fixing array clearing when copying from storage to storage.
|
2020-12-22 15:15:03 +01:00 |
|
chriseth
|
d46da8e53c
|
Optimize iszero(sub(x, y)) to eq(x, y).
|
2020-12-22 15:11:48 +01:00 |
|
Djordje Mijovic
|
a204596c3e
|
[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-12-22 15:11:07 +01:00 |
|
Leonardo
|
6bcae84610
|
Merge pull request #10678 from blishko/refactor
[SMTChecker] Small refactoring to define a single way of gathering functions belonging to a given contract.
|
2020-12-22 13:50:26 +01:00 |
|
Martin Blicha
|
d90b9da4f0
|
[SMTChecker] Refactoring
|
2020-12-22 13:10:48 +01:00 |
|
chriseth
|
d987834e79
|
Merge pull request #10079 from ethereum/catchPanic
Catch panic.
|
2020-12-22 13:06:57 +01:00 |
|
chriseth
|
0437ee7ad9
|
Fix length check when decoding error data.
|
2020-12-22 11:08:44 +01:00 |
|
chriseth
|
b965446182
|
Catch panic.
|
2020-12-22 11:08:44 +01:00 |
|
Đorđe Mijović
|
b78443ac75
|
Merge pull request #10577 from ethereum/deleteMappingSol2Yul
[Sol->Yul] Skipping mapping types when deleting structs and arrays.
|
2020-12-21 20:08:51 +01:00 |
|
Leonardo
|
a48106ca1f
|
Merge pull request #10670 from blishko/smt-virtual-modifiers-fix
[SMTChecker] Fix virtual modifier called statically
|
2020-12-21 18:05:02 +01:00 |
|
Djordje Mijovic
|
adb9d0c41a
|
[Sol->Yul] Fixing array clearing when copying from storage to storage.
|
2020-12-21 17:33:06 +01:00 |
|
Djordje Mijovic
|
8b6397e8fb
|
Adding more syntax and semantic tests.
|
2020-12-21 15:30:49 +01:00 |
|
Đorđe Mijović
|
21dc6c8356
|
Merge pull request #10552 from ethereum/gettersSol2Yul
[Sol->Yul] Implementing getter for struct with bytes member
|
2020-12-21 15:29:29 +01:00 |
|
Djordje Mijovic
|
7b2614576f
|
Activating some tests viaYul after implementing getters for bytes.
|
2020-12-21 14:46:13 +01:00 |
|
Djordje Mijovic
|
2d5a2c65a8
|
[Sol->Yul] Implementing getters for bytes and structs containing bytes member.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-12-21 14:46:06 +01:00 |
|
Martin Blicha
|
87ef0e16f5
|
[SMTChecker] Fix virtual modifier called statically
|
2020-12-21 13:52:28 +01:00 |
|
Djordje Mijovic
|
9b8634f2a7
|
[Sol->Yul] Skipping mapping types when deleting structs and arrays.
|
2020-12-21 13:19:25 +01:00 |
|
Bhargava Shastry
|
beed9de7d5
|
Merge pull request #10668 from ethereum/fuzzer-always-add-smt-pragma
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
|
2020-12-21 12:38:44 +01:00 |
|
chriseth
|
a9a62e86df
|
Merge pull request #10669 from ethereum/testRecursionModifiers
Test for recursion with modifiers.
|
2020-12-21 12:06:26 +01:00 |
|
Bhargava Shastry
|
a6a2b58e57
|
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-21 11:55:58 +01:00 |
|
chriseth
|
43baceb1ed
|
Test for recursion with modifiers.
|
2020-12-21 11:39:59 +01:00 |
|
Alex Beregszaszi
|
67712d50ba
|
Merge pull request #10665 from smarteasy/develop
Update introduction-to-smart-contracts.rst
|
2020-12-20 13:39:41 +00:00 |
|