atsiser 0.1.0

Wrap C codebases in ATS linear types for zero-cost memory safety without rewrites
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- family-names: "{{AUTHOR_LAST}}"
  given-names: "{{AUTHOR_FIRST}}"
  orcid: "https://orcid.org/0000-0000-0000-0000" # Placeholder
title: "{{PROJECT_NAME}}"
version: 0.1.0
date-released: {{CURRENT_DATE}}
url: "https://{{FORGE}}/{{OWNER}}/{{REPO}}"
repository-code: "https://{{FORGE}}/{{OWNER}}/{{REPO}}"
license: PMPL-1.0-or-later
keywords:
  - "rsr"
  - "formal-verification"
  - "neurosymbolic"
  - "provenance"