Issues

• Getting UTXO balance insufficient error for token transfer

  flintlang/flint#501 · Filter by author Karthi96 opened on Jun 16, 2022

• External Call Issue #1

  flintlang/flint#480 · Filter by author kunjani opened on Sep 27, 2019

• Forloop returns- verification problem

  flintlang/flint#475 · Filter by author wmanshu opened on Aug 26, 2019

• To selfdestruct an array?

  flintlang/flint#474 · Filter by author wmanshu opened on Aug 23, 2019

• transfer() with specified amount in init()

  flintlang/flint#472 · Filter by author wmanshu opened on Aug 23, 2019
  1

• Boogie problem with loop over fixed size arrays

  flintlang/flint#471 · Filter by author wmanshu opened on Aug 23, 2019

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

  bug
  flintlang/flint#470 · Filter by author mrRachar opened on Aug 23, 2019

• Brackets do not match in verification shows nothing in terminal

  bugverifier
  flintlang/flint#469 · Filter by author wmanshu opened on Aug 23, 2019
  1

• Boogie not support creating new contract

  bugverifier
  flintlang/flint#468 · Filter by author wmanshu opened on Aug 22, 2019

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

  flintlang/flint#466 · Filter by author wmanshu opened on Aug 22, 2019
  2

• public function does not support structs as function arguments

  flintlang/flint#465 · Filter by author wmanshu opened on Aug 22, 2019
  1

• Assign value of an array using another array

  bugverifier
  flintlang/flint#464 · Filter by author wmanshu opened on Aug 21, 2019
  3

• If-else clause with some code and then returns

  bug
  flintlang/flint#463 · Filter by author wmanshu opened on Aug 21, 2019
  2

  

• Cannot return an array

  flintlang/flint#462 · Filter by author wmanshu opened on Aug 21, 2019

• trait example in the document gives error

  documentation
  flintlang/flint#460 · Filter by author wmanshu opened on Aug 20, 2019

• pre-condition causes fatal error if --skip-verifier

  flintlang/flint#459 · Filter by author wmanshu opened on Aug 19, 2019
  1

• Potential Boogie limitation for simple assertions on contract and struct properties

  verifier
  flintlang/flint#457 · Filter by author matteobilardi opened on Aug 15, 2019
  1

• Send messes with everything

  help wantedverifier
  flintlang/flint#456 · Filter by author mrRachar opened on Aug 15, 2019

• IR issues in Remix

  flintlang/flint#452 · Filter by author kunjani opened on Aug 11, 2019
  1

• Error at WeiAccounting trigger

  verifier
  flintlang/flint#450 · Filter by author wmanshu opened on Aug 6, 2019

• Implementation required for using return value in pre/post conditions

  featureverifier
  flintlang/flint#446 · Filter by author wmanshu opened on Aug 1, 2019
  3

• Problems with FlightManager.flint

  verifier
  flintlang/flint#444 · Filter by author wmanshu opened on Aug 1, 2019
  3

• String not implemented in Boogie

  featureverifier
  flintlang/flint#441 · Filter by author wmanshu opened on Jul 30, 2019

• Several errors in WesternUnion.flint

  bugverifier
  flintlang/flint#439 · Filter by author wmanshu opened on Jul 29, 2019
  2

• Missing way to verify some mathematical functions

  featureverifier
  flintlang/flint#438 · Filter by author wmanshu opened on Jul 29, 2019