Search results

Getting UTXO balance insufficient error for token transfer

Status: Open.

#501 In flintlang/flint;

· Karthi96 opened on Jun 16, 2022

External Call Issue #1

Status: Open.

#480 In flintlang/flint;

· kunjani opened on Sep 27, 2019

Forloop returns- verification problem

Status: Open.

#475 In flintlang/flint;

· wmanshu opened on Aug 26, 2019

To selfdestruct an array?

Status: Open.

#474 In flintlang/flint;

· wmanshu opened on Aug 23, 2019

transfer() with specified amount in init()

Status: Open.

#472 In flintlang/flint;

· wmanshu opened on Aug 23, 2019

Boogie problem with loop over fixed size arrays

Status: Open.

#471 In flintlang/flint;

· wmanshu opened on Aug 23, 2019

Error on self.x.y.z with explicit self

bug

Status: Open.

#470 In flintlang/flint;

· mrRachar opened on Aug 23, 2019

<code>Brackets do not match in verification</code> shows nothing in terminal

bug

verifier

Status: Open.

#469 In flintlang/flint;

· wmanshu opened on Aug 23, 2019

Boogie not support creating new contract

bug

verifier

Status: Open.

#468 In flintlang/flint;

· wmanshu opened on Aug 22, 2019

Error: Arrays and dictionaries cannot be defined as local variables yet

Status: Open.

#466 In flintlang/flint;

· wmanshu opened on Aug 22, 2019

public function does not support structs as function arguments

Status: Open.

#465 In flintlang/flint;

· wmanshu opened on Aug 22, 2019

Assign value of an array using another array

bug

verifier

Status: Open.

#464 In flintlang/flint;

· wmanshu opened on Aug 21, 2019