Whiley Compiler (WyC)

The leftPad(string,int) function simply pads a string up to a given size by inserted spaces at the beginning. For example, leftPad("hello",8) produces " hello". This little function shot to fame in 2016 when a developer pulled all his modules from ... [More] NPM, of which one provided the leftPad() functionality. There were two basic issues causing . . . → Read More: Verifying leftPad() in Whiley [Less]

The leftPad(string,int) function simply pads a string up to a given size by inserted spaces at the beginning. For example, leftPad("hello",8) produces " hello". This little function shot to fame in 2016 when a developer pulled all his modules from ... [More] NPM, of which one provided the leftPad() functionality. There were two basic issues causing . . . → Read More: Verifying leftPad() in Whiley [Less]

And, after a long while, another official release of Whiley is here.  This is something of an interim release whilst other things are brewing in the background.  There also some known issues with this release.  The main changes are: Fully Qualified ... [More] Names.  The syntax of fully qualified names has changed.  Specifically, :: is used . . . → Read More: Whiley v0.4.2. Released! [Less]

And, after a long while, another official release of Whiley is here.  This is something of an interim release whilst other things are brewing in the background.  There also some known issues with this release.  The main changes are: Fully Qualified ... [More] Names.  The syntax of fully qualified names has changed.  Specifically, :: is used . . . → Read More: Whiley v0.4.2. Released! [Less]

Bubble sort is a classic sorting algorithm with lots of well-known issues. It’s been a long time since I thought much about this algorithm. But, it turns out to be an interesting verification example for Whiley, as it has some interesting loop ... [More] invariants. The algorithm is pretty simple: it loops through an array swapping . . . → Read More: Verifying Bubble Sort in Whiley [Less]

Bubble sort is a classic sorting algorithm with lots of well-known issues. It’s been a long time since I thought much about this algorithm. But, it turns out to be an interesting verification example for Whiley, as it has some interesting loop ... [More] invariants. The algorithm is pretty simple: it loops through an array swapping . . . → Read More: Verifying Bubble Sort in Whiley [Less]

Recently, I gave a demo of Whiley at Oracle Labs in Brisbane which they have kindly put up on YouTube: The actual demo itself starts around 11:30s, so you might want to skip on to that. The talk was part of a series of talks I did at various locations across . . . → Read More: Whiley Demo @ Oracle Labs!!

Recently, I gave a demo of Whiley at Oracle Labs in Brisbane which they have kindly put up on YouTube: The actual demo itself starts around 11:30s, so you might want to skip on to that. The talk was part of a series of talks I did at various locations across . . . → Read More: Whiley Demo @ Oracle Labs!!

The web IDE for Whiley is the easiest way to run Whiley, and it’s even better after a little face lift!  Here’s the obligatory screenshot: You can run this on your local machine by cloning the Github repo and running ant run from the command-line.  For now, you can also try it out . . . → Read More: Web IDE gets a Face Lift!

The web IDE for Whiley is the easiest way to run Whiley, and it’s even better after a little face lift!  Here’s the obligatory screenshot: You can run this on your local machine by cloning the Github repo and running ant run from the command-line.  For now, you can also try it out . . . → Read More: Web IDE gets a Face Lift!