News

The Whiley Automata Library (WYAUTL)

Tuesday, September 20th, 2011

As part of the upcoming v0.3.10 release of Whiley, I’ve invested considerable effort reimplementing the type system. This was necessary because, whilst my old implementation generally worked, writing larger programs exposed a lot of issues.

Whiley v0.3.9 Released!

Monday, August 15th, 2011

So, it’s that time again for another update of the Whiley compiler. Perhaps the most interesting update is that constraints are back! Admitedly, only runtime checking of constraints is back; and, there are quite a few problems with it.

Whiley v0.3.8 Released!

Monday, August 1st, 2011

Now that teaching has started up again, development has slowed a little. This release is primarily a bug fix release. The benchmarks and examples now all compile again, which is great!

The State of Whiley

Tuesday, July 26th, 2011

The aim of this post is simply to list the main outstanding issues with the design and implementation of Whiley. This is primarily for my own purposes, in order to help me focus my efforts and to ensure I don’t forget something important.

Whiley v0.3.7 Released!

Thursday, July 7th, 2011

Development has continued at a fairly quick pace since the last release of Whiley. However, with the impending start of term, things are bound to slow down. Therefore, I’m making a release now a little sooner that otherwise planned.

Whiley v0.3.6 Released!

Sunday, June 26th, 2011

After an untold number of commits, bug fixes and passing unit tests, the next version of Whiley is released!! I am trying to lock down the syntax of the language as much as possible now, although there are still a number of open issues.

Whiley on Twitter?

Sunday, May 22nd, 2011

Finally, I created a twitter account. Sadly @whiley is already long gone. So, we’ve got @whileydave … which aint too bad. I haven’t actually tweeted yet, but I guess it’s only a matter of time now.

Whiley v0.3.5 released!

Sunday, May 8th, 2011

ChangeLog Separated compiler up into two main components as follows: The Whiley Compiler (wyc). This provides a base compiler which is responsible for parsing whiley programs, as well as type checking and constraint checking them.

Whiley v0.3.4 Released!

Tuesday, April 26th, 2011

Well, after a fairly long haul, the latest version of Whiley is released. This remains something of a stop-gap for the moment, as there is still quite a lot to do!

Whiley v0.3.3 Released!

Monday, February 14th, 2011

This latest update of Whiley is a somewhat minor increment over the previous. Aside from a number of bug fixes the main improvement is the inclusion of first-class functions (aka function pointers).

4
5
6
7
8