issues
search
Whiley
/
RFCs
Request for Comment (RFC) proposals for substantial changes to the Whiley language.
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Safe Memory Allocation
#114
DavePearce
opened
1 year ago
0
Type Switch Operator
#113
DavePearce
opened
1 year ago
1
RFC/rectype
#112
DavePearce
opened
2 years ago
0
RFC/Array Slice
#111
DavePearce
closed
2 years ago
0
RFC/test_file_format
#110
DavePearce
closed
2 years ago
0
Revised SyntacticHeap Specification
#109
DavePearce
opened
2 years ago
0
Verifying Reentrant Computation
#108
DavePearce
opened
2 years ago
3
Distinguish Constants from Static Variables
#107
DavePearce
opened
2 years ago
0
EVM Backlog
#106
DavePearce
closed
2 years ago
0
Loop Invariant Summaries
#105
DavePearce
opened
2 years ago
0
Reference Lifetimes
#104
DavePearce
opened
2 years ago
0
Lambda Types Addendum
#103
DavePearce
opened
2 years ago
0
RFC/property syntax
#102
DavePearce
closed
2 years ago
0
Runtime Assertion Checking for Old Expressions
#101
DavePearce
opened
2 years ago
0
Statically Sized Types Addendum
#100
DavePearce
opened
2 years ago
0
Eliminating usize
#99
DavePearce
opened
2 years ago
0
Support for Low Memory
#98
DavePearce
opened
2 years ago
0
On Sized Types and Rereference Counting References
#97
DavePearce
opened
3 years ago
0
Unsigned Bitwise Shift
#94
DavePearce
opened
3 years ago
0
Switch Statement Fall Thru
#93
DavePearce
opened
3 years ago
3
Compare and Swap with Multiple Assignment?
#92
DavePearce
opened
3 years ago
1
Exponent Operator
#91
DavePearce
opened
3 years ago
0
Is and Isnt Syntax
#90
DavePearce
opened
3 years ago
0
Witnesses for (Unbound) Quantifiers
#89
DavePearce
opened
3 years ago
0
Shared Atomic Locks
#88
DavePearce
opened
3 years ago
11
Top-Level Assert / Assume
#87
DavePearce
opened
3 years ago
0
Improved Syntax for Framing
#86
DavePearce
opened
3 years ago
1
RFC/array iteration
#85
DavePearce
closed
3 years ago
0
RFC/Old Heap Values
#84
DavePearce
closed
3 years ago
0
Singleton (or Unit) Types
#83
DavePearce
opened
3 years ago
0
Syntax for Framing
#82
DavePearce
closed
3 years ago
2
Improved Property Syntax
#81
DavePearce
opened
3 years ago
0
Term Language?
#80
DavePearce
opened
3 years ago
0
Sound Flow Typing for Arrays
#79
DavePearce
opened
3 years ago
0
Unknown Values
#78
DavePearce
opened
3 years ago
0
Typing For Loop Index Variable
#96
DavePearce
opened
4 years ago
0
Remove Package Specifier
#77
DavePearce
opened
4 years ago
0
Safe Manual Memory Management
#76
DavePearce
opened
4 years ago
1
Unsized Arrays are Linear
#75
DavePearce
opened
4 years ago
0
Statement Syntax for Lambdas
#74
DavePearce
opened
4 years ago
0
Traits
#73
DavePearce
opened
4 years ago
4
Intersection Types (Again)
#72
DavePearce
opened
4 years ago
0
Parameter Names for Mixed Types
#71
DavePearce
opened
4 years ago
0
Linear Types for Whiley
#70
DavePearce
opened
4 years ago
1
Understanding Strict Subtyping
#69
DavePearce
opened
4 years ago
1
Mechanism for Inferring Template Variance
#68
DavePearce
opened
4 years ago
0
Syntax for Object Invocation
#67
DavePearce
opened
4 years ago
0
RFC/type-inference
#66
DavePearce
closed
4 years ago
0
RFC/selectors
#65
DavePearce
closed
4 years ago
0
RFC/references
#64
DavePearce
closed
4 years ago
0
Next