Issues - sophia - QPQ AG

QPQ-AG/sophia

New Issue

Hash of source code should contain files included into main contract

todo-in-rewrite

#478 opened 2023-08-04 17:42:22 +09:00 by davidyuk

Incorrect warning: nonexistent __x variable is shadowed

#476 opened 2023-08-02 21:04:36 +09:00 by zxq9

Inability to pattern match a datatype from a remote contract

#471 opened 2023-07-17 17:52:48 +09:00 by ghallak

Error creating ACI from an Interface

#470 opened 2023-07-13 15:56:03 +09:00 by zxq9

No distinction between function definition and function call in lookup_env

#395 opened 2022-06-26 05:35:45 +09:00 by ghallak

Add annotations in the parser where they are left out

todo-in-rewrite

#389 opened 2022-06-13 20:29:38 +09:00 by ghallak

Lambda types forget stateful constraint

todo-in-rewrite

#217 opened 2020-02-08 01:00:30 +09:00 by zxq9