This repository has been archived by the owner on Aug 29, 2023. It is now read-only.
forked from facebookarchive/flint
-
Notifications
You must be signed in to change notification settings - Fork 21
Issues: JossWhittle/FlintPlusPlus
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
False non-virtual dtor warning when passing structs or using nested classes
#62
opened Sep 11, 2019 by
warmsocks
Whitespace between # and "error" or "line" causes bogus errors to be reported
#60
opened Mar 6, 2019 by
warmsocks
ProTip!
Exclude everything labeled
bug
with -label:bug.