Igor Zhirkov issues

Results 14 issues of


                                            Igor Zhirkov

Added pair combinator

Instead of using `>>=` as a generic but a bit cumbersome way to work with tuples of arbitrary length, you can use `` to pair up combinators.

[DO NOT MERGE] Attribute isBitcast to PTR_TO_INT pseudoinstruction

# Code Review Checklist ## Purpose Correctly attribute pointer to int pseudoinstruction as a bitcast instruction. ## Ticket Number CP-1533 ## Requirements - [ ] Have the requirements been met?...

[DO NOT MERGE] Implement mov and movptr pseudoinstructions

# Code Review Checklist ## Purpose ## Ticket Number ## Requirements - [ ] Have the requirements been met? - [ ] Have stakeholder(s) approved the change? ## Implementation -...

[WIP] Implement yul to coreyul translation

This is an ongoing work in progress/prototype. # What ❔ Implement a transpiler from YUL to EasyCrypt in a separate binary. EasyCrypt spec: https://cs-people.bu.edu/gaboardi/teaching/22-chalmers-course/easycrypt-refman.pdf ## Why ❔ A part of...

refac: decouple LLVM specifics from YUL parser

# What ❔ Parameterize parser with previously LLVM-specific details (i.e. function attributes). ## Why ❔ LLVM-specific logic has to be decoupled from the parser so that parser can be decoupled...

[WIP] extract parser into a separate crate

# What ❔ Finish the parser extraction and introduce dependency from [yul-syntax-tools](https://github.com/matter-labs/yul-syntax-tools) crate. ## Why ❔ The parser is then reused for other tools such as yul->easycrypt transpiler. The code...

[BUG]: Integration of solc

### Describe the bug Error: ``` Internal Compiler Explorer error: TypeError: Cannot read properties of undefined (reading '.code') at file:///infra/.deploy/lib/compilers/solidity.js:82:70 at Array.sort () at SolidityCompiler.processAsm (file:///infra/.deploy/lib/compilers/solidity.js:82:18) at SolidityCompiler.afterCompilation (file:///infra/.deploy/lib/base-compiler.js:2164:44) at...

bug

Igor Zhirkov