Skip to content

Commit 68cfb28

Browse files
author
IOHK
committed
Automatic Update
1 parent 5a3e431 commit 68cfb28

File tree

38 files changed

+2013
-4
lines changed

38 files changed

+2013
-4
lines changed

‎hackage/copilot-bluespec-4.0-r0-53f728ada272a3f6aea56dcc099e00a4ac79803d59923e6fa4790321bbbce017.nix

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "copilot-bluespec"; version = "4.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Ryan Scott <[email protected]>";
18+
author = "Frank Dedden\n, Alwyn Goodloe\n, Ivan Perez\n, Ryan Scott";
19+
homepage = "https://copilot-language.github.io";
20+
url = "";
21+
synopsis = "A compiler for Copilot targeting FPGAs.";
22+
description = "This package is a back-end from Copilot to FPGAs in Bluespec.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell. Copilot contains an interpreter, multiple back-end compilers, and\nother verification tools.\n\nA tutorial, examples, and other information are available at\n<https://copilot-language.github.io>.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
30+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
31+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
32+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
33+
(hsPkgs."language-bluespec" or (errorHandler.buildDepError "language-bluespec"))
34+
];
35+
buildable = true;
36+
};
37+
tests = {
38+
"tests" = {
39+
depends = [
40+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
41+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
42+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
43+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
44+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
45+
(hsPkgs."ieee754" or (errorHandler.buildDepError "ieee754"))
46+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
47+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
48+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
49+
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
50+
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
51+
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
52+
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
53+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
54+
(hsPkgs."copilot-bluespec" or (errorHandler.buildDepError "copilot-bluespec"))
55+
];
56+
buildable = true;
57+
};
58+
};
59+
};
60+
}

‎hackage/copilot-verifier-4.0-r0-93eb726e5ed156f0887f6a1541ac7caf1b173ee0a45d18f72814324984335047.nix

Lines changed: 161 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,161 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "2.2";
14+
identifier = { name = "copilot-verifier"; version = "4.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) Galois, Inc 2021-2024";
17+
maintainer = "[email protected]";
18+
author = "Galois Inc.";
19+
homepage = "";
20+
url = "";
21+
synopsis = "System for verifying the correctness of generated Copilot programs";
22+
description = "@copilot-verifier@ is an add-on to the [Copilot Stream\nDSL](https://copilot-language.github.io) for verifying the correctness of C\ncode generated by the @copilot-c99@ package.\n\n@copilot-verifier@ uses the [Crucible symbolic\nsimulator](https://github.com/galoisinc/crucible) to interpret the semantics\nof the generated C program and and to produce verification conditions\nsufficient to guarantee that the meaning of the generated program corresponds\nin a precise way to the meaning of the original stream specification. The\ngenerated verification conditions are then dispatched to SMT solvers to be\nautomatically solved.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
31+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
32+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
33+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
34+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
35+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
36+
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
37+
(hsPkgs."crucible-llvm" or (errorHandler.buildDepError "crucible-llvm"))
38+
(hsPkgs."crux" or (errorHandler.buildDepError "crux"))
39+
(hsPkgs."crux-llvm" or (errorHandler.buildDepError "crux-llvm"))
40+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
41+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
42+
(hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
43+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
44+
(hsPkgs."panic" or (errorHandler.buildDepError "panic"))
45+
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
46+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
47+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
48+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
49+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
50+
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
51+
];
52+
buildable = true;
53+
};
54+
sublibs = {
55+
"copilot-verifier-examples" = {
56+
depends = [
57+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
58+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
59+
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
60+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
61+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
62+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
63+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
64+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
65+
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
66+
(hsPkgs."crucible-llvm" or (errorHandler.buildDepError "crucible-llvm"))
67+
(hsPkgs."crux" or (errorHandler.buildDepError "crux"))
68+
(hsPkgs."crux-llvm" or (errorHandler.buildDepError "crux-llvm"))
69+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
70+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
71+
(hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
72+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
73+
(hsPkgs."panic" or (errorHandler.buildDepError "panic"))
74+
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
75+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
76+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
77+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
78+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
79+
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
80+
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
81+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
82+
(hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language"))
83+
(hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter"))
84+
(hsPkgs."copilot-verifier" or (errorHandler.buildDepError "copilot-verifier"))
85+
];
86+
buildable = true;
87+
};
88+
};
89+
exes = {
90+
"verify-examples" = {
91+
depends = [
92+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
93+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
94+
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
95+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
96+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
97+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
98+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
99+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
100+
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
101+
(hsPkgs."crucible-llvm" or (errorHandler.buildDepError "crucible-llvm"))
102+
(hsPkgs."crux" or (errorHandler.buildDepError "crux"))
103+
(hsPkgs."crux-llvm" or (errorHandler.buildDepError "crux-llvm"))
104+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
105+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
106+
(hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
107+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
108+
(hsPkgs."panic" or (errorHandler.buildDepError "panic"))
109+
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
110+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
111+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
112+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
113+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
114+
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
115+
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
116+
(hsPkgs."copilot-verifier" or (errorHandler.buildDepError "copilot-verifier"))
117+
(hsPkgs."copilot-verifier".components.sublibs.copilot-verifier-examples or (errorHandler.buildDepError "copilot-verifier:copilot-verifier-examples"))
118+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
119+
];
120+
buildable = true;
121+
};
122+
};
123+
tests = {
124+
"copilot-verifier-test" = {
125+
depends = [
126+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
127+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
128+
(hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
129+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
130+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
131+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
132+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
133+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
134+
(hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
135+
(hsPkgs."crucible-llvm" or (errorHandler.buildDepError "crucible-llvm"))
136+
(hsPkgs."crux" or (errorHandler.buildDepError "crux"))
137+
(hsPkgs."crux-llvm" or (errorHandler.buildDepError "crux-llvm"))
138+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
139+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
140+
(hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
141+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
142+
(hsPkgs."panic" or (errorHandler.buildDepError "panic"))
143+
(hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
144+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
145+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
146+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
147+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
148+
(hsPkgs."what4" or (errorHandler.buildDepError "what4"))
149+
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
150+
(hsPkgs."copilot-verifier" or (errorHandler.buildDepError "copilot-verifier"))
151+
(hsPkgs."copilot-verifier".components.sublibs.copilot-verifier-examples or (errorHandler.buildDepError "copilot-verifier:copilot-verifier-examples"))
152+
(hsPkgs."silently" or (errorHandler.buildDepError "silently"))
153+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
154+
(hsPkgs."tasty-expected-failure" or (errorHandler.buildDepError "tasty-expected-failure"))
155+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
156+
];
157+
buildable = true;
158+
};
159+
};
160+
};
161+
}

‎hackage/deepseq-1.5.1.0-r0-6adeff09469103c4e6cf94c2803d74ac1c652366250eacff97dea8415c3fb4ea.nix

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.12";
14+
identifier = { name = "deepseq"; version = "1.5.1.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Deep evaluation of data structures";
22+
description = "This package provides methods for fully evaluating data structures\n(\\\"deep evaluation\\\"). Deep evaluation is often used for adding\nstrictness to a program, e.g. in order to force pending exceptions,\nremove space leaks, or force lazy I/O to happen. It is also useful\nin parallel programs, to ensure pending work does not migrate to the\nwrong thread.\n\nThe primary use of this package is via the 'deepseq' function, a\n\\\"deep\\\" version of 'seq'. It is implemented on top of an 'NFData'\ntypeclass (\\\"Normal Form Data\\\", data structures with no unevaluated\ncomponents) which defines strategies for fully evaluating different\ndata types. See module documentation in \"Control.DeepSeq\" for more\ndetails.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.ge "9.0") (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"));
30+
buildable = true;
31+
};
32+
tests = {
33+
"test" = {
34+
depends = [
35+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
36+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
37+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
38+
];
39+
buildable = true;
40+
};
41+
};
42+
};
43+
}

‎hackage/doclayout-0.5-r0-36c81aa3849049588d46c3fb51cf23177e8cc08efab4bf0d0ed2fb0df764cc0e.nix

Lines changed: 68 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,68 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "doclayout"; version = "0.5"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2016-24 John MacFarlane";
17+
maintainer = "[email protected]";
18+
author = "John MacFarlane";
19+
homepage = "https://github.com/jgm/doclayout";
20+
url = "";
21+
synopsis = "A prettyprinting library for laying out text documents.";
22+
description = "doclayout is a prettyprinting library for laying out\ntext documents, with several features not present\nin prettyprinting libraries designed for code. It\nwas designed for use in pandoc.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."emojis" or (errorHandler.buildDepError "emojis"))
32+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
33+
(hsPkgs."safe" or (errorHandler.buildDepError "safe"))
34+
] ++ pkgs.lib.optional (!(compiler.isGhc && compiler.version.ge "8.0")) (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"));
35+
buildable = true;
36+
};
37+
tests = {
38+
"doclayout-test" = {
39+
depends = [
40+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
41+
(hsPkgs."doclayout" or (errorHandler.buildDepError "doclayout"))
42+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
43+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
44+
(hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden"))
45+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
46+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
47+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
48+
(hsPkgs."emojis" or (errorHandler.buildDepError "emojis"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
benchmarks = {
54+
"doclayout-bench" = {
55+
depends = [
56+
(hsPkgs."doclayout" or (errorHandler.buildDepError "doclayout"))
57+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
58+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
59+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
60+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
61+
(hsPkgs."emojis" or (errorHandler.buildDepError "emojis"))
62+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
63+
];
64+
buildable = true;
65+
};
66+
};
67+
};
68+
}

0 commit comments

Comments
 (0)