https://github.com/casm-lang/libcasm-ir
CASM Intermediate Representation and Optimization Passes
https://github.com/casm-lang/libcasm-ir
analysis casm intermediate-language intermediate-representation library optimization passes transformation
Last synced: 28 days ago
JSON representation
CASM Intermediate Representation and Optimization Passes
- Host: GitHub
- URL: https://github.com/casm-lang/libcasm-ir
- Owner: casm-lang
- License: other
- Created: 2015-02-12T21:50:10.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2024-01-29T20:35:12.000Z (over 1 year ago)
- Last Synced: 2024-08-10T10:58:26.804Z (10 months ago)
- Topics: analysis, casm, intermediate-language, intermediate-representation, library, optimization, passes, transformation
- Language: C++
- Homepage: https://casm-lang.org/libcasm/ir
- Size: 2.06 MB
- Stars: 4
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.org
- License: LICENSE.txt
Awesome Lists containing this project
README
#
# Copyright (C) 2015-2024 CASM Organization
# All rights reserved.
#
# Developed by: Philipp Paulweber et al.
#
#
# This file is part of libcasm-ir.
#
# libcasm-ir 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-ir 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-ir. If not, see .
#
# Additional permission under GNU GPL version 3 section 7
#
# libcasm-ir is distributed under the terms of the GNU General Public License
# with the following clarification and special exception: Linking libcasm-ir
# statically or dynamically with other modules is making a combined work
# based on libcasm-ir. Thus, the terms and conditions of the GNU General
# Public License cover the whole combination. As a special exception,
# the copyright holders of libcasm-ir give you permission to link libcasm-ir
# 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-ir. If you modify libcasm-ir, 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
⚠️
This repository has been archived and its development work moved to the
SEA language project.
#+end_html
[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]
#+options: toc:nil
* libcasm-ir: CASM Intermediate Representation 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-ir/actions?query=workflow%3Abuild][https://github.com/casm-lang/libcasm-ir/workflows/build/badge.svg]]
[[https://github.com/casm-lang/libcasm-ir/actions?query=workflow%3Anightly][https://github.com/casm-lang/libcasm-ir/workflows/nightly/badge.svg]]
[[https://codecov.io/gh/casm-lang/libcasm-ir][https://codecov.io/gh/casm-lang/libcasm-ir/badge.svg]]
[[https://github.com/casm-lang/libcasm-ir/tags][https://img.shields.io/github/tag/casm-lang/libcasm-ir.svg?logo=github&sort=semver]]
[[https://github.com/casm-lang/libcasm-ir/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-ir= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]])
and the used license of
=libcasm-ir= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3]]
with an additional Linking Exception (LE) permission.