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
19,423 Commits 348 Branches 121 Tags
opensmt
Commit Graph
19423 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak 887497a406 prepare_report: Make error/missing data placeholders actually look like placeholders 2021-01-11 17:06:59 +01:00
Kamil Śliwak fe7cc2097b prepare_report: Report missing metadata as well 2021-01-11 17:06:59 +01:00
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 MijovicLeonardoAlex Beregszaszi
 		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