⚠️ This project was developed from 2009 to 2010 and is no longer maintained ⚠️

SpecJava is an extension to the Java compiler with support for lightweight static logical assertions.

For more information please refer to the github project website.

This project inherits the Licenses from the Polyglot framework that is used for developing the project.

Polyglot is governed by the Eclipse Public License and the Lesser GNU Public License.

Additionally and only for some documents this project is also licensed under Creative Commons Attribution-NonCommercial 2.5 License. The site itself is released under MIT License.

A copy of these licenses can be found on the files LICENSE.Polyglot, LICENSE.Eclipse, LICENSE.LGPL, LICENSE.BY-NC and LICENSE.MIT.

For more details refer to LICENSE.md.