1
I Use This!
Very Low Activity

News

Analyzed about 12 hours ago. based on code collected about 12 hours ago.
Posted over 1 year ago by Dave
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]
Posted over 1 year ago by Dave
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]
Posted over 1 year ago by Dave
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]
Posted over 1 year ago by Dave
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]
Posted almost 2 years ago by Dave
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]
Posted almost 2 years ago by Dave
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]
Posted about 2 years ago by Dave
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!!
Posted about 2 years ago by Dave
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!!
Posted about 2 years ago by Dave
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!
Posted about 2 years ago by Dave
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!