Search results

fix: please upgrade Reach's Walletconnect from v1 to v2

Status: Open.

#1604 In reach-sh/reach-lang;

· kcelestinomaria opened on Aug 1, 2023

feat: integrate algorand community's use-wallet

Status: Open.

#1603 In reach-sh/reach-lang;

· kcelestinomaria opened on Aug 1, 2023

Sqrt fails formal verification

Status: Open.

#1586 In reach-sh/reach-lang;

· Gungy2 opened on Jun 1, 2023

Remote object call triggers an assumption error

Status: Open.

#1578 In reach-sh/reach-lang;

· Gungy2 opened on Mar 31, 2023

Not able to import modules in versions after 0.1.13rc0 (f79282c4)

Status: Open.

#1576 In reach-sh/reach-lang;

· jeapostrophe opened on Mar 15, 2023

Pera wallet connect not working

Status: Open.

#1548 In reach-sh/reach-lang;

· kieranroneill opened on Jan 30, 2023