Search results

Problem typechecking higher-order functions

bugSomething isn't workingSomething isn't working

Status: Open.

#206 In argotorg/solcore;

· mbenke opened on Sep 18, 2025

Consistent typing for yul level return and revert

Status: Open.

#198 In argotorg/solcore;

· d-xo opened on Sep 16, 2025

EmitCore: remove special treatment of pairs

cleanup

Status: Open.

#193 In argotorg/solcore;

· mbenke opened on Sep 10, 2025

· 

post-ERC20

Integrate yule (Yul generation) with the compiler proper

cleanup

Status: Open.

Task

#191 In argotorg/solcore;

· mbenke opened on Sep 9, 2025

· 

post-ERC20

Rename intermediate language (now: Core)

cleanup

Status: Open.

Task

#190 In argotorg/solcore;

· mbenke opened on Sep 9, 2025

· 

post-ERC20

overlapping instances accepted by compiler

Status: Open.

#189 In argotorg/solcore;

· d-xo opened on Sep 9, 2025

Invalid yul generated for references unwrapped in a match block

Status: Open.

#188 In argotorg/solcore;

· d-xo opened on Sep 9, 2025

· 

ERC20

<code>abi_decode</code> requires too many proxy arguments

Status: Open.

#187 In argotorg/solcore;

· d-xo opened on Sep 9, 2025

· 

post-ERC20

Add support for desugared bool in EmitCore

Status: Open.

#179 In argotorg/solcore;

· mbenke opened on Sep 4, 2025

· 

ERC20

Namespacing for data constructors

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#140 In argotorg/solcore;

· d-xo opened on Jun 26, 2025

Support for dangling commas

Status: Open.

#93 In argotorg/solcore;

· sambacha opened on Mar 5, 2025

Specialisation for XRef problems

Status: Open.

#89 In argotorg/solcore;

· mbenke opened on Feb 20, 2025