The Tesla Programming Language / News: Recent posts

The newest version of Tesla is up with added formal methods features and constructs. Other items such as shared library support is also present as well as bug fixes/code cleanup

A new version is finally up. There's been a lot of things added, changed, and fixed so read the revision file. There are now also new auto-installing packages. Here is a description for each file:

tesla.cygwin.sh - Cygwin auto-installer
tesla.cygwin.tar.gz - Cygwin source tarball
tesla.posix.sh - POSIX auto-installer
tesla.posix.tar.gz - POSIX source tarball
tesla.windows.sh - Windows auto-installer
tesla.windows.zip - Windows source and precompiled Zip

new version of Tesla that adds Windows support and adds/fixes a number of things

First release of Tesla uploaded, version 0.10
This is a very alpha version although the parts that are implemented work correctly