-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathParaiso.cabal
211 lines (178 loc) · 8.9 KB
/
Paraiso.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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
-- Paraiso.cabal auto-generated by cabal init. For additional options,
-- see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
-- cabal cheatsheet
-- cabal init : initialize .cabal
-- cabal check : detect format error
-- cabal haddock : create haddock documentation
-- cabal sdist : create tarball
-- cabal upload dist/Paraiso-....tar.gz : hackage debut!
-- The name of the package.
Name: Paraiso
-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version: 0.3.1.5
Tested-With: GHC==8.0.1,GHC==7.4.1
-- A short (one-line) description of the package.
Synopsis: a code generator for partial differential equations solvers.
-- A longer description of the package.
Description: The purpose of this project is to design a high-level language
for implementing explicit partial-differential equations solvers
on supercomputers as well as today’s advanced personal
computers.
A language to describe the knowledge on algebraic concepts,
physical equations, integration algorithms, optimization
techniques, and hardware designs --- all the necessaries of the
simulations in abstract, modular, re-usable and combinable forms.
.
> How to use
.
The module "Language.Paraiso.OM.Builder" contains the
@Builder@ monad, its typeclass instance declarations and
functions that can be used to build Paraiso
programs. Reserved words are @load@, @store@, @imm@,
@loadIndex@, @loadSize@, @shift@, @reduce@ and
@broadcast@.
.
Paraiso frontend uses "Data.Tensor.Typelevel"
<http://hackage.haskell.org/package/typelevel-tensor>,
the library for tensor calculus of
arbitrary rank and dimension. @Vector@ and @Axis@ are two main
concepts. The type @Vector@ represents rank-1 tensor, and tensors
of higher ranks are recursively defined as @Vector@ of
@Vector@s. With @Axis@ you can refer to the components of
@Vector@s, compose them, or contract them. See the wiki
<http://www.paraiso-lang.org/wiki/> and the paper
<http://arxiv.org/abs/1204.4779> for more detail. Examples
are in <https://github.com/nushio3/Paraiso/tree/master/examples>.
.
* 0.3.1.5 : Catch up to stack lts-3.16/ghc 7.10.2, thanks to Justus Sagemüller's patch!
.
* 0.3.0.0 /Doughnut/ : refined interface and support for cyclic boundary conditions.
.
* 0.2.0.0 /Companion/ : genetic algorithm support for automated tuning.
.
* 0.1.0.0 /Binary/ : enhanced backend, code generator for OpenMP and CUDA
.
* 0.0.0.0 /Atmosphere/ : code generator for single CPU
-- URL for the project homepage or repository.
Homepage: http://www.paraiso-lang.org/wiki/index.php/Main_Page
-- The license under which the package is released.
License: BSD3
-- The file containing the license text.
License-file: LICENSE
-- The package author(s).
Author: Takayuki Muranushi
-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer: muranushi@gmail.com
-- A copyright notice.
-- Copyright:
Category: Language
Build-type: Simple
-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:
-- Constraint on the version of Cabal needed to build this package.
Cabal-version: >=1.10
flag test
description: Build the executable to run unit tests
default: True
Library
-- Modules exported by the library.
Exposed-modules: Language.Paraiso
Language.Paraiso.Annotation
Language.Paraiso.Annotation.Allocation
Language.Paraiso.Annotation.Balloon
Language.Paraiso.Annotation.Boundary
Language.Paraiso.Annotation.Comment
Language.Paraiso.Annotation.Dependency
Language.Paraiso.Annotation.Execution
Language.Paraiso.Annotation.SyncThreads
Language.Paraiso.Failure
Language.Paraiso.Generator
Language.Paraiso.Generator.Claris
Language.Paraiso.Generator.ClarisTrans
Language.Paraiso.Generator.Native
Language.Paraiso.Generator.OMTrans
Language.Paraiso.Generator.Plan
Language.Paraiso.Generator.PlanTrans
Language.Paraiso.Interval
Language.Paraiso.Name
Language.Paraiso.OM
Language.Paraiso.OM.Arithmetic
Language.Paraiso.OM.Builder
Language.Paraiso.OM.Builder.Boolean
Language.Paraiso.OM.Builder.Internal
Language.Paraiso.OM.DynValue
Language.Paraiso.OM.Graph
Language.Paraiso.OM.PrettyPrint
Language.Paraiso.OM.Realm
Language.Paraiso.OM.Reduce
Language.Paraiso.OM.Value
Language.Paraiso.Optimization
Language.Paraiso.Optimization.BoundaryAnalysis
Language.Paraiso.Optimization.DeadCodeElimination
Language.Paraiso.Optimization.DecideAllocation
Language.Paraiso.Optimization.DependencyAnalysis
Language.Paraiso.Optimization.Graph
Language.Paraiso.Optimization.Identity
Language.Paraiso.Orthotope
Language.Paraiso.PiSystem
Language.Paraiso.Prelude
Language.Paraiso.Tuning.Genetic
-- Packages needed in order to build this package.
Build-depends: array >= 0.2 ,
base == 4.* ,
containers >= 0.4.0 ,
failure >= 0.1.0 ,
directory >= 1.0 ,
filepath >= 1.2.0 ,
fgl >= 5.4.2 ,
--ListLike >= 3.1.1 ,
--listlike-instances >= 0.1 ,
mtl >= 2.0.1 ,
numeric-prelude >= 0.2 ,
random >= 1.0.0 ,
text >= 0.11.1 ,
typelevel-tensor >= 0.1 && <1,
vector >= 0.7.1
-- Modules not exported by this package.
-- Other-modules:
-- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-- Build-tools:
ghc-options: -Wall -O2 -fspec-constr-count=25
Default-Language: Haskell2010
source-repository head
type: git
location: https://github.com/nushio3/Paraiso
test-suite runtests
type: exitcode-stdio-1.0
Build-depends: array >= 0.2 ,
base == 4.* ,
containers >= 0.4.0 ,
directory >= 1.0 ,
filepath >= 1.2.0 ,
fgl >= 5.4.2 ,
-- ListLike >= 3.1.1 ,
-- listlike-instances >= 0.1 ,
mtl >= 2.0.1 ,
numeric-prelude >= 0.2 ,
process,
repa ,
random >= 1.0.0 ,
text >= 0.11.1 ,
typelevel-tensor >= 0.1.1 && <1 ,
vector >= 0.7.1 ,
test-framework,
test-framework-quickcheck2,
test-framework-hunit,
HUnit,
QuickCheck >= 2
main-is: runtests.hs
other-modules: Test.Paraiso.Annotation
Test.Paraiso.Claris
Test.Paraiso.QuickCheckItself
ghc-options: -Wall -O3 -fspec-constr-count=25
Default-Language: Haskell2010