A quick heads-up

So we are making progress🙂 By the beginning of next week we should be “operator complete”. The remaining primitive types should by in by end of September. We have prototyped a first integration with a model checker and implemented a first cut of a statemachine language. As it seems now, we will publish a first Open Source version of the core C language during November 2011.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s