Issues

• Question: Why does Whiley have reference types?

  Whiley/WhileyCompiler#1164 · Filter by author dibyendumajumdar opened on Aug 29, 2024

• Verification is runtime

  Whiley/WhileyCompiler#1163 · Filter by author Erhannis opened on Oct 5, 2022

• Semantics of Division and Remainder?

  Bug
  Whiley/WhileyCompiler#1159 · Filter by author DavePearce opened on Jul 6, 2022

• Move tests into Git submodule

  Whiley/WhileyCompiler#1158 · Filter by author DavePearce opened on Jul 3, 2022

• Std Native Method Implementations

  Whiley/WhileyCompiler#1156 · Filter by author DavePearce opened on Jun 1, 2022
  1

• Support Native Final Statics

  Feature
  Whiley/WhileyCompiler#1154 · Filter by author DavePearce opened on May 17, 2022

• Runtime Type Checking of Cyclic Assignment

  Bug
  Whiley/WhileyCompiler#1148 · Filter by author DavePearce opened on May 5, 2022

• Cannot Dereference Dynamically Sized (Template) Type

  Bug
  Whiley/WhileyCompiler#1144 · Filter by author DavePearce opened on May 3, 2022

• FlowTypeCheck internal failure

  Bug
  Whiley/WhileyCompiler#1143 · Filter by author DavePearce opened on May 3, 2022

• Apply QuickCheck During Testing

  Feature
  Whiley/WhileyCompiler#1140 · Filter by author DavePearce opened on Apr 28, 2022

• Linking Fix?

  Whiley/WhileyCompiler#1133 · Filter by author DavePearce opened on Apr 7, 2022

• Better Handling of Syntactic.Exception

  Whiley/WhileyCompiler#1130 · Filter by author DavePearce opened on Apr 5, 2022

• Add modifies clause for methods

  Feature
  Whiley/WhileyCompiler#1121 · Filter by author DavePearce opened on Jan 18, 2022
  

• Update WyIL format for RFC#0003

  Feature
  Whiley/WhileyCompiler#1112 · Filter by author DavePearce opened on Jan 10, 2022
  

• Support Annotations on Methods

  Feature
  Whiley/WhileyCompiler#1107 · Filter by author DavePearce opened on Oct 27, 2021
  2

• Cannot dereference within a function?

  Bug
  Whiley/WhileyCompiler#1100 · Filter by author DavePearce opened on Oct 8, 2021

• Flow Typing Specification Elements

  Whiley/WhileyCompiler#1099 · Filter by author DavePearce opened on Oct 8, 2021
  1

• Flow Typing Over Type Invariants

  Bug
  Whiley/WhileyCompiler#1095 · Filter by author DavePearce opened on Sep 14, 2021

• Create Sizeable Interface

  Whiley/WhileyCompiler#1068 · Filter by author DavePearce opened on Jul 11, 2021

• Overlapping Lvals

  Question
  Whiley/WhileyCompiler#1057 · Filter by author DavePearce opened on Mar 25, 2021
  2

• Misleading 'unknown type' error when tabs are used.

  BugEasy
  Whiley/WhileyCompiler#1055 · Filter by author utting opened on Mar 12, 2021

• Parallel (i.e. non-inteferring) Assignment

  Thoughts
  Whiley/WhileyCompiler#1039 · Filter by author DavePearce opened on Nov 30, 2020

• Cannot Dereference Dynamically Sized Type

  BugEasy
  Whiley/WhileyCompiler#1021 · Filter by author DavePearce opened on Sep 13, 2020

• Parsing Qualified Record Initialisers

  BugEasyParsing
  Whiley/WhileyCompiler#1013 · Filter by author DavePearce opened on Apr 22, 2020
  1

• LambdaAccess with Template Parameters

  Bug
  Whiley/WhileyCompiler#1012 · Filter by author DavePearce opened on Apr 22, 2020