Issues

Equality Expressions
Whiley/WhileyDocs#45 · opened on May 16, 2022
Remove real type
Whiley/WhileyDocs#44 · opened on May 16, 2022
Remove Intersection Types
Whiley/WhileyDocs#43 · opened on May 16, 2022
Update Array Operations (S4.7)
Whiley/WhileyDocs#42 · opened on May 16, 2022
Remove lifetime syntax from WLS
Whiley/WhileyDocs#41 · opened on May 16, 2022
2
Syntax for Generic Types
Whiley/WhileyDocs#40 · opened on May 16, 2022
Update Introduction to S3.3 "Names"
Whiley/WhileyDocs#39 · opened on May 16, 2022
Add Syntax for ForEach loop
Whiley/WhileyDocs#38 · opened on Dec 3, 2019
Add Syntax for Tuple Initialisers / Assignment
Whiley/WhileyDocs#37 · opened on Dec 3, 2019
typo in vectorMultiply example of getting started document
Whiley/WhileyDocs#36 · opened on Aug 27, 2017
1
LambdaConstants
Whiley/WhileyDocs#35 · opened on Aug 18, 2017
Compile time vs. Verification time vs. Runtime
Whiley/WhileyDocs#32 · opened on Jun 25, 2016
1
Exponents in syntax of compound statements needs clarification
Whiley/WhileyDocs#30 · opened on Jun 25, 2016
1
continue example is broken
Whiley/WhileyDocs#29 · opened on Jun 25, 2016
1
Lambda expressions: specification does not match implementation
Whiley/WhileyDocs#27 · opened on Mar 27, 2016
Operator Precedence
Whiley/WhileyDocs#26 · opened on Mar 10, 2016
Update Terminology from List to Array
Whiley/WhileyDocs#25 · opened on Aug 4, 2015
1
Use of TypePatterns ?
Whiley/WhileyDocs#22 · opened on Jul 1, 2015
Grammar Templates for Expressions?
Whiley/WhileyDocs#21 · opened on Apr 13, 2015
2
No grammar for LVals
Whiley/WhileyDocs#20 · opened on Apr 13, 2015
Missing section for type tests
Whiley/WhileyDocs#18 · opened on Apr 13, 2015
Missing grammar for "mixed types"
Whiley/WhileyDocs#17 · opened on Apr 13, 2015