Leonardo
|
56b5f1bb12
|
Merge pull request #8976 from ethereum/libsmtutil
libsmtutil
|
2020-05-20 16:14:37 +02:00 |
|
hrkrshnn
|
4a001d568e
|
Removed null members from JSON output
|
2020-05-20 16:56:33 +05:30 |
|
chriseth
|
678a801daf
|
Merge pull request #8921 from a3d4/partfix-5819-remove-erroroccurred-flag-continued
Remove a dedicated error flag from DeclarationTypeChecker and other classes, continued
|
2020-05-20 13:23:37 +02:00 |
|
chriseth
|
84092edc5d
|
Merge pull request #8914 from random-internet-cat/down-with-unique-ptr
Down with unique_ptr!
|
2020-05-20 13:22:06 +02:00 |
|
Leonardo Alt
|
0eb067ae4f
|
Add SMTLogicError exception catches
|
2020-05-20 13:18:33 +02:00 |
|
Kamil Śliwak
|
6c6a8a74e8
|
IRGenerationContext: Extract code for enumerating dispatchable functions from generateInternalDispatch() into a separate function
|
2020-05-20 13:16:08 +02:00 |
|
Leonardo Alt
|
25de3975ce
|
Add SMTLogicException
|
2020-05-20 12:55:19 +02:00 |
|
Leonardo Alt
|
7a91c9b971
|
Remove Type from SolverInterface
|
2020-05-20 12:55:19 +02:00 |
|
Leonardo Alt
|
45eba27424
|
Rename namespace
|
2020-05-20 12:55:18 +02:00 |
|
Leonardo Alt
|
802d66244d
|
Do not link unnecessarily
|
2020-05-20 12:55:18 +02:00 |
|
Leonardo Alt
|
087605ea02
|
Create libsmtutil
|
2020-05-20 12:55:18 +02:00 |
|
Kamil Śliwak
|
bd75543900
|
Add IRNames::internalDispatch() and use it in IRGenerationContext
|
2020-05-20 12:48:49 +02:00 |
|
Kamil Śliwak
|
22c0568d34
|
IRGenerationContext::internalDispatch(): Remove unused local YulUtilFunctions instance
|
2020-05-20 12:46:32 +02:00 |
|
Kamil Śliwak
|
7d2292fbaf
|
Rename IRGenerationContext::internalDispatch() to generateInternalDispatchFunction()
|
2020-05-20 12:46:31 +02:00 |
|
chriseth
|
30278c4b88
|
Merge pull request #8985 from ethereum/fixWasmLoops
Fix webassembly loops by adding explicit break at the end.
|
2020-05-20 11:08:24 +02:00 |
|
chriseth
|
3c71412a47
|
Merge pull request #8988 from ethereum/isoltest_default_formatting
[isoltest] Improve parameter formatting.
|
2020-05-20 08:05:33 +02:00 |
|
a3d4
|
6bb177ce77
|
Remove dedicated error flags from DocStringParser and DocStringAnalyser
|
2020-05-20 04:17:49 +02:00 |
|
a3d4
|
6dbf23d52a
|
Remove a dedicated error flag from ReferencesResolver
|
2020-05-20 04:08:32 +02:00 |
|
Alexander Arlt
|
410986e00f
|
[isoltest] Improve parameter formatting.
|
2020-05-19 19:13:39 -05:00 |
|
chriseth
|
d7b434fc6b
|
Merge pull request #8949 from ethereum/sol-yul-refactor-add-arity
[Sol->Yul] Add Arity struct (refactor)
|
2020-05-19 23:58:39 +02:00 |
|
Kamil Śliwak
|
1a521cc7ac
|
Use YulArity in IR generator
|
2020-05-19 23:03:21 +02:00 |
|
Kamil Śliwak
|
16e58449ab
|
ir/Common: Add YulArity struct
|
2020-05-19 23:03:15 +02:00 |
|
chriseth
|
4e9f6c3508
|
Fix webassembly loops by adding explicit break at the end.
|
2020-05-19 22:16:16 +02:00 |
|
chriseth
|
22d5caa979
|
Merge pull request #8532 from aarlt/structured-docs-variables-aarlt
Allow NatSpec comments for state variables
|
2020-05-19 19:26:35 +02:00 |
|
chriseth
|
d1512223d2
|
Merge pull request #8984 from ethereum/sol-yul-refactor-internal-dispatch-for-multislot-arguments
[Sol->Yul] Internal dispatch for multislot arguments
|
2020-05-19 19:23:25 +02:00 |
|
chriseth
|
d422a406ba
|
Merge pull request #8983 from ethereum/develop
Merge develop into breaking.
|
2020-05-19 18:05:28 +02:00 |
|
Kamil Śliwak
|
16e80b7bcd
|
Test case for internal dispatch with functions that have arguments that take up multiple slots
|
2020-05-19 18:02:14 +02:00 |
|
Alexander Arlt
|
af8bb5fb60
|
Allow natspec comments on state variables.
|
2020-05-19 11:01:52 -05:00 |
|
Erik Kundt
|
7d37ed4531
|
Adds structured docs for variable declarations.
- adds natspec generation for state variables.
- exports structured docs for state variables to JSON.
|
2020-05-19 11:01:52 -05:00 |
|
William Entriken
|
3e8b9bdb1c
|
Add NatSpec for public state variables
|
2020-05-19 11:01:52 -05:00 |
|
Kamil Śliwak
|
b0ae85b6b0
|
IRGenerationContext::internalDispatch(): Don't use asCallableFunction() to get internal function type
|
2020-05-19 18:00:50 +02:00 |
|
chriseth
|
fd0e6bc17f
|
Merge pull request #8980 from ethereum/breakingFix
Fixing tests on breaking branch.
|
2020-05-19 17:55:48 +02:00 |
|
Djordje Mijovic
|
bd64b971b9
|
Fixing tests on breaking branch.
|
2020-05-19 17:42:19 +02:00 |
|
chriseth
|
a05e8c1a0e
|
Merge pull request #8956 from a3d4/partfix-5819-introduce-errorwatcher
Introduce ErrorWatcher
|
2020-05-19 17:24:01 +02:00 |
|
chriseth
|
8a6540794a
|
Merge pull request #8511 from aarlt/t_soltest_asan_clang
[circleci] add t_ubu_asan_constantinople_clang
|
2020-05-19 16:55:28 +02:00 |
|
chriseth
|
f70ff0dfaa
|
Merge pull request #8977 from ethereum/mapping-type-error
Error when Mapping type in (non-local) storage is assigned to
|
2020-05-19 16:52:54 +02:00 |
|
Harikrishnan Mulackal
|
774edd4670
|
Error when Mapping type in (non-local) storage is assigned to
|
2020-05-19 19:12:38 +05:30 |
|
chriseth
|
3b27b4347c
|
Merge pull request #8916 from ethereum/smt_array_push_pop
[SMTChecker] Support array push/pop
|
2020-05-19 15:41:10 +02:00 |
|
chriseth
|
3211e22045
|
Merge pull request #8979 from ethereum/doc-json
[Trival] Test: Output JSON AST as array when it involves multiple sources
|
2020-05-19 15:29:24 +02:00 |
|
chriseth
|
3275243c89
|
Merge pull request #8898 from mijovic/sol2YulByteArrayPush
[Sol->Yul] Implementing ByteArray push() and pop()
|
2020-05-19 15:28:01 +02:00 |
|
Djordje Mijovic
|
d235d0c166
|
[Sol->Yul] Implementing Byte array push() and pop()
|
2020-05-19 14:47:00 +02:00 |
|
Mathias Baumann
|
5a7217b90e
|
Test: Output JSON AST as array when it involves multiple sources
|
2020-05-19 14:26:08 +02:00 |
|
chriseth
|
c3d87a0091
|
Merge pull request #8912 from ethereum/runtimeYul
Provide runtime object in Yul mode.
|
2020-05-19 12:52:09 +02:00 |
|
Leonardo Alt
|
5d6dd68766
|
Update docs
|
2020-05-18 17:09:46 +02:00 |
|
Leonardo Alt
|
1ab6ad79d8
|
Update test expectation
|
2020-05-18 16:59:31 +02:00 |
|
Leonardo Alt
|
2435ab938c
|
Add verification target for empty pop
|
2020-05-18 16:35:56 +02:00 |
|
Leonardo Alt
|
d4d26c02e4
|
Assume that push will not overflow
|
2020-05-18 16:35:56 +02:00 |
|
Leonardo Alt
|
82db35e563
|
[SMTChecker] Support array push/pop
|
2020-05-18 16:33:34 +02:00 |
|
Jason Cobb
|
63ad1092cd
|
Add comment to filenames in boostTest.cpp
|
2020-05-18 10:24:38 -04:00 |
|
Jason Cobb
|
899e6d7e2b
|
Use optional for FunctionImport::returnType
|
2020-05-18 10:24:38 -04:00 |
|