# 
#   Copyright (C) 2014-2024 CASM Organization <https://casm-lang.org>
#   All rights reserved.
# 
#   Developed by: Philipp Paulweber et al.
#   <https://github.com/casm-lang/libcasm-rt/graphs/contributors>
# 
#   This file is part of libcasm-rt.
# 
#   libcasm-rt 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.
# 
#   libcasm-rt 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 libcasm-rt. If not, see <http://www.gnu.org/licenses/>.
# 
#   Additional permission under GNU GPL version 3 section 7
# 
#   libcasm-rt is distributed under the terms of the GNU General Public License
#   with the following clarification and special exception: Linking libcasm-rt
#   statically or dynamically with other modules is making a combined work
#   based on libcasm-rt. Thus, the terms and conditions of the GNU General
#   Public License cover the whole combination. As a special exception,
#   the copyright holders of libcasm-rt give you permission to link libcasm-rt
#   with independent modules to produce an executable, regardless of the
#   license terms of these independent modules, and to copy and distribute
#   the resulting executable under terms of your choice, provided that you
#   also meet, for each linked independent module, the terms and conditions
#   of the license of that module. An independent module is a module which
#   is not derived from or based on libcasm-rt. If you modify libcasm-rt, you
#   may extend this exception to your version of the library, but you are
#   not obliged to do so. If you do not wish to do so, delete this exception
#   statement from your version.
# 

#+begin_html
<h4>
⚠️
This repository has been archived and its development work moved to the
<a href="https://github.com/sealangdotorg/sea">SEA language</a> project.
<hr>
</h4>
#+end_html

[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]

#+options: toc:nil


* libcasm-rt: CASM Run-Time Library

[[https://gitter.im/casm-lang/libcasm-rt][https://img.shields.io/badge/gitter-chat-darkcyan.svg?logo=gitter]]
[[https://github.com/casm-lang/libcasm-rt/actions?query=workflow%3Abuild][https://github.com/casm-lang/libcasm-rt/workflows/build/badge.svg]]
[[https://github.com/casm-lang/libcasm-rt/actions?query=workflow%3Anightly][https://github.com/casm-lang/libcasm-rt/workflows/nightly/badge.svg]]
[[https://codecov.io/gh/casm-lang/libcasm-rt][https://codecov.io/gh/casm-lang/libcasm-rt/badge.svg]]
[[https://github.com/casm-lang/libcasm-rt/tags][https://img.shields.io/github/tag/casm-lang/libcasm-rt.svg?logo=github&sort=semver]]
[[https://github.com/casm-lang/libcasm-rt/blob/master/LICENSE.txt][https://img.shields.io/badge/license-GPLv3%2BLE-blue.svg?logo=gnu]]


TBD

** Copyright and License

The copyright holder of 
=libcasm-rt= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]]) 
and the used license of 
=libcasm-rt= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3]]
with an additional Linking Exception (LE) permission.