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
17,788 Commits 348 Branches 121 Tags
4e448ad798a843618d76081d6cd1012c25efbfa1
Commit Graph
17788 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Leonardo Alt 4e448ad798 Change build hashes 2020-09-14 19:07:40 +02:00
Leonardo Alt fd6c665548 Update SMTChecker tests with z3 4.8.9 2020-09-14 19:04:13 +02:00
chriseth f264f5474d Merge pull request #9800 from ethereum/yul-phaser-make-tests-less-brittle 
Yul phaser make tests less brittle
 2020-09-14 16:57:35 +02:00
chriseth 5f8334d1db Merge pull request #9796 from ethereum/ppaScriptRemoveEoan 
Remove obsolete eoan and add new groovy from the PPA release script.
 2020-09-14 16:34:44 +02:00
Daniel Kirchner b4fbbf88e0 Add groovy to PPA release script. 2020-09-14 16:33:16 +02:00
Kamil Śliwak ea1c249822 [yul-phaser] Chromosome: Use more samples and higher tolerance in tests checking the distribution 
- This makes them run a second longer (which might seem small but it's a 3x increase).
- Hopefully they will break less when the random seed changes.
 2020-09-14 16:17:39 +02:00
Kamil Śliwak 5637bdcaec [yul-phaser] Replace mutation tests with hard-coded expectations with more robust ones that check the statistical distribution 
- The old tests would easily break when adding/removing optimiser steps.
 2020-09-14 16:17:39 +02:00
Kamil Śliwak d75f0ba437 [yul-phaser] Chromosome: Make it possible to use genes that do not correspond to existing optimiser steps 2020-09-14 16:17:39 +02:00
chriseth fb205b719e Merge pull request #9783 from ethereum/yul-phaser-fix-slow-tests-for-classic-algorithm 
[yul-phaser] Fix slow tests for classic genetic algorithm
 2020-09-14 16:16:59 +02:00
Daniel Kirchner 65b2505d5d Remove obsolete eoan from the PPA release script. 2020-09-14 13:52:08 +02:00
Alex Beregszaszi 398aff2ffd Merge pull request #9794 from cakesoft-omkar/develop 
Update yul.rst
 2020-09-14 12:07:14 +01:00
Omkar Nikhal 09e137cf69 Update yul.rst 2020-09-14 16:22:15 +05:30
Harikrishnan Mulackal 3817515015 Merge pull request #9787 from cakesoft-omkar/develop 
Update control-structures.rst
 2020-09-12 10:25:18 +02:00
Omkar Nikhal 55a7173e27 Update control-structures.rst 2020-09-12 12:50:36 +05:30
Leonardo 31b5102aa0 Merge pull request #9731 from ethereum/smt_import 
[SMTChecker] Fix CHC encoding
 2020-09-12 00:56:04 +02:00
Alex Beregszaszi 7c73d4ca51 Merge pull request #9780 from ethereum/smt-type-minmax 
[SMTChecker] Support type(T).min and type(T).max
 2020-09-11 23:25:52 +01:00
Alex Beregszaszi 5bba1ab360 Merge pull request #9779 from jbn/patch-1 
Add missing word to examples doc explainer
 2020-09-11 22:43:27 +01:00
Kamil Śliwak 47f5ee42c9 [yul-phaser] isFitter(): Switch from toString() to genes() to make chromosome comparisons a tiny bit faster 
- toString() uses a stream for conversion while genes() returns a direct reference to the string, without copies in between. The speed up is very small compared to the improvement from switching to storing a string of abbreviations instead of a vector of step names inside chromosomes but there's basically no downside to this change so it's still worth it.
 2020-09-11 23:09:51 +02:00
Alex Beregszaszi 961a199cf5 [SMTChecker] Support type(T).min and type(T).max 2020-09-11 21:37:51 +01:00
Kamil Śliwak e024032a67 Revert "[yul-phaser] Temporarily disable very slow tests for the classic algorithm" 
This reverts commit b23f7d8790.
 2020-09-11 22:05:56 +02:00
Kamil Śliwak 952a9c6115 [yul-phaser] Chromosome: store step abbreviations instead of full names 2020-09-11 22:05:56 +02:00
Kamil Śliwak 2a707e7685 [yul-phaser] Chromosome: Add stepsToGenes() and genesToSteps() 2020-09-11 22:05:56 +02:00
Leonardo Alt 3fea11e1a9 Remove problematic test 2020-09-11 22:02:18 +02:00
John B Nelson 59533792b4 Add missing word to examples doc explainer 2020-09-11 11:14:25 -07:00
Leonardo Alt 23ee011c56 [SMTChecker] Fix imports 2020-09-11 13:34:46 +02:00
Leonardo 72f8a753a9 Merge pull request #9586 from ethereum/scoper 
Assign scopes as a separate step.
 2020-09-11 10:45:54 +02:00
chriseth 61d2a18422 Merge pull request #9774 from ethereum/smt_remove_test 
Adjust problematic SMTChecker tests
 2020-09-11 10:32:11 +02:00
Leonardo Alt 84c707cd2a Adjust problematic SMTChecker tests 2020-09-10 19:32:17 +02:00
chriseth 0db79dbc29 Merge pull request #9591 from ethereum/nameSimplifier 
Yul name simplifier.
 2020-09-10 16:46:27 +02:00
chriseth 6101bdf7e2 Name simplifier. 2020-09-10 16:23:29 +02:00
Leonardo 95a284e526 Merge pull request #9739 from ethereum/smt_shifts 
[SMTChecker] Support shifts
 2020-09-09 21:19:43 +02:00
Leonardo Alt 40197df104 [SMTChecker] Support shifts 2020-09-09 19:47:52 +02:00
chriseth 9ced804236 Merge pull request #9771 from ethereum/refactorInterface 
Introduce bitvector sort.
 2020-09-09 18:46:22 +02:00
chriseth a2cac93cbf Introduce bitvector sort. 2020-09-09 17:26:52 +02:00
chriseth c966971fd3 Merge pull request #9770 from ethereum/smt_dot 
[SMTChecker] Change warning message
 2020-09-09 17:17:04 +02:00
chriseth 6508986077 Merge pull request #9768 from ethereum/move-event-syntax-tests-from-name-and-type-resolution 
Group event-related syntax tests together
 2020-09-09 16:57:30 +02:00
chriseth dade4c1a48 Merge pull request #9766 from ethereum/fix-overload-resolution-with-named-parameters-in-arbitrary-order 
Fix overload resolution with named arguments when order differs from declaration
 2020-09-09 16:55:26 +02:00
Leonardo Alt 00f6b303b1 [SMTChecker] Change warning message 2020-09-09 16:14:21 +02:00
Kamil Śliwak 6f41e83b48 Move most event-related syntax tests from nameAndTypeResolution/ to events/ 2020-09-09 14:53:46 +02:00
Kamil Śliwak 5e9dd67a0a FunctionType::canTakeArguments(): Use the correct index when comparing named parameter types 2020-09-09 14:45:58 +02:00
chriseth d089b56457 Merge pull request #9143 from ethereum/evmc-vms-evm-ewasm 
Add support for ewasm evmc vm.
 2020-09-09 11:13:39 +02:00
Alexander Arlt 23d9b1567e Add support for ewasm evmc vm. 2020-09-08 12:41:42 -05:00
chriseth 202332405f Merge pull request #9760 from ethereum/sol2YulStorageArrayIndexAccessFix 
[Sol->Yul] Fixing storage array index access
 2020-09-08 16:33:54 +02:00
chriseth 3d5c84e19a Merge pull request #9748 from ethereum/fix-implicit-conversion-to-super 
Forbid implicit conversion from a contract to super
 2020-09-08 16:22:35 +02:00
Leonardo a02f70a6df Merge pull request #9757 from ethereum/circleci_arch 
Add t_archlinux_soltest
 2020-09-08 16:17:58 +02:00
Djordje Mijovic ec6d21cde2 [Sol->Yul] Fixing storage array index access 2020-09-08 16:02:56 +02:00
Leonardo Alt 9dacde99e6 Add t_archlinux_soltest 2020-09-08 14:54:36 +02:00
Leonardo 0b0c814b49 Merge pull request #9756 from ethereum/circleci_output_timeout 
Increase Circle CI no output timeout
 2020-09-08 10:14:33 +02:00
Leonardo Alt 0be8c2af5b Increase Circle CI no output timeout 2020-09-08 08:18:27 +02:00
Kamil Śliwak 41bcb97e36 Don't consider contracts implicitly convertible to the type of super 
- `super` for all intents and purposes behaves like a type and should be a TypeType rather than ContractType. We have an issue to fix it but it's a breaking change. Until then let's at least not treat other contracts as convertible to the ContractType that `super` represents.
 2020-09-08 00:29:44 +02:00