 Mathias L. Baumann
|
69a596b0ff
|
Merge pull request #9418 from ethereum/stateMutForOverride
Issue state mutability restriction for overriding and not for virtual functions.
|
2020-07-20 15:01:25 +02:00 |
|
|
Mathias L. Baumann
|
a7baa25b3c
|
Make gitter chat more visible in main readme
|
2020-02-18 12:03:17 +01:00 |
|
|
Mathias L. Baumann
|
c635377450
|
Merge pull request #8313 from ethereum/checkFunctionsExistInIsoltest
Make type error fatal to prevent assert failure at later point
|
2020-02-13 16:08:13 +01:00 |
|
|
Mathias L. Baumann
|
bd54176c1a
|
Merge pull request #8248 from ethereum/functionCallOptionFollowUp
Fix function call option parsing and add to grammar.
|
2020-02-05 18:01:54 +01:00 |
|
|
Mathias L. Baumann
|
5130a2b0ae
|
Merge pull request #8063 from ethereum/yulvisit-7656
Use yul::AstWalker for assembly reference resolving
|
2020-01-29 14:56:19 +01:00 |
|
|
Mathias L. Baumann
|
a2141d3be2
|
Merge pull request #7869 from fulldecent/fix-kill
Reduce usage of word kill
|
2020-01-07 16:01:04 +01:00 |
|
|
Mathias L. Baumann
|
20cf9d9fef
|
Merge pull request #8038 from ethereum/statless-typechecker-7566
Refactor PostTypeChecker into multiple classes per usecase
|
2020-01-06 14:39:58 +01:00 |
|
|
Mathias L. Baumann
|
c62e89d222
|
Merge pull request #7925 from ethereum/update-ast-export
Sync & update JSON AST exporting according to AST changes
|
2019-12-09 12:43:33 +01:00 |
|
|
Mathias L. Baumann
|
a13416f4da
|
Merge pull request #7882 from ethereum/libyul-assert
Actually throw YulAssertion in yulAssert
|
2019-12-03 17:39:22 +01:00 |
|
|
Mathias L. Baumann
|
d29a87dfdc
|
Merge pull request #7881 from ethereum/json-cleanup
Removed non-strict JsonParse helpers
|
2019-12-03 17:38:00 +01:00 |
|
|
Mathias L. Baumann
|
a45eed6dbf
|
Merge pull request #7584 from ethereum/callback-context
Introduce callback context in libsolc
|
2019-11-26 15:29:03 +01:00 |
|
|
Mathias L. Baumann
|
4e1b9d7f1b
|
Merge pull request #7562 from ethereum/fix-signedness
Fixes signedness (causes compilation failure on MSVC).
|
2019-10-23 16:56:57 +02:00 |
|
|
Mathias L. Baumann
|
7e01696030
|
Merge pull request #7554 from ethereum/develop
Merge develop into develop_060
|
2019-10-21 17:05:12 +02:00 |
|
|
Mathias L. Baumann
|
25a3a83b34
|
Merge pull request #7233 from ethereum/override-5424
Implement parsing of override keyword
|
2019-08-26 18:12:28 +02:00 |
|
|
Mathias L. Baumann
|
e1bb4b9f81
|
Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
|
2019-08-26 11:45:36 +02:00 |
|
|
Mathias L. Baumann
|
502bf01be2
|
Merge pull request #7278 from ethereum/develop
Merge develop into develop_060
|
2019-08-26 10:26:48 +02:00 |
|
|
Mathias L. Baumann
|
092e62f1c9
|
Merge pull request #7140 from ethereum/ci-binonic-gcc-7
fix PPA comp. error and add ubuntu:bionic gcc-7 to CI to test for it.
|
2019-07-30 11:16:41 +02:00 |
|
|
Mathias L. Baumann
|
2fdc07c55e
|
Merge pull request #7145 from ethereum/smt_fix_tuples
[SMTChecker] Fix ICE when inlining function with tuple expression
|
2019-07-29 10:14:19 +02:00 |
|
|
Mathias L. Baumann
|
3b2ebba472
|
Merge pull request #7040 from ethereum/smt_context_vars
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
|
2019-07-04 09:46:28 +02:00 |
|
|
Mathias L. Baumann
|
44c774af4b
|
Merge pull request #6911 from ethereum/asmCallTrailingComma
AsmParser: Disallow trailing commas in function call arguments.
|
2019-06-06 14:05:11 +02:00 |
|
|
Mathias L. Baumann
|
826f2d9084
|
Merge pull request #6502 from ethereum/fix-ifn-loop
Fix infinite loop when encountering unexpected test specifications
|
2019-04-11 15:23:40 +02:00 |
|
|
Mathias L. Baumann
|
bf653b004e
|
Merge pull request #6496 from ethereum/move-funcs-6479
Move convert functions to Yul module
|
2019-04-10 13:28:39 +02:00 |
|
|
Mathias L. Baumann
|
6eb0349b88
|
Merge pull request #6380 from ethereum/fix-wrong-error-output
Fix throw in error output
|
2019-03-26 12:32:19 +01:00 |
|
|
Mathias L. Baumann
|
dce27bb452
|
Merge pull request #6370 from ethereum/more-info-after-ci-fail
Provide more info when CI fails
|
2019-03-25 16:08:16 +01:00 |
|