chriseth
|
2c2269d300
|
Tests
|
2021-10-14 17:46:07 +02:00 |
|
chriseth
|
9417d6775f
|
Control flow side-effects for user-defined functions.
|
2021-10-14 17:46:07 +02:00 |
|
chriseth
|
95dbbdae22
|
Prepare tests to be meaningful.
|
2021-10-13 17:56:43 +02:00 |
|
Kamil Śliwak
|
4ed86edbc4
|
test/formal: Get rid of wildcard imports
|
2021-10-13 16:20:10 +02:00 |
|
Kamil Śliwak
|
b96de320e2
|
Fix the simplest pylint warnings (variables/imports, semicolons, etc) and re-enable them in pylintrc
|
2021-10-13 16:19:16 +02:00 |
|
chriseth
|
a79120fece
|
Merge pull request #12124 from ethereum/fixTests
Fix tests.
|
2021-10-12 20:26:28 +02:00 |
|
chriseth
|
59d8f50518
|
Fix tests.
|
2021-10-12 18:08:33 +02:00 |
|
Christian Parpart
|
b1dd0d0d02
|
Properly compute source mappings for immutables.
|
2021-10-12 17:56:17 +02:00 |
|
chriseth
|
49d7b78466
|
Merge pull request #12123 from ethereum/empty-switch-12068
CodeGen: Only output switch when it has cases
|
2021-10-12 17:42:49 +02:00 |
|
Mathias Baumann
|
454860d1f5
|
CodeGen: Only output switch when it has cases
|
2021-10-12 17:40:31 +02:00 |
|
chriseth
|
adc58c67b4
|
Merge pull request #11944 from ethereum/debug-info-selection
Debug info selection
|
2021-10-12 16:39:50 +02:00 |
|
Christian Parpart
|
591ba184e9
|
Adds some more version pragma test cases.
|
2021-10-12 15:15:54 +02:00 |
|
Kamil Śliwak
|
a9e794c872
|
Expose --debug-info/settings.debug.debugInfo option
|
2021-10-11 20:34:48 +02:00 |
|
Kamil Śliwak
|
bcfefc79d9
|
Pass DebugInfoSelection down to the code handling assembly printing
|
2021-10-11 20:34:48 +02:00 |
|
Kamil Śliwak
|
2cd1c644b6
|
Remove unused includes and sort existing includes in a few places
|
2021-10-11 20:34:48 +02:00 |
|
Kamil Śliwak
|
b0a5b92fe9
|
Merge pull request #12071 from ethereum/cli-validate-output-selection
Validate selected compiler outputs on the CLI
|
2021-10-11 17:52:32 +02:00 |
|
Christian Parpart
|
3f08b2269a
|
Adds fmtlib as 3rdparty dependency for easier string composition.
|
2021-10-11 13:35:08 +02:00 |
|
Kamil Śliwak
|
a30348715b
|
Use boost::current_exception_diagnostic_information() to print extra info about exceptions caught by (...)
|
2021-10-07 17:41:25 +02:00 |
|
chriseth
|
298af55cc5
|
Merge pull request #12102 from v-sreekesh/Nested_Brackets_Optimization
Nested brackets optimization
|
2021-10-07 10:48:19 +02:00 |
|
chriseth
|
75ccb4d41f
|
Merge pull request #12098 from ethereum/reformat-standard-optimizer-cmdline-tests
Reformat `standard_optimizer` command-line tests for readability
|
2021-10-07 10:22:43 +02:00 |
|
Kamil Śliwak
|
b9b2c69d24
|
CommandLineParser: Validate compiler output selection
|
2021-10-06 20:09:33 +02:00 |
|
Kamil Śliwak
|
620ec47efb
|
OptimizerSuite: Rewrite runSequence() with support for nested brackets
|
2021-10-06 19:15:02 +02:00 |
|
Kamil Śliwak
|
b415e94e19
|
Reformat standard_optimizer command-line tests for readability
|
2021-10-06 18:46:53 +02:00 |
|
Kamil Śliwak
|
476c76b54e
|
compileFull(): Use find instead of /*/*, which requires ignoring missing files
|
2021-10-06 18:46:42 +02:00 |
|
Marenz
|
4368da0201
|
Fix ICE when printing an error message related to mappings
|
2021-10-06 17:02:36 +02:00 |
|
chriseth
|
a709216e37
|
Merge pull request #11641 from TerranCivilian/src-hash-CommonIO-fix
Fix newline error in solidity::util::readUntilEnd
|
2021-10-06 11:47:02 +02:00 |
|
TerranCivilian
|
020ecc2131
|
Preserve original newlines in solidity::util::readUntilEnd()
|
2021-10-05 20:24:24 +02:00 |
|
chriseth
|
9c6ca4f439
|
Merge pull request #12076 from ethereum/cmdline-test-error-helpers
Error helpers + small refactors in `cmdlineTests.sh`
|
2021-10-05 17:20:49 +02:00 |
|
Leo Alt
|
4c2b661eaa
|
[SMTChecker] Report values for block, msg and tx variables in counterexamples
|
2021-10-05 15:19:10 +02:00 |
|
chriseth
|
ecfcca1a27
|
Merge pull request #12016 from ethereum/external-fp-10358
Add ``.address`` and ``.selector`` in inside assembly for external function pointers
|
2021-10-05 14:48:58 +02:00 |
|
Marenz
|
98dd78362e
|
Add `.address and .selector ` in inside assembly for external function pointers
|
2021-10-04 18:05:57 +02:00 |
|
Kamil Śliwak
|
b4073179d7
|
cmdlineTests.sh: Add msg_on_error helper that automatically prints stderr and stdout of a failed command
|
2021-10-04 14:30:30 +02:00 |
|
Kamil Śliwak
|
26f9a554fb
|
cmdlineTests.sh: Add fail helper to make exiting on an error more convenient
|
2021-10-04 14:30:30 +02:00 |
|
Kamil Śliwak
|
ce61a2bf28
|
cmdlineTests.sh: Add missing rm SOLTMPDIR and remove stray set -e
|
2021-10-04 14:29:57 +02:00 |
|
Kamil Śliwak
|
05ba53ecc3
|
cmdlineTests.sh: Don't use --force with rm unless actually needed
|
2021-10-04 14:29:57 +02:00 |
|
Kamil Śliwak
|
9662e9a8df
|
cmdlineTests.sh: Enable set -o pipefail
|
2021-10-04 14:29:57 +02:00 |
|
Kamil Śliwak
|
7f7107405f
|
Try out the new assertion macro variants with less arguments
|
2021-10-04 12:05:00 +02:00 |
|
chriseth
|
529087be6c
|
Merge pull request #12036 from ethereum/smt_fix_magic
[SMTChecker] Fix magic access
|
2021-10-04 11:01:39 +02:00 |
|
Kamil Śliwak
|
d10e668f4f
|
Merge pull request #12069 from ethereum/remove-combined-json-compact-format-leftovers
Remove leftovers of `compact-format` and `interface` from `--combined-json`
|
2021-10-01 14:40:17 +02:00 |
|
Kamil Śliwak
|
7915f32852
|
Remove leftovers of compact-format and interface from --combined-json
|
2021-10-01 13:05:30 +02:00 |
|
Leo Alt
|
d81ebe97c3
|
Fix magic access
|
2021-10-01 12:57:06 +02:00 |
|
Leo Alt
|
d25fb29178
|
Add isoltest option to ignore OS
|
2021-10-01 12:45:36 +02:00 |
|
hrkrshnn
|
14a678eb67
|
Fix gas stats
|
2021-09-29 13:50:51 +02:00 |
|
chriseth
|
e347c983b5
|
Update gas costs.
|
2021-09-29 13:25:37 +02:00 |
|
chriseth
|
78a1c1ca6d
|
Add one more test case.
|
2021-09-29 13:22:13 +02:00 |
|
chriseth
|
df9721f869
|
Merge pull request #12047 from ethereum/fixFixedBytesCompilerUtils
Properly handle fixed-byte-like types.
|
2021-09-29 12:23:15 +02:00 |
|
chriseth
|
13354c0b9a
|
Merge pull request #12050 from ethereum/signedImmutablesBug
Fix signed immutables bug.
|
2021-09-29 11:46:58 +02:00 |
|
chriseth
|
090a46c2a5
|
New tests.
|
2021-09-29 11:44:17 +02:00 |
|
hrkrshnn
|
7b7e38768c
|
Update tests.
|
2021-09-29 11:44:13 +02:00 |
|
hrkrshnn
|
6109b5c3a1
|
UserDefinedValueType.storageBytes() is correctly set
Previously it returned 32 bytes for all types, which was wasteful. This commit changes it to return
the storage bytes of the underlying type.
|
2021-09-29 11:41:47 +02:00 |
|