cerc-io/solidity
10
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
20,625 Commits 348 Branches 121 Tags 100 MiB
cb9b52c242
Commit Graph

710 Commits

Author SHA1 Message Date
Daniel Kirchner
6ec711b2f0
Merge pull request #11667 from ethereum/z3PPAScriptUpdate 
Update Z3 version to 4.8.12 in PPA script and add static binary package.
 2021-08-09 12:06:57 +02:00
Daniel Kirchner
88b5be4224 Update Z3 version to 4.8.12 in PPA script and add static binary package. 2021-08-09 11:14:03 +02:00
Marenz
dea201800f Provide a better error reporting for failed cmdline tests. 2021-08-04 15:00:34 +02:00
chriseth
62727f322a
Merge pull request #11662 from ethereum/docs-fix-highlighting-and-upgrade-pygments 
[Docs] Fix highlighting and always use latest packages
 2021-07-29 11:29:38 +02:00
Alex Beregszaszi
c018cdf419
Merge pull request #11706 from ethereum/update-evmone-part2 
Update evmone part 2
 2021-07-27 17:17:59 +01:00
Leonardo
57092b21a3
Merge pull request #11421 from ethereum/smt_solver_option 
[SMTChecker] Solver option
 2021-07-27 18:17:24 +02:00
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Christian Parpart
3755210b7b [libyul] ObjectParser: Enables the use of custom source mapping via @use-src. 2021-07-27 16:46:47 +02:00
hrkrshnn
8bec0c8a6b Updated docs and evmc.h header file for evmone 0.8.0 release 2021-07-27 16:39:41 +02:00
hrkrshnn
1b56fdea9d Updated dockerfiles for evmone 0.8.0 2021-07-27 15:20:49 +02:00
Leonardo
f697b349f1
Merge pull request #11672 from ethereum/z3_12_docker 
Bump docker images to z3 4.8.12
 2021-07-26 14:12:05 +02:00
Leo Alt
f745604474 Bump docker images to z3 4.8.12 2021-07-19 15:21:20 +02:00
Leo Alt
5decccaf3a update docker hashes and versions 2021-07-19 15:20:11 +02:00
Kamil Śliwak
8c5ae508f9 Use html_extra_template_renderer to replace the current robots.txt rendering script 2021-07-15 13:29:27 +02:00
Kamil Śliwak
0f7a185ee3 scripts/docs.sh: Install latest versions of packages when available 2021-07-15 10:14:00 +02:00
Kamil Śliwak
ef6ad57c9c
Merge pull request #11644 from ethereum/fix-no-text-rep-found 
Fix test error "No text representation found."
 2021-07-12 14:47:16 +02:00
Marenz
7836779975 Fix test error "No text representation found." 
The result is actually okay as the code in question is never called.
 2021-07-12 13:03:30 +02:00
Christian Parpart
132fa46faa Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations. 2021-07-09 11:48:00 +02:00
Marenz
d844d84b51 Test yul code blocks in documentation. 2021-07-08 14:59:05 +02:00
Marenz
5291ca2dd4 isolate_tests: Extract code blocks from documentation using code block header 2021-07-06 16:57:05 +02:00
Marenz
f62b80530b Fix isolate_tests when run with single files and add usage information 2021-07-01 15:18:32 +02:00
hrkrshnn
0ef7d27dbd Fix pylint issues 2021-06-30 10:38:37 +02:00
Kamil Śliwak
0311b955c2 isolate_tests.py: Parse Sphinx block parameters correctly 2021-06-21 20:54:12 +02:00
Allegheny Crypto
182ec685fe Updated install_deps.sh to handle Big Sur 11.3 and 11.4 2021-06-17 11:37:13 +02:00
Kamil Śliwak
379a04f257 Add "Big Sur" to codespell whitelist 2021-06-14 11:13:19 +02:00
hrkrshnn
a4fd7c56a4 A script to summarize gas differences from isoltest for PRs. 2021-06-08 11:38:58 +02:00
chriseth
033559206c Check for style of namespace. 2021-05-27 17:38:27 +02:00
hrkrshnn
d5564a0304 Set default EVM version to Berlin 2021-05-26 12:23:06 +02:00
Daniel Kirchner
324caef53c
Merge pull request #11286 from ethereum/evmc8 
Upgrade to EVMC 8.0.0 + evmone 0.7.0
 2021-05-13 18:32:01 +02:00
Alex Beregszaszi
d898342178 Update hera in docker images 2021-05-13 13:11:32 +01:00
Alex Beregszaszi
99354a3b59 Upgrade evmone to 0.7.0 2021-05-12 16:56:23 +02:00
Daniel Kirchner
c7f321c12d Update evmone and boost download links in docker images. 2021-05-10 13:25:39 +02:00
Daniel Kirchner
452c17c15e Change windows boost binary download URL. 2021-05-10 11:30:11 +02:00
cxxboy
bd1fc0e88d script to automate updates to robots.txt #11199 
Rewritten the script to work with a 'robots.txt' template file and we
generate the 'robots.txt' from the template when we execute the script.
It's found to be a better alternative to editing the 'robots.txt' file
in-place.
 2021-04-27 17:54:55 -04:00
Alexander Arlt
4e7dc24383 Fix problems detected by pylint 2.8.1. 2021-04-25 23:33:14 -05:00
Leonardo Alt
dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
chriseth
4912bfe639
Merge pull request #11229 from ethereum/antlrPath 
Fix import paths in grammar and grammar testing details.
 2021-04-12 16:30:41 +02:00
Daniel Kirchner
6fdfd8b62b Fix import path grammar and grammar testing details. 2021-04-12 14:54:36 +02:00
anurag4u80
ca382a5915 Support for 11.2 MacOS Big Sur 2021-04-09 19:32:32 +05:30
chriseth
5433a640fb
Merge pull request #11190 from ethereum/solc-bin-version-check 
[solc-bin] Add version check to bytecode PR check
 2021-04-01 14:49:45 +02:00
chriseth
d80059fb98 Skip certain test for grammar test. 2021-03-30 21:15:46 +02:00
Kamil Śliwak
03a0998b5b solc-bin: Validate version reported by the compiler in the bytecode PR check 2021-03-29 20:17:45 +02:00
Kamil Śliwak
d68d4727eb Fix bytecode PR check ignoring TOP_REF and always using HEAD as the end of the commit range 2021-03-29 17:48:49 +02:00
Kamil Śliwak
d4e95a76e4 bytecode_reports_for_modified_binaries.sh: Add a helper for exiting with an error message 2021-03-29 17:48:38 +02:00
Kamil Śliwak
855a806a5b Rewrite get_version.sh to make it work on macOS 2021-03-25 13:29:32 +01:00
Kamil Śliwak
14adb7df3b Really remove shellcheck ignore list 2021-03-15 20:02:42 +01:00
Kamil Śliwak
b8979a939c Remove shellcheck ignore list 2021-03-15 12:16:43 +01:00
Kamil Śliwak
8e44b59251 Disable shellcheck in the remaining situations where it's either wrong or the problem is not worth fixing 2021-03-15 12:16:43 +01:00
Kamil Śliwak
008d648af3 Fix or disable find/ls related warnings 2021-03-15 12:16:43 +01:00
Kamil Śliwak
7929175db6 Add shellcheck source directive in places where it can't find sourced files on its own 2021-03-15 12:16:43 +01:00