Skip to content

Commit acdbc32

Browse files
committed
Add support for --import-asm-json.
1 parent 8447b32 commit acdbc32

13 files changed

+610
-138
lines changed

Changelog.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ Compiler Features:
1212
* SMTChecker: Add constraints to better correlate ``address(this).balance`` and ``msg.value``.
1313
* SMTChecker: Support the ``value`` option for external function calls.
1414
* Commandline Interface: Disallowed the ``--experimental-via-ir`` option to be used with Standard Json, Assembler and Linker modes.
15+
* Commandline Interface: Adds alternative input mode ``--import-asm-json`` to import assembly json.
1516

1617

1718
Bugfixes:

0 commit comments

Comments
 (0)