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
hrkrshnn
5ae17c8e65
Recommend via-ir
whenever a stack too deep error is encountered.
2022-05-05 19:22:03 +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
Marenz
afd9feead4
LSP.py: Implement simple send/respond framework
2022-04-13 13:22:05 +02:00
Daniel Kirchner
9e92c7a466
Merge pull request #12926 from ethereum/disable-macos-dependency-cache-in-ci
...
Disable dependency caching on macOS in CI
2022-04-11 17:38:37 +02:00
Kamil Śliwak
4ac46ebf40
Disable dependency caching on macOS in CI
2022-04-11 16:01:29 +02:00
Kamil Śliwak
6931c939e0
CI: Make osx test jobs handle dependency installation even if b_osx does not install them
2022-04-11 16:01:29 +02:00
Leo
140e59d190
Merge pull request #12429 from ethereum/smt_encode_call
...
[SMTChecker] abi.encodeCall
2022-04-11 14:12:04 +02:00
Kamil Śliwak
e684b36b25
Merge pull request #12908 from tharun634/move-docs
...
Moved `docs.sh` script to `docs/`
2022-04-11 13:51:05 +02:00
Leo Alt
f9fa76c9d3
smt encode call
2022-04-11 12:19:41 +02:00
wechman
e980a29186
Set CommonSubexpressionEliminator max chunk size to 2000
2022-04-11 08:31:04 +02:00
wechman
91638ed7b2
fixup! Limit max chunk size in CommonSubexpressionEliminator::feedItems
2022-04-11 08:31:04 +02:00
wechman
63f53a19dd
Limit max chunk size in CommonSubexpressionEliminator::feedItems
2022-04-11 08:31:04 +02:00
wechman
b74a27e946
ExpressionClasses performance optimization
2022-04-11 08:31:04 +02:00
Kamil Śliwak
0b81194350
Merge pull request #12916 from sourabhxyz/develop
...
inheritance.rst: Fix capitalization in multiple inheritance example
2022-04-10 18:36:13 +02:00
sourabh.xyz
9867fbcfb0
Update inheritance.rst
...
Fixed typo 'owned' → 'Owned'.
2022-04-09 13:17:07 +05:30
Kamil Śliwak
d9c6ceca09
Merge pull request #12866 from jiq4449/develop
...
Renamed AssemblyStack to YulStack
2022-04-08 22:24:09 +02:00
Kamil Śliwak
4e1de370d7
Merge pull request #12909 from bytecurl/develop
...
Add `.DS_Store` and `Thumbs.db` to `.gitignore`
2022-04-08 21:20:51 +02:00
Kamil Śliwak
23e77e9a84
docs.sh: Fail on all errors, includding undefined variables and failures in piped commands
2022-04-08 20:41:31 +02:00
Kamil Śliwak
efd0024853
docs.sh: Make the script independent of the working directory
2022-04-08 20:41:31 +02:00