cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
21,505 Commits 348 Branches 121 Tags 100 MiB
937597c1cd
Commit Graph

21505 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
f245f8b473 footer.html: Put credits link in a paragraph to add more spacing 2021-10-07 21:22:12 +02:00
Kamil Śliwak
6adfe88211 custom.css: Restore braces that disappeared in a rebase 2021-10-07 21:20:51 +02:00
Kamil Śliwak
c980e96b64
Merge pull request #11697 from ethereum/sphinx-remix-code-links-extension 
Sphinx extension for adding Remix links to code snippets
 2021-10-07 20:42:48 +02:00
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