News

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).

Whiley v0.3.2 Released!

Thursday, December 16th, 2010

Well, another release was long overdue!!! This one includes lots and lots of bug fixes, particularly to the type system, and support for dictionaries (aka maps) is now in place. Also, the language has been split in two parts: the base language (flow-sensitive + structural typing), and the extended langauge (which includes constraint checking).

Whiley on GitHub!

Wednesday, November 24th, 2010

Well, after some persuasion, I’ve finally moved the Whiley code over from sourceforge onto github. The repository is here: http://github.com/DavePearce/Whiley. This means you’ll be able to see the compile changing right before your eyes … joy ;)

Whiley v0.3.1 Released!

Wednesday, November 3rd, 2010

Well, I’ve just released another update to the Whiley compiler. As usual, you can access this from the downloads link on the left. This release is relatively minor, which primarily fixes a number of bugs and includes more tests.

3
4
5
6
7