CASM Project

This is the main repository of the Corinthian Abstract State Machine (CASM) project.

Structure

This project is organized as a multi repository project. Therefore this repository contains all git sub-modules references to the sub-projects applications, libraries, documentations, plugins etc. The following table provides a project wide status overview:

casmi
casmd
casmf
libcasm-fe
libcasm-tc
libstdhl
libpass
libtptp

Contributing

Before you consider contributing to any of the casm repositories of the casm-lang organization, please read carefully the contribution guidelines.

Documentation

Will be announced here.

Copyright and License

The copyright holder of casm is the CASM organization (@casm-lang) and the used license of casm is the GNU GPLv3.

Notice

Copyright (C) 2014-2019 CASM Organization <https://casm-lang.org>
All rights reserved.

Developed by: Philipp Paulweber
              Emmanuel Pescosta
              <https://github.com/casm-lang/casm>

This file is part of casm.

casm is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

casm is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with casm. If not, see <http://www.gnu.org/licenses/>.