Skip to content

Issues: flintlang/flint

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

72 Open 169 Closed
72 Open 169 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Getting UTXO balance insufficient error for token transfer
#501 opened Jun 16, 2022 by Karthi96
External Call Issue #1
#480 opened Sep 27, 2019 by kunjani
Forloop returns- verification problem
#475 opened Aug 26, 2019 by wmanshu
To selfdestruct an array?
#474 opened Aug 23, 2019 by wmanshu
transfer() with specified amount in init()
#472 opened Aug 23, 2019 by wmanshu
1
Boogie problem with loop over fixed size arrays
#471 opened Aug 23, 2019 by wmanshu
Error on self.x.y.z with explicit self bug
#470 opened Aug 23, 2019 by mrRachar
Brackets do not match in verification shows nothing in terminal bug verifier
#469 opened Aug 23, 2019 by wmanshu
1
Boogie not support creating new contract bug verifier
#468 opened Aug 22, 2019 by wmanshu
Error: Arrays and dictionaries cannot be defined as local variables yet
#466 opened Aug 22, 2019 by wmanshu
2
public function does not support structs as function arguments
#465 opened Aug 22, 2019 by wmanshu
1
Assign value of an array using another array bug verifier
#464 opened Aug 21, 2019 by wmanshu
3
If-else clause with some code and then returns bug
#463 opened Aug 21, 2019 by wmanshu
@mrRachar
2
Cannot return an array
#462 opened Aug 21, 2019 by wmanshu
trait example in the document gives error documentation
#460 opened Aug 20, 2019 by wmanshu
pre-condition causes fatal error if --skip-verifier
#459 opened Aug 19, 2019 by wmanshu
1
Potential Boogie limitation for simple assertions on contract and struct properties verifier
#457 opened Aug 15, 2019 by matteobilardi
1
Send messes with everything help wanted verifier
#456 opened Aug 15, 2019 by mrRachar
IR issues in Remix
#452 opened Aug 11, 2019 by kunjani
1
Error at WeiAccounting trigger verifier
#450 opened Aug 6, 2019 by wmanshu
Implementation required for using return value in pre/post conditions feature verifier
#446 opened Aug 1, 2019 by wmanshu
3
Problems with FlightManager.flint verifier
#444 opened Aug 1, 2019 by wmanshu
3
String not implemented in Boogie feature verifier
#441 opened Jul 30, 2019 by wmanshu
Several errors in WesternUnion.flint bug verifier
#439 opened Jul 29, 2019 by wmanshu
2
Missing way to verify some mathematical functions feature verifier
#438 opened Jul 29, 2019 by wmanshu
ProTip! Updated in the last three days: updated:>2024-05-10.