Commit Graph

21187 Commits

Author SHA1 Message Date
Kamil Śliwak
620ec47efb OptimizerSuite: Rewrite runSequence() with support for nested brackets 2021-10-06 19:15:02 +02:00
Kamil Śliwak
2fb8f1be5b OptimiserSuite: Use string_view instead of string for step sequences 2021-10-06 18:48:41 +02:00
Kamil Śliwak
b415e94e19 Reformat standard_optimizer command-line tests for readability 2021-10-06 18:46:53 +02:00
Sreekesh V
79d9d5bf0d Change optimizer sequence validations to allow nested brackets 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
Kamil Śliwak
4054e2a28f compileFull(): Print only file names, not their content in case of failure 2021-10-06 18:46:34 +02:00
chriseth
aed218fd75
Merge pull request #12094 from ethereum/ice-12066
Fix ICE when printing an error message related to mappings
2021-10-06 17:45:52 +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
Leonardo
967b282159
Merge pull request #11985 from ethereum/smt_tx_vars
[SMTChecker] Output values for block, msg and tx variables in cex
2021-10-05 16:08:42 +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
9d6eaa7a46
Merge pull request #12070 from ethereum/refactor-cli-output-flags
Refactor CLI output selection flags
2021-10-04 16:03:20 +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
chriseth
a9b99dd63b
Merge pull request #12019 from ethereum/default-messages-in-assert-macros
Default messages in assertion macros
2021-10-04 12:55:08 +02:00
Kamil Śliwak
7f7107405f Try out the new assertion macro variants with less arguments 2021-10-04 12:05:00 +02:00
Kamil Śliwak
0745842d46 Use BOOST_PP_OVERLOAD() to allow invoking the assertion macros without a message 2021-10-04 12:05:00 +02:00
Kamil Śliwak
4fe6aa1328 Add default messages to assertion macros 2021-10-04 12:05:00 +02:00
Kamil Śliwak
1f087ce15c Define an assertThrow() variant that allows providing the default message 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
Leonardo
1d1b9fd200
Merge pull request #12078 from elopio/snap/use-antlr-package
Snap: update cvc4 to 1.8
2021-10-04 10:53:20 +02:00
Leonardo
385f64e82f
Merge pull request #12079 from git-sgmoore/patch-1
Update value-types.rst - fix typo
2021-10-04 10:52:07 +02:00
sgmoore
ca232142be
Update value-types.rst - fix typo
Fix typo at line 69.
2021-10-02 20:32:25 -07:00
Leo Arias
559fab39a8 Remote trailing spaces 2021-10-02 18:09:22 +00:00
Leo Arias
def01ea599 Snap: update cvc4 to 1.8 2021-10-02 10:42:14 -06:00
Kamil Śliwak
8a7695784c CommandLineParser: operator << for CompilerOutputs and CombinedJsonRequests 2021-10-01 14:41:55 +02:00
Kamil Śliwak
4b394f0b35 CommandLineParser: componentMap() for CombinedJsonRequests 2021-10-01 14:41:55 +02:00
Kamil Śliwak
809321e88d CommandLineParser: componentMap() for CompilerOutputs 2021-10-01 14:41:55 +02:00
Kamil Śliwak
1247239fe8 CommandLineParser: Replace boost::join() with joinHumanReadable() 2021-10-01 14:41:55 +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
Leonardo
089cad0319
Merge pull request #12037 from ethereum/smt_ignore_os
Add isoltest option to ignore OS
2021-10-01 13:29:32 +02:00
Kamil Śliwak
7915f32852 Remove leftovers of compact-format and interface from --combined-json 2021-10-01 13:05:30 +02:00
Leonardo
6d806359be
Merge pull request #11873 from soroosh-sdi/cmake-check-z3-latest
Require latest Z3 by default and allow relaxing the requirement with `STRICT_Z3_VERSION=OFF`
2021-10-01 12:58:03 +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
chriseth
0e7e936fe6
Merge pull request #12062 from elopio/snap/update-command-path
snap: update command path
2021-09-30 08:27:44 +02:00
Leo Arias
ecded763f1 Snap: update command path 2021-09-29 17:38:54 -06:00
chriseth
7a9f48155b
Merge pull request #12041 from elopio/update-snap
Update the snap to build on Ubuntu 20.04
2021-09-29 19:34:03 +02:00
chriseth
9bd2469877
Merge pull request #12059 from ethereum/nextVersion
Set version to 0.8.10.
2021-09-29 19:33:05 +02:00
chriseth
82287bd883 Set version to 0.8.10. 2021-09-29 17:12:04 +02:00
Harikrishnan Mulackal
e5eed63a3e
Merge pull request #12056 from ethereum/setReleaseDatefro089
Set release date.
2021-09-29 15:19:38 +02:00
chriseth
1a7faef0db Set release date. 2021-09-29 14:00:57 +02:00
chriseth
968ba9fab5
Merge pull request #12055 from ethereum/fix-gas
Fix gas stats
2021-09-29 14:00:47 +02:00