Leonardo
|
582c754598
|
Merge pull request #8624 from ethereum/smt_fix_internal_call_chc
[SMTChecker] Fix ICE in CHC internal calls
|
2020-04-07 10:51:49 +02:00 |
|
Leonardo Alt
|
e3ec22124e
|
[SMTChecker] Fix ICE in CHC internal calls
|
2020-04-07 01:09:03 +02:00 |
|
chriseth
|
398c515982
|
Merge pull request #8618 from mijovic/nextConstructorRefactor
Refactoring nextConstructor by moving it from CompilerContext to ContractDefinition
|
2020-04-06 19:31:12 +02:00 |
|
chriseth
|
65521839a4
|
Merge pull request #8617 from random-internet-cat/realpath-fix
Use readlink -f instead of realpath in ASTImportTest.sh
|
2020-04-06 19:24:06 +02:00 |
|
Kamil Śliwak
|
0efea99fa5
|
[yul-phaser] Phaser: Allow selecting the classic algorithm on the command line
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
f6783c60b2
|
[yul-phaser] GeneticAlgorithms: Add ClassicGeneticAlgorithm
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
879f6e17e9
|
[yul-phaser] GenerationalElitistWithExclusivePools: Refactor runNextRound() for less nesting and more readability
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
8c86a4983d
|
[yul-phaser] Population: Add combine()
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
ef8d0888af
|
[yul-phaser] Population: Add symmetricCrossoverWithRemainder()
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
59011fcde6
|
[yul-phaser] Mutations: Add mutationSequence()
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
0837a62d5c
|
[yul-phaser] Mutations: Add symmetricRandomPointCrossover()
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
b6f8ecf755
|
[yul-phaser] Selections+PairSelections: Add RandomSubset and PairsFromRandomSubset
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
7381068dcc
|
[yul-phaser] Make the Population constructor that takes individuals public and use it to speed up some operations
|
2020-04-06 19:06:08 +02:00 |
|
Kamil Śliwak
|
2750bb9b90
|
[yul-phaser] TestHelpers: Generic operator << for printing tuples in boost tests
|
2020-04-06 19:06:08 +02:00 |
|
chriseth
|
e349f4b73a
|
Merge pull request #8621 from ethereum/release
Merge release back into develop.
|
2020-04-06 18:37:11 +02:00 |
|
chriseth
|
d723e389b5
|
Merge pull request #8620 from ethereum/setVersionTo066
Set version to 0.6.6.
|
2020-04-06 18:31:28 +02:00 |
|
chriseth
|
0988ee641b
|
Set version to 0.6.6.
|
2020-04-06 18:12:21 +02:00 |
|
Djordje Mijovic
|
8cc16eb128
|
Refactoring nextConstructor by moving it from CompilerContext to ContractDefinition
|
2020-04-06 17:35:08 +02:00 |
|
Jason Cobb
|
1cf8a6c9d2
|
Use readlink -f instead of realpath in ASTImportTest.sh
|
2020-04-06 10:10:58 -04:00 |
|
chriseth
|
806c835647
|
Merge pull request #8568 from aarlt/clang-tidy-apply-modernize-use-override
clang-tidy: Apply modernize-use-override.
|
2020-04-06 16:09:02 +02:00 |
|
Leonardo
|
07437985d0
|
Merge pull request #8579 from ethereum/smt_symbolic_state
[SMTChecker] Symbolic state
|
2020-04-06 15:11:14 +02:00 |
|
chriseth
|
f956cc8990
|
Merge pull request #8616 from ethereum/develop
Merge develop into release for 0.6.5
|
2020-04-06 15:03:00 +02:00 |
|
chriseth
|
3f52ee43a8
|
Merge pull request #8581 from ethereum/immutableDebug
Debug information for immutable references.
|
2020-04-06 14:22:31 +02:00 |
|
chriseth
|
f7aba45457
|
Merge pull request #8592 from random-internet-cat/ast-visitor-constructor
Delete copy and move operations for ASTVisitor and ASTConstVisitor
|
2020-04-06 14:16:20 +02:00 |
|
chriseth
|
69a3bab0fc
|
Merge pull request #8613 from ethereum/prepareNextRelease
Prepare changelog for 0.6.5.
|
2020-04-06 14:10:24 +02:00 |
|
chriseth
|
30c9705c14
|
Update buglist.
|
2020-04-06 13:17:01 +02:00 |
|
Leonardo Alt
|
05a85461fe
|
Symbolic state
|
2020-04-06 12:27:53 +02:00 |
|
Leonardo
|
0a72a3b8af
|
Merge pull request #8611 from ethereum/smt_array_variable_sort
[SMTChecker] Allow constructing symbolic arrays from smt sort
|
2020-04-06 12:26:30 +02:00 |
|
Daniel Kirchner
|
4a23ce087c
|
Document immutable references output.
|
2020-04-06 11:22:07 +02:00 |
|
Daniel Kirchner
|
84d7bac4f6
|
Format immutable references similarly to link references.
|
2020-04-06 11:21:53 +02:00 |
|
chriseth
|
06562e3431
|
Prepare changelog for 0.6.5.
|
2020-04-06 11:11:20 +02:00 |
|
Daniel Kirchner
|
81652686be
|
Debug information for immutable references.
|
2020-04-06 10:56:42 +02:00 |
|
Daniel Kirchner
|
8451639f17
|
Merge pull request #8586 from ethereum/immutableExternalFunctionPointers
Disallow external function pointers as immutables.
|
2020-04-06 10:53:54 +02:00 |
|
Leonardo Alt
|
2cfa44bba3
|
Allow constructing symbolic arrays from smt sort
|
2020-04-06 10:50:00 +02:00 |
|
chriseth
|
7148f4c5c5
|
Merge pull request #8609 from ethereum/trivial-doc-fixes-in-reference-types-rst
Trivial documentation fixes in reference-types.rst
|
2020-04-06 10:42:13 +02:00 |
|
Kamil Śliwak
|
303345b12c
|
reference-types.rst: Fix incorrectly wrapped line in the array slice section
|
2020-04-06 10:15:42 +02:00 |
|
Kamil Śliwak
|
1847536d6d
|
reference-types.rst: Minor text correction, itself -> themselves
|
2020-04-06 10:15:13 +02:00 |
|
Alexander Arlt
|
d8671d9c14
|
Add script to determine percentage of tests compilable via Yul.
|
2020-04-04 18:04:54 -05:00 |
|
Jason Cobb
|
205063f86b
|
Delete copy and move operations for ASTVisitor and ASTConstVisitor
|
2020-04-03 23:47:10 -04:00 |
|
Daniel Kirchner
|
1b4bbdc5ff
|
Merge pull request #8573 from ethereum/add-move-specific-warnings
[build-system] Add -Wpessimizing-move & -Wredundant-move warnings.
|
2020-04-03 16:58:26 +02:00 |
|
Leonardo
|
07ffc041db
|
Merge pull request #8582 from ethereum/chriseth-patch-1
Changelog entry for immutable variables.
|
2020-04-03 12:24:44 +02:00 |
|
Daniel Kirchner
|
d68c526eaa
|
Disallow external function pointers as immutables.
|
2020-04-03 11:56:51 +02:00 |
|
Daniel Kirchner
|
00acaadd10
|
Merge pull request #8584 from random-internet-cat/annotation-constructors
Delete copy/move on annotation polymorphic bases to improve safety
|
2020-04-03 10:56:38 +02:00 |
|
Jason Cobb
|
7f5857a146
|
Delete copy/move on annotation polymorphic bases
|
2020-04-02 22:33:21 -04:00 |
|
Alexander Arlt
|
cae6e7769f
|
Apply modernize-use-override.
|
2020-04-02 18:00:44 -05:00 |
|
Alexander Arlt
|
90bb1d8a7c
|
Apply modernize-use-emplace.
|
2020-04-02 17:35:48 -05:00 |
|
chriseth
|
4816484964
|
Merge pull request #8580 from ethereum/publicImmutables
Accessors for immutable variables.
|
2020-04-02 19:50:56 +02:00 |
|
chriseth
|
d7a39c86ce
|
Accessors for immutable variables.
|
2020-04-02 19:09:54 +02:00 |
|
chriseth
|
bdcfd71f34
|
Skip verification for external access.
|
2020-04-02 18:40:43 +02:00 |
|
chriseth
|
216fca5b70
|
Merge pull request #8578 from ethereum/interface-function-modifier-error
Added error for interface functions that have modifiers; test case
|
2020-04-02 18:05:32 +02:00 |
|