language-bluespec
Version 0.1 revision 0 uploaded by ryanglscott.
Package meta
- Synopsis
- An implementation of the Bluespec Haskell AST
- Description
This package contains an implementation of the Bluespec language's AST. In particular, this implements the Bluespec Haskell (BH) syntax, also known as Bluespec Classic. We may add support for the Bluespec SystemVerilog (BSV) syntax at a later date. To our knowledge, there is no formal grammar that describes the syntax of BH or BSV, so this package is based off of the code in the <https://github.com/B-Lang-org/bsc Bluespec compiler>. Although the Bluespec compiler is written in Haskell, it is not particularly simple to depend on the compiler as a library, so this package exists to extract out the relevant compiler code into a simple-to-use library.
- Author
- Galois, Inc.
- Bug reports
- https://github.com/GaloisInc/language-bluespec/issues
- Category
- Language
- Copyright
- (C) 2020-2022 Bluespec Inc., (C) 2022 Galois, Inc.
- Homepage
- https://github.com/GaloisInc/language-bluespec
- Maintainer
- Ryan Scott <rscott@galois.com>
- Package URL
- n/a
- Stability
- Experimental