Space Invader @ East London Massive

Tuesday, March 30, 2010

please welcome jStar

Maybe it was the great weather in Cyprus last week at ETAPS, maybe something else. But yes, jStar is now out! Some great news come with this.

1st great news: it's finally out in the wild...

2nd great news: it's released on BSD license. So do whatever you like with it!

3rd great news: this is a first really basic release. Maybe alpha maybe beta. And what is great about it is that there is much room for improvement. So this is the great opportunity you were waiting for to jump into the community of people actively developing tools for separation logic. So have some fun with it and let us know of any good progress so that we can make them available to the world.

And btw you can download jStar from here

P.S.: we're keen on hear any feedback you may have!