https://github.com/mlabs-haskell/covenant
IR for Cardano scripts
https://github.com/mlabs-haskell/covenant
Last synced: over 1 year ago
JSON representation
IR for Cardano scripts
- Host: GitHub
- URL: https://github.com/mlabs-haskell/covenant
- Owner: mlabs-haskell
- License: apache-2.0
- Created: 2024-12-17T19:59:13.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-03-07T01:04:58.000Z (over 1 year ago)
- Last Synced: 2025-03-08T21:11:23.662Z (over 1 year ago)
- Language: Haskell
- Size: 229 KB
- Stars: 1
- Watchers: 4
- Forks: 1
- Open Issues: 17
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Covenant
# What is this?
# How do I use this?
# What do I need?
Our policy is to support the latest three GHC versions; see the Cabal file's
`tested-with` field to see which exact versions are supported. This is enforced
using `get-tested` in our CI.
We support only [Tier 1 platforms](https://gitlab.haskell.org/ghc/ghc/-/wikis/platforms#tier-1-platforms).
Covenant is developed using the lowest supported version.
# License
Covenant is licensed under Apache 2.0. Please see the `LICENSE` file for more
information.
# References
* [Catalyst proposal for
Covenant](https://projectcatalyst.io/funds/13/f13-cardano-open-developers/mlabs-static-analysis-with-covenant)