Wy
News
Install
Learn
Playground
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.
Read More…
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.
Read More…
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.
Read More…
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.
Read More…
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.
Read More…
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.
Read More…
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.
Read More…
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.
Read More…
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.
Read More…
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!
Read More…
««
«
3
4
5
6
7
»
»»