News

Design of the Whiley Compiler (Wyc) Front-End

Monday, February 13th, 2012

Designing the front-end of the Whiley Compiler (Wyc) is a somewhat delicate and complicated issue. I have iterated on this a few times, and still not found a solution I’m happy with.

Whiley v0.3.13 Released!

Tuesday, January 24th, 2012

Well, it’s been almost two months in the making, but here’s the next release of Whiley. Quite of lot of changes, although there remain significant issues to resolve — particularly with the front-end.

Whiley v0.3.12 Released!

Friday, December 2nd, 2011

Well, crikey, what a long time since the last release. Things haven’t changed a whole lot, apart from various bug fixes. Probably the most interesting update is the inclusion of reference counting of compound structures to enable in-place updates and prevent unnecessary cloning.

Not all Tests are Passing ... is that so Bad?

Tuesday, November 1st, 2011

For the Whiley compiler, I currently have over 500 end-end tests and in excess of 15,000 unit tests (most of which were auto-generated and target the type system). Each end-end test is a short Whiley program that is categorised as either valid or invalid.

Whiley v0.3.11 Released!

Friday, October 28th, 2011

As usual, it’s been a surprising amount of effort … but the next release of Whiley is available! It’s been quite a long time since the last update, but then quite a lot has improved.

Whiley Gets Funding!

Wednesday, October 12th, 2011

I’m pretty excited to announce that I have been awarded a prestigious Marsden Grant to support research on the Whiley project over the next three years. This is obviously great news for Whiley, and will go a long way towards making the project a reality.

Whiley v0.3.10 Released!

Wednesday, September 21st, 2011

Well, it’s been a tough slog. But, finally, we have a new release of Whiley!! The main thing that’s improved over the past few weeks is the underlying type implementation. This was causing problems before, as programs which should type-check were failing and vice-versa.

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!

3
4
5
6
7