Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Nov 8, 2023
1 parent 9e96360 commit b8bb626
Show file tree
Hide file tree
Showing 54 changed files with 1,852 additions and 0 deletions.
2 changes: 2 additions & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3876,6 +3876,8 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"configurator-export" = import ./nix/configurator-export.nix;
"configurator-ng" = import ./nix/configurator-ng.nix;
"configurator-pg" = import ./nix/configurator-pg.nix;
"conformance" = import ./nix/conformance.nix;
"conformance-gen" = import ./nix/conformance-gen.nix;
"confsolve" = import ./nix/confsolve.nix;
"congruence-relation" = import ./nix/congruence-relation.nix;
"conic-graphs" = import ./nix/conic-graphs.nix;
Expand Down
37 changes: 37 additions & 0 deletions ...e/basic-sop-0.3.0-r0-bcad2d61910c744622aec49661c84c76129711eee21ed55c288103925eae1324.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.24";
identifier = { name = "basic-sop"; version = "0.3.0"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "andres@well-typed.com";
author = "Edsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>";
homepage = "";
url = "";
synopsis = "Basic examples and functions for generics-sop";
description = "This library contains various small examples of generic functions\nwritten using the @<https://hackage.haskell.org/package/generics-sop generics-sop>@\nlibrary.\n\nIt is a good starting point if you want to see how generic functions\ncan be defined in the SOP style.\n";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
];
buildable = true;
};
};
}
34 changes: 34 additions & 0 deletions ...nformance-0.0.0.0-r0-e277b23d065d8dfff92616a9031d934c54ab6f181ba0d907474b798f0029373b.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.12";
identifier = { name = "conformance"; version = "0.0.0.0"; };
license = "MIT";
copyright = "";
maintainer = "Tom Sydney Kerckhove <syd@cs-syd.eu>";
author = "";
homepage = "";
url = "";
synopsis = "";
description = "An RFC 2119 Monad transformer";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
];
buildable = true;
};
};
}
34 changes: 34 additions & 0 deletions ...nformance-0.1.0.0-r0-1b49d587700200308608b39fcd59378c7522318309b43f136a687f4c480cacfa.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.12";
identifier = { name = "conformance"; version = "0.1.0.0"; };
license = "MIT";
copyright = "";
maintainer = "Tom Sydney Kerckhove <syd@cs-syd.eu>";
author = "";
homepage = "";
url = "";
synopsis = "";
description = "An RFC 2119 Monad transformer";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
];
buildable = true;
};
};
}
49 changes: 49 additions & 0 deletions ...mance-gen-0.0.0.0-r0-7d98b5a0f5b68bb20e13fb7d6830c0e0c59f1778e4d1c74a3075bab0fad47542.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.12";
identifier = { name = "conformance-gen"; version = "0.0.0.0"; };
license = "MIT";
copyright = "";
maintainer = "Tom Sydney Kerckhove <syd@cs-syd.eu>";
author = "";
homepage = "";
url = "";
synopsis = "";
description = "Testutils for conformance";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."conformance" or (errorHandler.buildDepError "conformance"))
(hsPkgs."sydtest" or (errorHandler.buildDepError "sydtest"))
];
buildable = true;
};
tests = {
"conformance-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."conformance" or (errorHandler.buildDepError "conformance"))
(hsPkgs."genvalidity-sydtest" or (errorHandler.buildDepError "genvalidity-sydtest"))
(hsPkgs."sydtest" or (errorHandler.buildDepError "sydtest"))
];
build-tools = [
(hsPkgs.buildPackages.sydtest-discover.components.exes.sydtest-discover or (pkgs.buildPackages.sydtest-discover or (errorHandler.buildToolDepError "sydtest-discover:sydtest-discover")))
];
buildable = true;
};
};
};
}
148 changes: 148 additions & 0 deletions hackage/copilot-3.17-r0-0d68444fd920bedfd6d82355cbdd53116df226178fc34de405c1c78761dea8a0.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,148 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { examples = false; };
package = {
specVersion = "1.10";
identifier = { name = "copilot"; version = "3.17"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Ivan Perez <ivan.perezdominguez@nasa.gov>";
author = "Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe, Ivan Perez";
homepage = "https://copilot-language.github.io";
url = "";
synopsis = "A stream DSL for writing embedded C programs.";
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>.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
(hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language"))
(hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
(hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter"))
];
buildable = true;
};
exes = {
"what4-propositional" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"what4-arithmetic" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"what4-structs" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"wcv" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"addmult" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"array" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
"cast" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
"clock" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"counter" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = if flags.examples then true else false;
};
"engine" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
"heater" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = if flags.examples then true else false;
};
"structs" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = if flags.examples then true else false;
};
"voting" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
};
};
}
60 changes: 60 additions & 0 deletions .../copilot-c99-3.17-r0-aab645f0439af7b844e3f47e9dca4a17692be6c18c50ed8bfe8ffce169403e53.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,60 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "copilot-c99"; version = "3.17"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Ivan Perez <ivan.perezdominguez@nasa.gov>";
author = "Frank Dedden\n, Alwyn Goodloe\n, Ivan Perez";
homepage = "https://copilot-language.github.io";
url = "";
synopsis = "A compiler for Copilot targeting C99.";
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>.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."language-c99" or (errorHandler.buildDepError "language-c99"))
(hsPkgs."language-c99-simple" or (errorHandler.buildDepError "language-c99-simple"))
];
buildable = true;
};
tests = {
"unit-tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit b8bb626

Please sign in to comment.