issues
search
Whiley
/
WhileyDocs
Various documents relating to the Whiley Programming Language.
7
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Equality Expressions
#45
DavePearce
opened
2 years ago
0
Remove real type
#44
DavePearce
opened
2 years ago
0
Remove Intersection Types
#43
DavePearce
opened
2 years ago
0
Update Array Operations (S4.7)
#42
DavePearce
opened
2 years ago
0
Remove lifetime syntax from WLS
#41
DavePearce
opened
2 years ago
2
Syntax for Generic Types
#40
DavePearce
opened
2 years ago
0
Update Introduction to S3.3 "Names"
#39
DavePearce
opened
2 years ago
0
Add Syntax for ForEach loop
#38
DavePearce
opened
4 years ago
0
Add Syntax for Tuple Initialisers / Assignment
#37
DavePearce
opened
4 years ago
0
typo in vectorMultiply example of getting started document
#36
timsherwood
opened
7 years ago
1
LambdaConstants
#35
DavePearce
opened
7 years ago
0
Syntax for Reference Lifetimes
#34
DavePearce
closed
7 years ago
1
Whiley Cheatsheet -- decrement function modified
#33
Mansour-J
closed
8 years ago
1
Compile time vs. Verification time vs. Runtime
#32
ePaul
opened
8 years ago
1
remove `real` from expressions chapter
#31
ePaul
closed
8 years ago
2
Exponents in syntax of compound statements needs clarification
#30
ePaul
opened
8 years ago
1
continue example is broken
#29
ePaul
opened
8 years ago
1
fix explanation to match the example
#28
ePaul
closed
8 years ago
1
Lambda expressions: specification does not match implementation
#27
SebastianS90
opened
8 years ago
0
Operator Precedence
#26
DavePearce
opened
8 years ago
0
Update Terminology from List to Array
#25
DavePearce
opened
9 years ago
1
Remove List Append
#24
DavePearce
closed
9 years ago
0
Add Syntax for List Generator
#23
DavePearce
closed
9 years ago
0
Use of TypePatterns ?
#22
DavePearce
opened
9 years ago
0
Grammar Templates for Expressions?
#21
DavePearce
opened
9 years ago
2
No grammar for LVals
#20
DavePearce
opened
9 years ago
0
Missing section for sublist
#19
DavePearce
closed
9 years ago
0
Missing section for type tests
#18
DavePearce
opened
9 years ago
0
Missing grammar for "mixed types"
#17
DavePearce
opened
9 years ago
0
Remove String and Char Types
#16
DavePearce
closed
9 years ago
2
WLS: Split Out Code Examples
#15
DavePearce
closed
9 years ago
1
Update for Arrow Syntax
#14
DavePearce
closed
9 years ago
1
Error in reverse program in WhileyCheatSheet
#13
utting
closed
9 years ago
1
Update for Implicit Coercions
#12
DavePearce
closed
9 years ago
0
Update Syntax for Casts
#11
DavePearce
closed
9 years ago
0
Fix a few things Getting Started
#10
Sh4rK
closed
10 years ago
1
example fix
#9
Matt--
closed
10 years ago
1
Two changes in example text
#8
Matt--
closed
10 years ago
0
Pointer example changes
#7
Matt--
closed
10 years ago
3
Fixing an example error
#6
Matt--
closed
10 years ago
0
Fixing some example errors
#5
Matt--
closed
10 years ago
2
Incorrect function declaration
#4
Matt--
closed
10 years ago
1
Update types.tex
#3
Matt--
closed
10 years ago
2
Update types.tex
#2
Matt--
opened
10 years ago
2
Possible typo in Getting Started
#1
Sh4rK
closed
9 years ago
1