Skip to content

Issues: Whiley/WhileyCompiler

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

42 Open 1,028 Closed
42 Open 1,028 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

Verification is runtime
#1163 opened Oct 5, 2022 by Erhannis
Semantics of Division and Remainder? Bug
#1159 opened Jul 6, 2022 by DavePearce
Move tests into Git submodule
#1158 opened Jul 3, 2022 by DavePearce
Std Native Method Implementations
#1156 opened Jun 1, 2022 by DavePearce
1
Support Native Final Statics Feature
#1154 opened May 17, 2022 by DavePearce
Runtime Type Checking of Cyclic Assignment Bug
#1148 opened May 5, 2022 by DavePearce
Cannot Dereference Dynamically Sized (Template) Type Bug
#1144 opened May 3, 2022 by DavePearce
FlowTypeCheck internal failure Bug
#1143 opened May 3, 2022 by DavePearce
Apply QuickCheck During Testing Feature
#1140 opened Apr 28, 2022 by DavePearce
Linking Fix?
#1133 opened Apr 7, 2022 by DavePearce
Better Handling of Syntactic.Exception
#1130 opened Apr 5, 2022 by DavePearce
Add modifies clause for methods Feature
#1121 opened Jan 18, 2022 by DavePearce
@DavePearce
Update WyIL format for RFC#0003 Feature
#1112 opened Jan 10, 2022 by DavePearce
@DavePearce
Support Annotations on Methods Feature
#1107 opened Oct 27, 2021 by DavePearce
2
Cannot dereference within a function? Bug
#1100 opened Oct 8, 2021 by DavePearce
Flow Typing Specification Elements
#1099 opened Oct 8, 2021 by DavePearce
1
Flow Typing Over Type Invariants Bug
#1095 opened Sep 14, 2021 by DavePearce
Create Sizeable Interface
#1068 opened Jul 11, 2021 by DavePearce
Overlapping Lvals Question
#1057 opened Mar 25, 2021 by DavePearce
2
Misleading 'unknown type' error when tabs are used. Bug Easy
#1055 opened Mar 12, 2021 by utting
Parallel (i.e. non-inteferring) Assignment Thoughts
#1039 opened Nov 30, 2020 by DavePearce
Cannot Dereference Dynamically Sized Type Bug Easy
#1021 opened Sep 13, 2020 by DavePearce
Parsing Qualified Record Initialisers Bug Easy Parsing
#1013 opened Apr 22, 2020 by DavePearce
1
LambdaAccess with Template Parameters Bug
#1012 opened Apr 22, 2020 by DavePearce
Nested Template Syntax Bug Parsing
#1011 opened Apr 19, 2020 by DavePearce
ProTip! Exclude everything labeled bug with -label:bug.