Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/casm-lang/libcasm-fe

CASM Front-end, AST Representation, Parser, and Typechecker
https://github.com/casm-lang/libcasm-fe

abstract-syntax-tree casm frontend library symbol-table type-inference

Last synced: 1 day ago
JSON representation

CASM Front-end, AST Representation, Parser, and Typechecker

Awesome Lists containing this project

README 

        
# 

#   Copyright (C) 2014-2024 CASM Organization 

#   All rights reserved.

# 

#   Developed by: Philipp Paulweber et al.

#   

# 

#   This file is part of libcasm-fe.

# 

#   libcasm-fe 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-fe 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-fe. If not, see .

# 

#   Additional permission under GNU GPL version 3 section 7

# 

#   libcasm-fe is distributed under the terms of the GNU General Public License

#   with the following clarification and special exception: Linking libcasm-fe

#   statically or dynamically with other modules is making a combined work

#   based on libcasm-fe. Thus, the terms and conditions of the GNU General

#   Public License cover the whole combination. As a special exception,

#   the copyright holders of libcasm-fe give you permission to link libcasm-fe

#   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-fe. If you modify libcasm-fe, 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.

# 

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



#+options: toc:nil



* libcasm-fe: CASM Language Front-End Library



[[https://github.com/casm-lang/casm/discussions/categories/q-a][https://img.shields.io/badge/discussion-Q&A-blue.svg?logo=github]]

[[https://github.com/casm-lang/libcasm-fe/actions?query=workflow%3Abuild][https://github.com/casm-lang/libcasm-fe/workflows/build/badge.svg]]

[[https://github.com/casm-lang/libcasm-fe/actions?query=workflow%3Anightly][https://github.com/casm-lang/libcasm-fe/workflows/nightly/badge.svg]]

[[https://codecov.io/gh/casm-lang/libcasm-fe][https://codecov.io/gh/casm-lang/libcasm-fe/badge.svg]]

[[https://github.com/casm-lang/libcasm-fe/tags][https://img.shields.io/github/tag/casm-lang/libcasm-fe.svg?logo=github&sort=semver]]

[[https://github.com/casm-lang/libcasm-fe/blob/master/LICENSE.txt][https://img.shields.io/badge/license-GPLv3%2BLE-blue.svg?logo=gnu]]



This repository contains the CASM front-end implementation consisting of the CASM language grammar definition, 

the Abstract Syntax Tree (AST), various analyses and transformation passes. 



** Copyright and License



The copyright holder of 

=libcasm-fe= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]]) 

and the used license of 

=libcasm-fe= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3]]

with an additional Linking Exception (LE) permission.