Kamil Śliwak
|
9f58f77b50
|
prepare_report: Unify error/missing data handling between JS and Python versions
|
2021-01-11 17:06:59 +01:00 |
|
Kamil Śliwak
|
a036cbea19
|
prepare_report.js: Replace var with const/let + minor cleanup
|
2021-01-11 17:06:59 +01:00 |
|
Kamil Śliwak
|
42786c2d29
|
Extract the script embedded in storebytecode.sh into a separate file
|
2021-01-11 17:06:59 +01:00 |
|
BinacsLee
|
3329f4ab9b
|
[scripts/install_deps.sh] support MacOS Big Sur
|
2021-01-11 23:50:18 +08:00 |
|
Djordje Mijovic
|
b06936b11c
|
[refactor] Move copying struct to storage to it's own util function.
|
2021-01-11 16:26:14 +01:00 |
|
chriseth
|
dfcba3bbd3
|
Merge pull request #10733 from ethereum/fixEncodingLibrary
Determine encoding type earlier.
|
2021-01-11 15:27:09 +01:00 |
|
chriseth
|
e6d3fcbdc7
|
Merge pull request #10734 from ethereum/smt_fix_bfs_agaon
Fix BFS visit
|
2021-01-11 14:55:19 +01:00 |
|
chriseth
|
3804ad85f6
|
Enable tests.
|
2021-01-11 14:51:33 +01:00 |
|
Martin Blicha
|
ff76c989ac
|
addressing review comments
|
2021-01-11 14:19:06 +01:00 |
|
Martin Blicha
|
3d7188ac7b
|
update to the tests
|
2021-01-11 13:36:03 +01:00 |
|
Martin Blicha
|
dd43ce1578
|
fixing try/catch encoding for BMC, refactoring
|
2021-01-11 13:36:03 +01:00 |
|
Martin Blicha
|
064e9a5de6
|
Changelog entry
|
2021-01-11 13:36:03 +01:00 |
|
Martin Blicha
|
09de54b5eb
|
tests
|
2021-01-11 13:36:03 +01:00 |
|
Martin Blicha
|
55589a9eec
|
[SMTChecker] Basic support for try-catch in BMC
|
2021-01-11 13:36:02 +01:00 |
|
Martin Blicha
|
0f3924186e
|
[SMTChecker] Support try-catch in CHC engine
|
2021-01-11 13:36:02 +01:00 |
|
Leonardo Alt
|
5f39662235
|
Fix BFS visit
|
2021-01-11 13:18:59 +01:00 |
|
chriseth
|
994fdb7517
|
Determine encoding type earlier.
|
2021-01-11 11:57:22 +01:00 |
|
chriseth
|
f03245d473
|
Merge pull request #10724 from a3d4/fix-docu-typo-windows-build
Fix a tiny typo in building-on-windows documentation
|
2021-01-08 15:40:50 +01:00 |
|
Leonardo
|
d11cf15d37
|
Merge pull request #10722 from ethereum/smt_cex_calls
[SMTChecker] Refactor cex loop
|
2021-01-07 23:57:52 +01:00 |
|
Leonardo Alt
|
11f56861c3
|
Refactor cex loop
|
2021-01-07 23:13:02 +01:00 |
|
a3d4
|
184d3f3bfd
|
Fix a tiny typo in building-on-windows documentation
|
2021-01-07 03:09:32 +01:00 |
|
Harikrishnan Mulackal
|
5241b7b761
|
Merge pull request #10684 from ethereum/fixIRWrappingExp
Use wrapping arithmetic for exp in unchecked blocks.
|
2021-01-06 18:53:54 +01:00 |
|
Harikrishnan Mulackal
|
591f04e41c
|
Merge pull request #10718 from ethereum/gitignoreClion
Extend .gitignore to all CLion build directories and allow "build" to be a symlink.
|
2021-01-06 12:45:30 +01:00 |
|
Harikrishnan Mulackal
|
3cb48b8c60
|
Merge pull request #10683 from ethereum/optSubEq
Optimize iszero(sub(x, y)) to eq(x, y).
|
2021-01-06 12:22:54 +01:00 |
|
Leonardo
|
130fc0701b
|
Merge pull request #10716 from ethereum/rename_bfs
Make BFS correct again
|
2021-01-06 11:55:34 +01:00 |
|
Daniel Kirchner
|
308549f950
|
Simplify test and add Changelog entry.
|
2021-01-06 11:33:08 +01:00 |
|
Daniel Kirchner
|
0a923f02f6
|
Allow /build to be a symlink in .gitignore.
|
2021-01-06 10:34:18 +01:00 |
|
Daniel Kirchner
|
bac07612bf
|
Extend .gitignore to all CLion build directory names.
|
2021-01-06 10:29:32 +01:00 |
|
Leonardo Alt
|
ced79497f5
|
Fix BFS
|
2021-01-06 10:17:17 +01:00 |
|
Alex Beregszaszi
|
fce6d99900
|
Merge pull request #10655 from ethereum/semver-empty
Mark the empty version pragma as invalid
|
2021-01-04 20:09:33 +00:00 |
|
Alex Beregszaszi
|
8edfa26f0a
|
Mark the empty version pragma as invalid
|
2021-01-04 19:28:36 +00:00 |
|
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 |
|