Download

This is the sixth official release of the CASM project. We are happy to present our new symbolic/concolic execution functionality. Basis for the CASM symbolic execution is a complete from scratch implemented C++ library called libtptp which provides a TPTP parser, code emitter, and evaluation transformation towards Z3. By annotating CASM functions with the attribute symbolic allows the CASM symbolic execution to derive first order formula based TPTP traces of the desired annotated functions. Furthermore, we support the complete building by (open-)source of the three main applications casmd, casmf, and casmi and the corresponding libraries like libcasm-fe or libcasm-ir.

This is the fives official release of the CASM project. It introduces two improvements and all are language related. The last release introduced a module import concept and we have added a using path namespace concept to make symbols visible and shorted their symbol name path. Besides the using path syntax, we support the local rule definition now. This rule allows a specifier to defined (nested) local state functions inside given rule scopes.

This is the fourth official release of the CASM project. It introduces three improvements. It introduces three improvements and this time all improvements are language related. First, we have a module and import system for our language. Through a new import syntax it is possible to load external specifications and modules into the current specification. Second, the CASM language allows UTF-8 symbols in comments, string literals, and certain characters for identifier names. Last but not least, we changed the init definition to be optional in CASM specifications to support import only specifications as well.

This is the third official release of the CASM project. It introduces three improvements. First, we improved our AST language implementation to provide a lossless syntax tree representation. Build on this implementation feature we are able to construct a source formatting beautifier application called casmf. This application function in the near future as the official CASM formatting application. Second, another contribution provides 100% coverage of all LSP messages and structures (see libstdhl) so that our casmd can implement one language feature after the next one. Last but not least, we continued with our own libtptp implementation to prepare already the next steps for the CASM symbolic execution.

This is the second official release of the CASM project. It introduces four big improvements. First, we added a new language construct to specify invariant conditions through globally defined invariant definitions inside a CASM specification. Just try it with the shipped casmi. Second, our huge effort over the summer has finally paid off. Now we are able to compile the CASM project more or less platform independent with various C++ compilers. Therefore, we support and ship pre-compiled x86_64 binaries for Linux, Mac, and Windows. Third, besides the interpreter we ship a new daemon application called casmd, which is our own server-sided Language Server Protocol (LSP) implementation to interact with LSP (editor) clients. Last but not least, we publish our own LSP client plug-in extension for the monaco editor framework. With this plug-in a fully functional CASM editor environment allows you to specify, debug, and run (execute) the provided CASM specification.

This is the first official release of the CASM project. It contains a release build of the CASM interpreter application called casmi. For now, we only support Linux and ship a statically build x86_64 compatible 64-bit binary with zero dependencies. The binary sources are packed and deployed to various environments including ArchLinux AUR and Docker.