Commit Graph

21352 Commits

Author SHA1 Message Date
chriseth
154d8f01b8
Merge pull request #12105 from ethereum/extra-debug-info-for-unknown-exceptions
Extra debug info about unknown exceptions
2021-10-07 18:34:02 +02:00
Kamil Śliwak
b7942219df Include language and compiler version in Remix code links 2021-10-07 18:25:01 +02:00
Kamil Śliwak
416b13850f Sphinx extension for adding Remix links to code snippets 2021-10-07 18:25:00 +02:00
Kamil Śliwak
cd7db7faeb Add an arrow icon for Remix link, with proper attribution 2021-10-07 18:23:56 +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
Saurabh Sharma
e13dc5084d Move exception handlers from CommandLineInterface to main() 2021-10-07 17:20:19 +02:00
chriseth
daf61a4c90
Merge pull request #11927 from 4molybdenum2/issue-11900
Adjust Colors for the Solidity Docs
2021-10-07 16:50:58 +02:00
4molybdenum2
551c3ae17a Adjust Colors for the Solidity Docs 2021-10-07 16:23:30 +02:00
Kamil Śliwak
0043eca672 Consistent indentation in doc config, templates and static files 2021-10-07 16:23:27 +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
6288890fc2
Merge pull request #12099 from elopio/snap/update-z3
Snap: update z3
2021-10-07 10:45:24 +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
Leo Arias
7b1a12ae4c Snap: update z3 2021-10-06 18:00:07 -06:00
Kamil Śliwak
b9b2c69d24 CommandLineParser: Validate compiler output selection 2021-10-06 20:09:33 +02:00
Kamil Śliwak
0549c42c07
Merge pull request #12097 from ethereum/better-errors-from-compile-full
Less verbose errors from `compileFull()`
2021-10-06 19:57:03 +02:00
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