Skip to content

Commit 8e907f7

Browse files
author
IOHK
committed
Automatic Update
1 parent 4011dde commit 8e907f7

File tree

58 files changed

+2426
-1
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

58 files changed

+2426
-1
lines changed

‎hackage/AspectAG-0.8.0.0-r0-10ddbfe422d0cdbe0c98988f30274ba2f60fc5fd5b7195924975db9723369756.nix

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "AspectAG"; version = "0.8.0.0"; };
15+
license = "GPL-2.0-or-later";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Juan García-Garland, Marcos Viera, Alberto Pardo";
19+
homepage = "";
20+
url = "";
21+
synopsis = "First-class Attribute Grammars implemented using type-level programming.";
22+
description = "";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."poly-rec" or (errorHandler.buildDepError "poly-rec"))
30+
(hsPkgs."requirements" or (errorHandler.buildDepError "requirements"))
31+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
32+
];
33+
buildable = true;
34+
};
35+
tests = {
36+
"AspectAG2-test" = {
37+
depends = [
38+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
39+
(hsPkgs."AspectAG" or (errorHandler.buildDepError "AspectAG"))
40+
(hsPkgs."poly-rec" or (errorHandler.buildDepError "poly-rec"))
41+
(hsPkgs."requirements" or (errorHandler.buildDepError "requirements"))
42+
];
43+
buildable = true;
44+
};
45+
};
46+
};
47+
}

‎hackage/copilot-4.1-r0-1a9cddfe8c85dc77c36f331619077a0e7fdff5b233256823189d2a67dd216d9b.nix

Lines changed: 156 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,156 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { examples = false; };
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "copilot"; version = "4.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Ivan Perez <[email protected]>";
18+
author = "Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe, Ivan Perez";
19+
homepage = "https://copilot-language.github.io";
20+
url = "";
21+
synopsis = "A stream DSL for writing embedded C programs.";
22+
description = "Copilot is a stream-based runtime verification framework implemented as an\nembedded domain-specific language (EDSL) in Haskell. Programs can be\ninterpreted for testing, or translated into C99 code to be incorporated in a\nproject, or as a standalone application. The C99 backend output is constant\nin memory and time, making it suitable for systems with hard realtime\nrequirements.\n\nThis package is the main entry-point for using Copilot.\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."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
30+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
31+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
32+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
33+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
34+
(hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language"))
35+
(hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries"))
36+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
37+
(hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter"))
38+
];
39+
buildable = true;
40+
};
41+
exes = {
42+
"what4-propositional" = {
43+
depends = [
44+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
45+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
46+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
47+
];
48+
buildable = if flags.examples then true else false;
49+
};
50+
"what4-arithmetic" = {
51+
depends = [
52+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
53+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
54+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
55+
];
56+
buildable = if flags.examples then true else false;
57+
};
58+
"what4-structs" = {
59+
depends = [
60+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
61+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
62+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
63+
];
64+
buildable = if flags.examples then true else false;
65+
};
66+
"wcv" = {
67+
depends = [
68+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
69+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
70+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
71+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
72+
];
73+
buildable = if flags.examples then true else false;
74+
};
75+
"addmult" = {
76+
depends = [
77+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
78+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
79+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
80+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
81+
];
82+
buildable = if flags.examples then true else false;
83+
};
84+
"array" = {
85+
depends = [
86+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
87+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
88+
];
89+
buildable = if flags.examples then true else false;
90+
};
91+
"cast" = {
92+
depends = [
93+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
94+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
95+
];
96+
buildable = if flags.examples then true else false;
97+
};
98+
"clock" = {
99+
depends = [
100+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
101+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
102+
(hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries"))
103+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
104+
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
105+
];
106+
buildable = if flags.examples then true else false;
107+
};
108+
"counter" = {
109+
depends = [
110+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
111+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
112+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
113+
];
114+
buildable = if flags.examples then true else false;
115+
};
116+
"engine" = {
117+
depends = [
118+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
119+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
120+
];
121+
buildable = if flags.examples then true else false;
122+
};
123+
"heater" = {
124+
depends = [
125+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
126+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
127+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
128+
];
129+
buildable = if flags.examples then true else false;
130+
};
131+
"structs" = {
132+
depends = [
133+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
134+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
135+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
136+
];
137+
buildable = if flags.examples then true else false;
138+
};
139+
"structs-update-field" = {
140+
depends = [
141+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
142+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
143+
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
144+
];
145+
buildable = if flags.examples then true else false;
146+
};
147+
"voting" = {
148+
depends = [
149+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
150+
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
151+
];
152+
buildable = if flags.examples then true else false;
153+
};
154+
};
155+
};
156+
}

‎hackage/copilot-bluespec-4.1-r0-db80d7bd66622427b66bf430f2e88fa9eca32dcc828768faee0a86c051809a03.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.1"; };
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-c99-4.1-r0-a5e97db63415c8ffa17add832a13d6456996989a2ab9b0324f0ece8ea1baa806.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-c99"; version = "4.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Ivan Perez <[email protected]>";
18+
author = "Frank Dedden\n, Alwyn Goodloe\n, Ivan Perez";
19+
homepage = "https://copilot-language.github.io";
20+
url = "";
21+
synopsis = "A compiler for Copilot targeting C99.";
22+
description = "This package is a back-end from Copilot to C.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other 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."mtl" or (errorHandler.buildDepError "mtl"))
32+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
33+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
34+
(hsPkgs."language-c99" or (errorHandler.buildDepError "language-c99"))
35+
(hsPkgs."language-c99-simple" or (errorHandler.buildDepError "language-c99-simple"))
36+
];
37+
buildable = true;
38+
};
39+
tests = {
40+
"unit-tests" = {
41+
depends = [
42+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
43+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
44+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
45+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
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-c99" or (errorHandler.buildDepError "copilot-c99"))
55+
];
56+
buildable = true;
57+
};
58+
};
59+
};
60+
}

‎hackage/copilot-core-4.1-r0-5c88316471f5b17f7faee6f1ea7381b88a5aac194efb1b8d84eb4145a9a0e0fd.nix

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
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-core"; version = "4.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Ivan Perez <[email protected]>";
18+
author = "Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,\nSebastian Niller, Nis Nordbyop Wegmann, Ivan Perez";
19+
homepage = "https://copilot-language.github.io";
20+
url = "";
21+
synopsis = "An intermediate representation for Copilot.";
22+
description = "Intermediate representation for Copilot.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other 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 = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
28+
buildable = true;
29+
};
30+
tests = {
31+
"unit-tests" = {
32+
depends = [
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
35+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
36+
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
37+
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
38+
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
39+
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
40+
];
41+
buildable = true;
42+
};
43+
};
44+
};
45+
}

0 commit comments

Comments
 (0)