Home

Welcome to the Whiley wiki!

This wiki provides a general discussion area for all topics related to Whiley. This is broken down into the following topics:

1. Language Extensions
2. Type Checking
3. Verification
4. Backend Compilation

Language Extensions

This is a general starting point for discussing possible language extensions to Whiley. This is essentially a incubation point before such proposals are formed into proper RFCs. Please create new pages for each discussion point, and link them from here along with a short description.

• Adding Meta-Programming Support. This is a general discussion page about adding support for meta-programming to Whiley.

Type Checking

This is a general starting point for discussions related to type checking in Whiley, such as regarding the the algorithms being used and how they work. Please create new pages for each discussion point, and link them from here along with a short description.

Verification

This is a general starting point for discussions related to verification in Whiley, in particular those algorithms used for verification condition generation and automated theorem proving. Please create new pages for each discussion point, and link them from here along with a short description.

Backend Compilation

This is a general starting point for discussions related to compiling Whiley for different platforms (e.g. Java, JavaScript, LLVM, etc). Please create new pages for each discussion point, and link them from here along with a short description.

• Floating-point. A general discussion of how to provide floating point support in Whiley.
• WebAssembly. Discussion of web-browser support and upcoming changes to WebAssembly.
• Operating-Systems-and-Linking. Information relevant to supporting machine language backends on various operating systems.