{"id":19531151,"url":"https://github.com/casm-lang/libcasm-tc","last_synced_at":"2026-06-18T07:31:45.092Z","repository":{"id":44897380,"uuid":"55990423","full_name":"casm-lang/libcasm-tc","owner":"casm-lang","description":"CASM Unit/Integration Test Cases and Example Applications","archived":false,"fork":false,"pushed_at":"2024-01-29T20:35:00.000Z","size":3286,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-02-26T03:19:36.192Z","etag":null,"topics":["benchmarks","casm","examples","library","test-cases"],"latest_commit_sha":null,"homepage":"https://casm-lang.org/libcasm/tc","language":"C++","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/casm-lang.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2016-04-11T16:51:45.000Z","updated_at":"2024-02-06T15:11:16.000Z","dependencies_parsed_at":"2023-02-18T17:00:26.705Z","dependency_job_id":null,"html_url":"https://github.com/casm-lang/libcasm-tc","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/casm-lang/libcasm-tc","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibcasm-tc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibcasm-tc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibcasm-tc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibcasm-tc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/casm-lang","download_url":"https://codeload.github.com/casm-lang/libcasm-tc/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibcasm-tc/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34481291,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-18T02:00:06.871Z","response_time":128,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["benchmarks","casm","examples","library","test-cases"],"created_at":"2024-11-11T01:41:19.086Z","updated_at":"2026-06-18T07:31:45.086Z","avatar_url":"https://github.com/casm-lang.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# \n#   Copyright (C) 2014-2024 CASM Organization \u003chttps://casm-lang.org\u003e\n#   All rights reserved.\n# \n#   Developed by: Philipp Paulweber et al.\n#   \u003chttps://github.com/casm-lang/libcasm-tc/graphs/contributors\u003e\n# \n#   This file is part of libcasm-tc.\n# \n#   libcasm-tc is free software: you can redistribute it and/or modify\n#   it under the terms of the GNU General Public License as published by\n#   the Free Software Foundation, either version 3 of the License, or\n#   (at your option) any later version.\n# \n#   libcasm-tc is distributed in the hope that it will be useful,\n#   but WITHOUT ANY WARRANTY; without even the implied warranty of\n#   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\n#   GNU General Public License for more details.\n# \n#   You should have received a copy of the GNU General Public License\n#   along with libcasm-tc. If not, see \u003chttp://www.gnu.org/licenses/\u003e.\n# \n#   Additional permission under GNU GPL version 3 section 7\n# \n#   libcasm-tc is distributed under the terms of the GNU General Public License\n#   with the following clarification and special exception: Linking libcasm-tc\n#   statically or dynamically with other modules is making a combined work\n#   based on libcasm-tc. Thus, the terms and conditions of the GNU General\n#   Public License cover the whole combination. As a special exception,\n#   the copyright holders of libcasm-tc give you permission to link libcasm-tc\n#   with independent modules to produce an executable, regardless of the\n#   license terms of these independent modules, and to copy and distribute\n#   the resulting executable under terms of your choice, provided that you\n#   also meet, for each linked independent module, the terms and conditions\n#   of the license of that module. An independent module is a module which\n#   is not derived from or based on libcasm-tc. If you modify libcasm-tc, you\n#   may extend this exception to your version of the library, but you are\n#   not obliged to do so. If you do not wish to do so, delete this exception\n#   statement from your version.\n# \n\n#+begin_html\n\u003ch4\u003e\n⚠️\nThis repository has been archived and its development work moved to the\n\u003ca href=\"https://github.com/sealangdotorg/sea\"\u003eSEA language\u003c/a\u003e project.\n\u003chr\u003e\n\u003c/h4\u003e\n#+end_html\n\n[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]\n\n#+options: toc:nil\n\n\n* libcasm-tc: CASM Example Application and Test Case Library\n\n[[https://github.com/casm-lang/casm/discussions/categories/q-a][https://img.shields.io/badge/discussion-Q\u0026A-blue.svg?logo=github]]\n[[https://github.com/casm-lang/libcasm-tc/actions?query=workflow%3Abuild][https://github.com/casm-lang/libcasm-tc/workflows/build/badge.svg]]\n[[https://github.com/casm-lang/libcasm-tc/actions?query=workflow%3Anightly][https://github.com/casm-lang/libcasm-tc/workflows/nightly/badge.svg]]\n[[https://codecov.io/gh/casm-lang/libcasm-tc][https://codecov.io/gh/casm-lang/libcasm-tc/badge.svg]]\n[[https://github.com/casm-lang/libcasm-tc/tags][https://img.shields.io/github/tag/casm-lang/libcasm-tc.svg?logo=github\u0026sort=semver]]\n[[https://github.com/casm-lang/libcasm-tc/blob/master/LICENSE.txt][https://img.shields.io/badge/license-GPLv3%2BLE-blue.svg?logo=gnu]]\n\n\nThis repository contains CASM specifications for example test applications, unit tests, and integration tests.\n\n\n** File Structure\n\n- =application= :: contains various applications\n- =benchmark= :: contains benchmarks etc.\n- =test= :: contains unit test-cases/integration tests etc.\n\n\n** Copyright and License\n\nThe copyright holder of \n=libcasm-tc= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]]) \nand the used license of \n=libcasm-tc= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3]]\nwith an additional Linking Exception (LE) permission.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcasm-lang%2Flibcasm-tc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcasm-lang%2Flibcasm-tc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcasm-lang%2Flibcasm-tc/lists"}