cerc-io/solidity
11
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
22,179 Commits 348 Branches 121 Tags
96bf85b35bcac8504ad06fd7fb047e9d3aac969f
Commit Graph
22179 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Leo 96bf85b35b Merge pull request #13012 from ethereum/z3-use-rebuilt-buildpack-images 
Switch to newly built buildpack-deps images with Z3 4.8.16 in CI
 2022-05-12 15:16:12 +02:00
Leo 80a055103e Merge pull request #13009 from ethereum/smt_support_z3_16 
Support new z3 AST node
 2022-05-12 14:28:38 +02:00
Kamil Śliwak c0cc8ff7e7 Switch to newly built buildpack-deps images in CI 2022-05-12 14:26:07 +02:00
Leo Alt 2fe143f7d0 add changelog entry and docs note 2022-05-12 13:43:28 +02:00
Leo Alt 60b405aaa9 Support new z3 AST node 2022-05-12 10:50:30 +02:00
Leo 0c0ff4fce6 Merge pull request #13000 from ethereum/smt_fix_recursive 
[SMTChecker] Fix check that solver is available
 2022-05-11 21:52:52 +02:00
Leo Alt 4c00815c53 Changelog entry 2022-05-11 20:02:31 +02:00
Leo Alt cbaba6f913 update tests 2022-05-11 20:02:31 +02:00
Leo Alt 93f9638a1b Add error id to script 2022-05-11 20:02:31 +02:00
Leo Alt 75d08ea924 Check early if solvers are available. 2022-05-11 20:02:31 +02:00
Daniel Kirchner 1d7b4704bb Merge pull request #13006 from ethereum/initializationOrderFix 
Fix asorted compilation issues with GCC 12.
 2022-05-11 17:19:45 +02:00
Daniel Kirchner cf311e5780 Disable maybe-unitialized warning for boost headers using a pragma. 2022-05-11 16:21:53 +02:00
Daniel Kirchner cbf9a4f1ed Add bogus return to switch. 2022-05-11 13:58:06 +02:00
Daniel Kirchner ece547204a Reorder member variables of unique error reporter to ensure proper initialization order. 2022-05-11 13:40:02 +02:00
Leo 9f6d3deaea Merge pull request #12999 from ethereum/disable-non-deterministic-counterexamples-in-some-smt-tests 
Disable non-deterministic counterexamples in some SMT tests
 2022-05-10 14:32:40 +02:00
Kamil Śliwak 0e0d1972f9 Disable non-deterministic counterexamples in some SMT tests 
- The counterexamples sometimes do appear and the tests fail.
 2022-05-10 12:48:01 +02:00
Christian Parpart 463e417508 Merge pull request #12960 from ethereum/lsp-make-import-error-fatal 
lsp.py enhancements
 2022-05-09 16:37:34 +02:00
Marenz 893122eb89 lsp.py: Support subdirectories 2022-05-09 14:54:55 +02:00
Marenz 02dfeb5427 lsp.py: Trigger fatal error when importing outside of test dir 2022-05-09 14:22:23 +02:00
Christian Parpart 59e054bb9b Merge pull request #12468 from ethereum/allowAllLSP 
Always allow full filesystem access to LSP.
 2022-05-09 14:20:59 +02:00
Christian Parpart e8d07772d9 lsp.py: Port to support running on Windows & adapt to changes due to prior merged PR. 
- lsp.py: Fixes invalid-syntax by Python interpreter on Windows CI (older Python version).
- lsp.py: Savely strip CRLF from right side of the string, ignoring accidental multiple occurrences of \r (such as \r\r\n).
- lsp.py: Fixes reading single character from stdin (wrt. Windows platform).
- lsp.py: Adds header line reading to I/O tracing (useful for debugging).
- lsp.py: When running the tests on Windows, don't care test file content's newlines but simply expect LFs (instead of CRLF for example).
- Apply pylint notes.
- Fixing use of @functools.lru_cache for older python versions (CircleCI Windows)
 2022-05-09 11:37:11 +02:00
Christian Parpart c2f245b40a Fixes to lsp.py with respect to Windows drive-letter paths in URI. 2022-05-09 11:37:11 +02:00
Christian Parpart f308f1a1f8 Always allow full filesystem access to LSP. 2022-05-09 11:37:11 +02:00
Christian Parpart 49d27eaa5d [Circle CI] Adds LSP tests to Windows CI. 2022-05-09 11:37:11 +02:00
chriseth 44157aa69a Merge pull request #12985 from sey/improve-wording-on-voting-example 
Improve wording on voting example
 2022-05-09 09:35:49 +02:00
Florian Sey c7d57031b5 Improve wording on voting example 
From a beginner perspective, it is the first time in the documentation
that the term wallets is used. Other terms such as accounts or addresses
are explained in the Introduction to smart contracts.
 2022-05-06 01:01:37 +02:00
Mathias L. Baumann 1dba6aafe4 Merge pull request #12981 from ethereum/update-static-z3 
Update version & distributions for static z3 script
 2022-05-05 16:20:56 +02:00
Marenz 1ccdb92cdb Update version & distributions for static z3 script 2022-05-05 15:27:18 +02:00
Leo 2c49ae7a9d Merge pull request #12984 from ethereum/fix_smt 
fix smt flaky test
 2022-05-05 14:26:27 +02:00
Leo Alt 201c6c6819 fix smt flaky test 2022-05-05 11:38:16 +02:00
Leo 84c64edfee Merge pull request #12974 from ethereum/smt_tests_z3_16 
update smt tests z3 4.8.16
 2022-05-04 21:24:15 +02:00
Leo Alt cba3d18f66 adjust for osx nondeterminism 2022-05-04 19:04:54 +02:00
Leo Alt 4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
chriseth 3e3e73e380 Merge pull request #12956 from nobutoba/fix-ballot-contract 
Add a require statement to the Ballot contract
 2022-05-02 15:40:46 +02:00
chriseth f0d851afe3 Merge pull request #12950 from a3d4/refix-msvc-debug-stack-crash 
Refix MSVC Debug crash
 2022-05-02 15:18:05 +02:00
chriseth df29ea72f0 Merge pull request #12836 from ethereum/fixUsingGlobal 
Fix using global with libraries.
 2022-05-02 12:41:34 +02:00
chriseth 505fa7763f Fix checks for "using for ... global" for libraries. 2022-05-02 12:40:56 +02:00
chriseth c3a5c83d38 Merge pull request #12971 from shekhirin/fix-parser-error 
fix(parser): error for unexpected token
 2022-05-02 11:26:36 +02:00
Nobuhiko Otoba f6c0edc902 Add a require statement to the Ballot contract 2022-04-30 12:51:59 +02:00
Alexey Shekhirin cb24e5d545 fix(parser): error for unexpected token 2022-04-29 16:13:04 +04:00
chriseth d55b84ff63 Merge pull request #12861 from ethereum/disallow-returndatacopy-in-pure-functions 
Disallow RETURNDATACOPY and RETURNDATASIZE in inline assembly in pure functions
 2022-04-28 13:15:04 +02:00
chriseth 0eb1ceeca1 Merge pull request #12939 from aathan/clarify-received-ether-function-note 
Clarify receive ether function note
 2022-04-28 13:12:06 +02:00
a3d4 048b253a93 Refix MSVC Debug crash 2022-04-26 01:52:56 +02:00
Christian Parpart fbecdbe76d Merge pull request #12798 from ethereum/lsp-tests-expectations 
LSP.py: Implement expectations directly in the test files
 2022-04-25 15:27:57 +02:00
aathan 43ff61f185 Update functions.rst 2022-04-15 12:24:48 -07:00
Kamil Śliwak 559174054f Merge pull request #12936 from ethereum/fix-parallel-soltest-ci-runs-overwriting-xml-test-output 
Prevent parallel soltest runs from overwriting each other's XML test output
 2022-04-14 15:02:42 +02:00
Kamil Śliwak 5111e7543c soltest.sh: Prevent parallel tests from overwriting each other's XML test output 2022-04-13 20:08:15 +02:00
Kamil Śliwak 25923c1f08 Merge pull request #12562 from ethereum/brink-ext-test 
External test for Brink
 2022-04-13 15:06:57 +02:00
Kamil Śliwak 8e085432bb External test for Brink 2022-04-13 13:43:48 +02:00
Kamil Śliwak e30d0a6199 externalTests: Allow adding extra settings to presets 2022-04-13 13:43:48 +02:00