Alexander Arlt
c5673278a7
Remove EWASM backend.
2023-05-11 10:56:55 -05:00
Alexander Arlt
4837d42361
Add experimental support to import AST via Standard JSON.
2023-05-09 14:07:38 -05:00
Daniel Kirchner
44da8507b1
Change default EVM version to Shanghai.
...
Co-authored-by: Rodrigo Q. Saramago <rodrigoqsaramago@gmail.com>
2023-05-08 16:34:23 +02:00
hrkrshnn
b30f89bcce
docs: On supporting shanghai EVM version and changelog
2023-04-12 00:10:24 +02:00
minaminao
c0f92da860
Replace solidity with Solidity
2023-03-28 23:02:29 +09:00
minaminao
dce1e7b378
Fix "Yul Code"
2023-03-28 22:56:24 +09:00
minaminao
1468f5ac41
Fix the missing backquote
2023-03-28 22:50:35 +09:00
Leo Alt
aacbe72079
group unsupported warnings
2023-03-15 17:06:06 +01:00
Leo Alt
21c0f78650
Report safe properties in BMC and CHC
2023-03-09 14:59:32 +01:00
Leo Alt
8d91ccf028
[SMTChecker] Add a new trusted mode which assumes that code that is
...
available at compile time is trusted.
2023-02-06 17:02:33 +01:00
Rodrigo Q. Saramago
feba4de509
Add paris constraints to SMTChecker
...
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: Leo <leo@ethereum.org>
2023-01-31 11:03:04 +01:00
Rodrigo Q. Saramago
d9d9ab30a2
Update default evm version to paris
2023-01-30 17:57:08 +01:00
andy53
df2ea19535
Remove solidity-upgrade
...
update config.yaml
Update using-the-compiler.rst
removed bug reports section
added changelog entry
removed trailing whitespace
removed trailing whitespace
2023-01-17 07:59:43 -07:00
Alex Beregszaszi
c353eb0af5
Document difficulty vs. prevrandao
2022-11-21 14:56:46 +01:00
Alex Beregszaszi
eb8af2caec
Add basic support for the EVM version Paris
...
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
2022-11-21 14:56:46 +01:00
andy53
4e035c41b6
update using-the-compiler.rst with details of optimizer cleanup sequence
...
Removed duplicate lines and clarified the wording.
Removed trailing whitespace.
Update docs/using-the-compiler.rst
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
Clarified behaviors.
Updated text to meet suggestions.
2022-11-10 08:45:48 +01:00
hrkrshnn
d32661c0af
Added tests for --no-append-metadata
...
- Command line tests
- Documented the standard json
- Changelog
- A Change in SolidityExecutionFramework to prevent flaky gas tests
- A boost test for --no-append-metadata
- Removed an outdated comment
2022-09-26 20:40:34 +02:00
nishant-sachdeva
216d38cefe
added yul exception to compiler error types
2022-08-29 22:52:31 +05:30
Daniel Kirchner
e58c0b561d
Mark viaIR code generation as non-experimental.
2022-03-14 14:48:00 +01:00
david-k
cb4ffbfbb7
Fix leftover use of divModWithSlacks in doc
...
The option `divModWithSlacks` was previously changed to `divModNoSlacks`.
However, this was not reflected in the documentation.
2022-03-04 11:02:54 +01:00
Leo Alt
d04ad57ee7
Docs
2021-10-26 11:30:30 +02:00
Kamil Śliwak
a9e794c872
Expose --debug-info/settings.debug.debugInfo option
2021-10-11 20:34:48 +02:00
Kamil Śliwak
c8a7a1da7c
Add --include-path option
2021-09-27 13:14:23 +02:00
Kamil Śliwak
60b2f2b913
Documentation for --allow-paths and changelog entry for fixes
2021-09-27 13:14:10 +02:00
Leo Alt
e72fa7fc10
Add new info severity
2021-09-13 22:48:22 +02:00
hrkrshnn
79733fca48
Set default EVM version to London.
2021-08-11 09:54:14 +02:00
Leo Alt
ee6285d6d7
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +02:00
Leo Alt
e9e3f1238f
Add solvers to model checker json docs
2021-08-06 18:05:25 +02:00
Leo Alt
08c065ee04
Add option divModWithSlacks
2021-08-06 15:50:25 +02:00
Leo Alt
847dd5cf92
Docs
2021-08-04 13:54:50 +02:00
Kamil Śliwak
310a35185a
docs: Fix some mislabeled bash and text blocks
2021-07-15 10:14:00 +02:00
Kamil Śliwak
235a39eaef
docs: Fix syntax errors in JSON snippets and enable JavaScript highlighting for them
2021-07-15 10:14:00 +02:00
Kamil Śliwak
f3a5c27852
docs: Replace a few remaining :: blocks with .. code-block::
2021-07-15 10:14:00 +02:00
Kamil Śliwak
42f982c063
docs: Fix indentation in some of the code snippets
2021-07-15 10:13:32 +02:00
Kamil Śliwak
ce79e2515b
docs: Fix badly indented lists
2021-07-15 10:13:30 +02:00
Kamil Śliwak
59957b18dc
Make missing settings.optimizer.enabled key in Standard JSON equivalent to setting it to false
2021-06-15 16:06:22 +02:00
Kamil Śliwak
5e3788874b
Detailed documentation for path resolution in imports, including remappings, base path and standard input
2021-06-08 21:41:49 +02:00
hrkrshnn
d5564a0304
Set default EVM version to Berlin
2021-05-26 12:23:06 +02:00
chriseth
f9c94d7c42
Note function entry points.
2021-05-04 17:15:13 +02:00
Leonardo Alt
dd1865873e
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
Leonardo Alt
e3abde43f5
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
Leonardo Alt
dbd067d6db
Report out of bounds index access
2021-03-30 10:28:48 +02:00
Kamil Śliwak
01f8005d04
Remove the last remains of --ast-json option
2021-02-23 12:39:19 +01:00
franzihei
e97a856b45
Updating contributing and fixing capitalisation.
2021-02-15 16:18:11 +01:00
Daniel Kirchner
cb74a45fd6
Add inlining for old optimizer.
2021-02-09 19:08:58 +01:00
Hui Yu
c669ee251a
[CLI] Allow "=" as separator between library name and address in --libraries commandline option.
2021-01-25 16:14:39 +08:00
Leonardo Alt
3b23cadbdc
Add CLI and JSON option to select SMTChecker targets
2021-01-20 17:35:37 +01:00
chriseth
482bda6887
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
Daniel Kirchner
e691b7402a
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
2020-12-09 15:53:32 +01:00
Alex Beregszaszi
3bce2a2294
Remove the legacy AST JSON output
2020-11-25 11:40:33 +00:00
