-
Notifications
You must be signed in to change notification settings - Fork 0
/
jasminv.cabal
72 lines (67 loc) · 2.67 KB
/
jasminv.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
Name: jasminv
Version: 0.0.1
Description: Jasmin Verification Tool
License: GPL
License-file: COPYING
Author: Cryptography and Information Security Group, HASLab - INESC TEC and Universidade do Minho
Maintainer: Hugo Pacheco <[email protected]>
Bug-reports: mailto:[email protected]
Stability: experimental
Homepage:
Category: Compiler, Cryptography, Language
Build-Type: Simple
Cabal-Version: >=1.6
Tested-with: GHC==8
Synopsis: Jasmin Verifier
Extra-Source-Files: README.md examples tests
Data-files: imports/*.dfy
Executable jasminv
Main-is: Main.hs
Other-Modules:
Language.Jasmin.Parser.Lexer
Hs-source-dirs: src
Build-Depends: timeit, largeword, sbv, posix-escape, filepath, process, split, text, shelly, containers, cmdargs, base, mtl, transformers, safe, digits, binary, bytestring, syb, array, hashable, parsec, parsec-numbers, pretty, deepseq, deepseq-generics, linguistic-ordinals >= 0.1.0.1
Build-Tools: alex
Library
exposed-modules:
Language.Jasmin.Parser.Parser
Language.Jasmin.Parser.Tokens
Language.Jasmin.Syntax
Language.Vars
Language.Jasmin.IO
Language.Jasmin.TypeChecker.TyInfo
Language.Jasmin.TypeChecker
Language.Jasmin.Transformation.Dafny
Language.Jasmin.Transformation.Simplify
Language.Jasmin.Transformation.VCGen
Language.Jasmin.Transformation.SBV
Language.Location
Language.Position
Text.Parsec.Exts
Text.PrettyPrint.Exts
Options
Utils
Data.Hashable.Exts
Data.SBV.Exts
Other-Modules:
Language.Jasmin.Parser.Lexer
Paths_jasminv
Hs-Source-Dirs: src
Build-Depends: timeit, largeword, sbv, posix-escape, filepath, process, split, text, shelly, containers, cmdargs, base, mtl, transformers, safe, digits, binary, bytestring, syb, array, hashable, parsec, parsec-numbers, pretty, deepseq, deepseq-generics, linguistic-ordinals >= 0.1.0.1
Build-Tools: alex
test-suite tests
type:
exitcode-stdio-1.0
ghc-options:
-Wall
hs-source-dirs:
tests
main-is:
Tests.hs
build-depends:
base
, HUnit
, filemanip
, hspec
, hspec-contrib
, hspec-core