Taylor Ferran
|
79adec08f2
|
Add detail about limitation in voting contract example
|
2022-08-30 14:34:05 +02:00 |
|
Leo Alt
|
cbcd8a724b
|
Update z3 to 4.11.0
|
2022-08-30 12:52:22 +02:00 |
|
Leo
|
e048ba4d75
|
Merge pull request #13439 from ethereum/z3_4_8_11_smt_tests
Update SMT tests with z3 4.11.0
|
2022-08-30 12:51:13 +02:00 |
|
Leo
|
3658d8abc4
|
Merge pull request #13292 from The-Arbiter/Function_modifiers_placeholder
Placeholder elaboration in function-modifiers.rst
|
2022-08-30 12:50:49 +02:00 |
|
NoFaceDev
|
e96453d585
|
Added details on placeholders in function-modifiers
Author: NoFaceDev <NoFaceDev@protonmail.com>
Date: Sat Jul 23 18:22:06 2022 +0400
|
2022-08-30 12:00:37 +02:00 |
|
Leo
|
242096695f
|
Merge pull request #13428 from ethereum/qualify-move
Add std:: qualifier to move() calls
|
2022-08-30 11:57:54 +02:00 |
|
Leo
|
4f6524063d
|
Merge pull request #13454 from ethereum/github-labels-and-issue-changes
Update issue selector, and remove auto labeling
|
2022-08-30 11:53:42 +02:00 |
|
Leo Alt
|
22e4e2cdc9
|
disable SMT tests for the clang job
|
2022-08-30 11:51:59 +02:00 |
|
Leo Alt
|
16c0838f75
|
Update docker images and tests
|
2022-08-30 11:51:59 +02:00 |
|
Mathias L. Baumann
|
fa5ea38ab3
|
Merge pull request #13409 from tcoyvwac/fix/refactor/reduce-code-duplication-ast
Reduce duplication in AST helpers for finding try/catch clauses
|
2022-08-30 11:37:49 +02:00 |
|
Marenz
|
f7cc29bec1
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +02:00 |
|
Leo
|
19e3c7339e
|
Merge pull request #13455 from emmaodia/patch-2
Grammer fix
|
2022-08-30 11:08:42 +02:00 |
|
Leo
|
ec36a5aaab
|
Merge pull request #13452 from minaminao/fix-typo-optimizer
Fix typo
|
2022-08-30 10:54:05 +02:00 |
|
Emmanuel Oaikhenan
|
776f74dc30
|
Grammer fix
|
2022-08-30 09:23:15 +01:00 |
|
Nikola Matic
|
a08d39ce84
|
Update issue selector, and remove auto labeling
|
2022-08-30 10:05:49 +02:00 |
|
minaminao
|
99400a6121
|
Fix typo
|
2022-08-30 09:35:12 +09:00 |
|
Mathias L. Baumann
|
7fdd494da7
|
Merge pull request #13450 from ethereum/add_yul_exception_to_compiler_errors
added yul exception to compiler error types
|
2022-08-30 00:27:25 +02:00 |
|
nishant-sachdeva
|
216d38cefe
|
added yul exception to compiler error types
|
2022-08-29 22:52:31 +05:30 |
|
Mathias L. Baumann
|
8ea483d532
|
Merge pull request #13449 from ethereum/fix-undefined-order-of-evaluation
[Tiny] Fix undefined order of evaluation
|
2022-08-29 17:35:36 +02:00 |
|
Leo
|
94fd40f696
|
Merge pull request #13443 from frangio/fix-13416
Clarify effect of memory unsafe assembly
|
2022-08-29 17:25:23 +02:00 |
|
Francisco Giordano
|
81c4604b8a
|
Clarify effect of memory unsafe assembly
|
2022-08-29 11:39:57 -03:00 |
|
Mathias L. Baumann
|
2ddb26ad96
|
Merge pull request #13429 from sotatek-dev/fix/13421
Fix warning about DOWNLOAD_EXTRACT_TIMESTAMP on CMake 3.24
|
2022-08-29 15:52:56 +02:00 |
|
Marenz
|
f508494f52
|
Fix undefined order of evaluation
|
2022-08-29 15:33:25 +02:00 |
|
Mathias L. Baumann
|
5a3ae1a583
|
Merge pull request #13422 from ethereum/cleanup-z3-script
Cleanup static z3 script to work similar to release_ppa
|
2022-08-29 14:51:39 +02:00 |
|
Leo
|
f0d1ddaee4
|
Merge pull request #13447 from MeetRajput00/develop
fixed grammar typo in readme.md
|
2022-08-29 14:28:40 +02:00 |
|
Leo
|
e49c2ef1ec
|
Merge pull request #13440 from ethereum/meeting_time_standardized
Meetings on Mondays and Wednesdays now happen at the same time
|
2022-08-29 13:52:50 +02:00 |
|
MeetRajput00
|
eb644b1d8e
|
fixed grammar typo in readme.md
|
2022-08-29 16:48:14 +05:30 |
|
nishant-sachdeva
|
a2a80401ed
|
Meetings on Mondays and Wednesdays should happen at the same time
|
2022-08-29 16:33:18 +05:30 |
|
Leo
|
409f3b44aa
|
Merge pull request #13444 from ethereum/fix_pylint
Fix pylint warning
|
2022-08-29 12:44:32 +02:00 |
|
Leo Alt
|
e99e93ff5b
|
Fix pylint warning
|
2022-08-29 11:50:29 +02:00 |
|
Nikola Matić
|
7bfec3ba70
|
Merge pull request #13430 from ethereum/fix-gnosis-test-inconsistent-dependency
Fix inconsistent nested dependency in safe-contracts
|
2022-08-26 17:12:50 +02:00 |
|
Nikola Matic
|
71c3c26b29
|
Fix inconsistent nested dependency in safe-contracts
|
2022-08-26 09:40:03 +02:00 |
|
Kamil Śliwak
|
f802eafc67
|
Merge pull request #13436 from ethereum/newemscripthashes
Update docker images for emscripten.
|
2022-08-25 20:57:10 +02:00 |
|
Leo
|
0bec0e8ec4
|
Merge pull request #13397 from kuzdogan/patch-1
Update Metadata docs
|
2022-08-25 17:25:41 +02:00 |
|
Marenz
|
484c9d3ff0
|
Update docker images for emscripten.
|
2022-08-25 17:09:46 +02:00 |
|
Mathias L. Baumann
|
c4d9cdf643
|
Merge pull request #13424 from ethereum/update-emscripten-dockerfile
Update emscripten Dockerfile to 3.1.19
|
2022-08-25 16:08:03 +02:00 |
|
kuzdogan
|
5849fc3bf1
|
Update contract metadata docs
|
2022-08-25 15:25:39 +02:00 |
|
Marenz
|
c5e9b6e666
|
static_z3.sh: Update releases to include only maintained ones
|
2022-08-25 15:18:55 +02:00 |
|
Marenz
|
0475ec81f0
|
Cleanup static z3 script to work similar to release_ppa
|
2022-08-25 15:18:55 +02:00 |
|
tcoyvwac
|
3d54bfd0c3
|
ast: condense duplicate code
AST.cpp:
* Added findClause() helper function to anonymous namespace.
|
2022-08-25 14:45:22 +02:00 |
|
Marenz
|
35870549db
|
Dockerfile.emscripten: Use `&& instead of ;` everywhere
|
2022-08-25 13:08:13 +02:00 |
|
Duc Thanh Nguyen
|
318dedf439
|
Update emscripten Dockerfile to 3.1.19
|
2022-08-25 13:08:13 +02:00 |
|
Thanh Tran
|
1cd6f2a486
|
Fix warning about DOWNLOAD_EXTRACT_TIMESTAMP on CMake 3.24
|
2022-08-25 14:23:47 +07:00 |
|
Kamil Śliwak
|
22a0c46eae
|
Merge pull request #12923 from super1ha1/circle-ci-merge_similar_jobs
[Circle CI] Parameterize b_bytecode_ubu and b_bytecode_osx build job
|
2022-08-24 22:01:02 +02:00 |
|
khue
|
66f48282cc
|
change to common config of 1 job to reuse between osx and ubuntu
|
2022-08-24 20:29:51 +02:00 |
|
Christian Parpart
|
44fcf351ba
|
Merge pull request #13150 from ethereum/lsp-analyze-all-in-project
LSP analyze all files in project
|
2022-08-24 18:02:24 +02:00 |
|
Christian Parpart
|
c8074d2c6e
|
lsp: Limit resolvesToRegularFile()'s recursion depth to 10.
|
2022-08-24 16:27:08 +02:00 |
|
Christian Parpart
|
3fc7debbef
|
lsp: Code-review fixups.
|
2022-08-24 16:27:05 +02:00 |
|
Christian Parpart
|
b22d149e3c
|
Adds extra check to only consider regular files (e.g. not directories / device files) for inclusion.
|
2022-08-22 14:53:15 +02:00 |
|
Christian Parpart
|
d0854cb485
|
Applying CI-reported fixes.
|
2022-08-22 12:49:06 +02:00 |
|