-
Notifications
You must be signed in to change notification settings - Fork 36
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.
- 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.
Take a look at the our suggestions for Small-Project-Proposals and see if there is something you like, or maybe you have ideas for small projects that you want to see added to our list?