flintlang/flint

Issues

• Getting UTXO balance insufficient error for token transfer

  #501 opened 3 years ago
  0

• External Call Issue #1

  #480 opened 5 years ago
  0

• Forloop returns- verification problem

  #475 opened 5 years ago
  0

• To selfdestruct an array?

  #474 opened 5 years ago
  0

• Get contract using address

  #473 opened 5 years ago
  1

• transfer() with specified amount in init()

  #472 opened 5 years ago
  1

• Boogie problem with loop over fixed size arrays

  #471 opened 5 years ago
  0

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

  #470 opened 5 years ago
  0

• `Brackets do not match in verification` shows nothing in terminal

  #469 opened 5 years ago
  1

• Boogie not support creating new contract

  #468 opened 5 years ago
  0

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

  #466 opened 5 years ago
  2

• public function does not support structs as function arguments

  #465 opened 5 years ago
  1

• Assign value of an array using another array

  #464 opened 5 years ago
  3

• If-else clause with some code and then returns

  #463 opened 5 years ago
  2

• Cannot return an array

  #462 opened 5 years ago
  0

• Can we implement range type (a...b) wherer b is a variable

  #461 opened 5 years ago
  1

• trait example in the document gives error

  #460 opened 5 years ago
  0

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

  #459 opened 5 years ago
  1

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

  #457 opened 5 years ago
  1

• Send messes with everything

  #456 opened 5 years ago
  0

• Problem with Init()

  #455 opened 5 years ago
  1

• Return in else clauses

  #454 opened 5 years ago
  1

• IR issues in Remix

  #452 opened 5 years ago
  1

• Error at WeiAccounting trigger

  #450 opened 5 years ago
  0

• forall in the predict part not supported

  #448 opened 5 years ago
  1

• cannot verify when changing two elements in a dictionary in one function

  #447 opened 5 years ago
  1

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

  #446 opened 5 years ago
  3

• Problems with FlightManager.flint

  #444 opened 5 years ago
  3

• verification ignores the return inside `if`

  #442 opened 5 years ago
  0

• String not implemented in Boogie

  #441 opened 5 years ago
  0

• verification problem when argument and global variable have the same name

  #440 opened 5 years ago
  3

• Several errors in WesternUnion.flint

  #439 opened 5 years ago
  2

• Missing way to verify some mathematical functions

  #438 opened 5 years ago
  0

• `forall` causes internal error

  #437 opened 5 years ago
  1

• Unable to construct struct without declaring outer function as `mutates(...)`

  #436 opened 5 years ago
  2

• Multidimensional array looping requires an outer array identifier for verification

  #435 opened 5 years ago
  1

• mutates

  #434 opened 5 years ago
  1

• single Swift version

  #433 opened 5 years ago
  1

• Improved function missing errors

  #431 opened 5 years ago
  0

• Flint paper link doesn't work

  #426 opened 6 years ago
  1

• Support non-empty list and dictionary literals

  #420 opened 6 years ago
  0

• Static keyword for structs

  #419 opened 6 years ago
  0

• Aliasing doesn't work with inout values

  #410 opened 6 years ago
  1

• Crash when using a mutating func in init

  #409 opened 6 years ago
  1

• Remove unnecessary argument labels

  #407 opened 6 years ago
  0

• Metaprogramming for ASTPass

  #406 opened 6 years ago
  2

• Semantic Analysing of emit calls is broken.

  #399 opened 6 years ago
  3

• Non-literal ranges should be possible

  #397 opened 6 years ago
  0

• Annotation to disallow mutating re-entrancy

  #394 opened 6 years ago
  2

• Core types in Standard Library

  #393 opened 6 years ago
  0