Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
95 lines (88 sloc) 1.77 KB
name: iodine
version: 0.1.0.0
github: "gokhankici/iodine"
license: MIT
author: "Rami Gokhan Kici"
maintainer: "gokhankici@gmail.com"
copyright: "2018 Rami Gokhan Kici"
extra-source-files:
- README.md
- ChangeLog.md
synopsis: Generates the transition relation & verification conditions from a Verilog IR
category: Hardware Verification
description: Please see the README on Github at <https://github.com/gokhankici/iodine#readme>
dependencies:
- base >= 4.7 && < 5
- array
- cmdargs
- containers
- directory
- filepath
- lens
- megaparsec
- mtl
- pretty
- process
- semigroups
- unordered-containers
- ansi-terminal
- liquid-fixpoint
- deepseq
- hashable
- fgl
- fgl-visualize
- cmdargs
- random
- text
- yaml
- aeson
- bytestring
library:
source-dirs: src
exposed-modules:
- Iodine.Runner
- Iodine.Utils
ghc-options:
- -Werror
- -O2
- -fdefer-type-errors
- -fwarn-incomplete-patterns
- -fwarn-incomplete-record-updates
- -fwarn-incomplete-uni-patterns
- -fwarn-missing-signatures
- -fwarn-name-shadowing
- -fwarn-orphans
- -fwarn-overlapping-patterns
- -fwarn-redundant-constraints
- -fwarn-tabs
- -fwarn-unused-binds
- -fwarn-unused-imports
- -fwarn-unused-matches
executables:
iodine:
main: Main.hs
source-dirs: app
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
- -Wall
- -Werror
- -O2
dependencies:
- iodine
tests:
iodine-test:
main: Test.hs
source-dirs: test
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
- -Wall
- -Werror
- -O2
dependencies:
- iodine
- hspec
- hspec-core
You can’t perform that action at this time.