-
Notifications
You must be signed in to change notification settings - Fork 35
Home
This wiki provides a general discussion area for all topics related to Whiley. This is broken down into the following topics:
- Language Extensions
- Type Checking
- Verification
- Backend Compilation
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.
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.
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.
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.