this repo has no description
Merge pull request #26103 from Gbury/release-dolmen-v0.10
[new release] dolmen (6 packages) (0.10)
authored by
Anil Madhavapeddy
and committed by
GitHub
795f80f1
086b479b
+244
-9
+3
-3
packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam
+3
-3
packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam
···
17
17
"ocaml" {>= "4.08.0"}
18
18
"dune" {>= "3.0"}
19
19
"dune-build-info"
20
-
"dolmen" {>= "0.9"}
21
-
"dolmen_type" {>= "0.9"}
22
-
"dolmen_loop" {>= "0.9"}
20
+
"dolmen" {>= "0.9" & < "0.10" }
21
+
"dolmen_type" {>= "0.9" & < "0.10" }
22
+
"dolmen_loop" {>= "0.9" & < "0.10" }
23
23
"ocplib-simplex" {>= "0.5"}
24
24
"zarith" {>= "1.11"}
25
25
"seq"
+3
-3
packages/alt-ergo-lib/alt-ergo-lib.2.5.1/opam
+3
-3
packages/alt-ergo-lib/alt-ergo-lib.2.5.1/opam
···
15
15
"ocaml" {>= "4.08.0"}
16
16
"dune" {>= "3.0"}
17
17
"dune-build-info"
18
-
"dolmen" {>= "0.9"}
19
-
"dolmen_type" {>= "0.9"}
20
-
"dolmen_loop" {>= "0.9"}
18
+
"dolmen" {>= "0.9" & < "0.10" }
19
+
"dolmen_type" {>= "0.9" & < "0.10" }
20
+
"dolmen_loop" {>= "0.9" & < "0.10" }
21
21
"ocplib-simplex" {>= "0.5"}
22
22
"zarith" {>= "1.11"}
23
23
"seq"
+3
-3
packages/alt-ergo-lib/alt-ergo-lib.2.5.2/opam
+3
-3
packages/alt-ergo-lib/alt-ergo-lib.2.5.2/opam
···
15
15
"ocaml" {>= "4.08.0"}
16
16
"dune" {>= "3.0"}
17
17
"dune-build-info"
18
-
"dolmen" {>= "0.9"}
19
-
"dolmen_type" {>= "0.9"}
20
-
"dolmen_loop" {>= "0.9"}
18
+
"dolmen" {>= "0.9" & < "0.10" }
19
+
"dolmen_type" {>= "0.9" & < "0.10" }
20
+
"dolmen_loop" {>= "0.9" & < "0.10" }
21
21
"ocplib-simplex" {>= "0.5"}
22
22
"zarith" {>= "1.11"}
23
23
"seq"
+51
packages/dolmen/dolmen.0.10/opam
+51
packages/dolmen/dolmen.0.10/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
3
+
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "subst"] {dev}
7
+
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
8
+
]
9
+
depends: [
10
+
"ocaml" {>= "4.08"}
11
+
"menhir" {>= "20211230" }
12
+
"dune" { >= "3.0" }
13
+
"fmt" { >= "0.8.7" }
14
+
"hmap" { >= "0.8.1" }
15
+
"seq"
16
+
"odoc" { with-doc }
17
+
"qcheck" { with-test & >= "0.20" }
18
+
"mdx" { with-test & >= "2.0.0" }
19
+
]
20
+
21
+
tags: [ "parser" "logic" "tptp" "smtlib" "dimacs" ]
22
+
homepage: "https://github.com/Gbury/dolmen"
23
+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
24
+
bug-reports: "https://github.com/Gbury/dolmen/issues"
25
+
26
+
doc: "https://gbury.github.io/dolmen"
27
+
synopsis: "A parser library for automated deduction"
28
+
description:
29
+
"Dolmen aims at providing tools to help in writing programs in the field of theorem proving,
30
+
SMT solving, and model checking. The project includes a few libraries, a CLI binary and an
31
+
LSP server, split over several opam packages.
32
+
33
+
This is the Dolmen parser library. It currently targets languages used in automated theorem provers,
34
+
as well as model checking, and may be extended to other domains later.
35
+
36
+
Dolmen provides functors that takes as arguments a representation of terms and statements,
37
+
and returns a module that can parse files (or streams of tokens) into the provided representation
38
+
of terms or statements. This is meant so that Dolmen can be used as a drop-in replacement of existing
39
+
parser, in order to factorize parsers among projects.
40
+
41
+
Additionally, Dolmen also provides a standard implementation of terms and statements that can be
42
+
used to instantiate its parsers."
43
+
url {
44
+
src:
45
+
"https://github.com/Gbury/dolmen/releases/download/v0.10/dolmen-0.10.tbz"
46
+
checksum: [
47
+
"sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61"
48
+
"sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f"
49
+
]
50
+
}
51
+
x-commit-hash: "c33632daab31fb3bb719031169baa6c984bb860f"
+42
packages/dolmen_bin/dolmen_bin.0.10/opam
+42
packages/dolmen_bin/dolmen_bin.0.10/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
3
+
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "subst"] {dev}
7
+
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
8
+
]
9
+
depends: [
10
+
"ocaml" {>= "4.02.3"}
11
+
"dolmen" {= version }
12
+
"dolmen_type" {= version }
13
+
"dolmen_loop" {= version }
14
+
"dolmen_model" {= version }
15
+
"dune" { >= "3.0" }
16
+
"fmt"
17
+
"cmdliner" { >= "1.1.0" }
18
+
"odoc" { with-doc }
19
+
]
20
+
depopts: [
21
+
"memtrace"
22
+
]
23
+
tags: [ "logic" "computation" "automated theorem prover" "logic" "smtlib" "tptp"]
24
+
homepage: "https://github.com/Gbury/dolmen"
25
+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
26
+
bug-reports: "https://github.com/Gbury/dolmen/issues"
27
+
28
+
doc: "https://gbury.github.io/dolmen"
29
+
synopsis: "A linter for logic languages"
30
+
description:
31
+
"The dolmen binary is an instantiation of the Dolmen library
32
+
to provide a binary to easily parse and type files used in
33
+
automated deduction, as well as verify models from theorem solvers."
34
+
url {
35
+
src:
36
+
"https://github.com/Gbury/dolmen/releases/download/v0.10/dolmen-0.10.tbz"
37
+
checksum: [
38
+
"sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61"
39
+
"sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f"
40
+
]
41
+
}
42
+
x-commit-hash: "c33632daab31fb3bb719031169baa6c984bb860f"
+38
packages/dolmen_loop/dolmen_loop.0.10/opam
+38
packages/dolmen_loop/dolmen_loop.0.10/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
3
+
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "subst"] {dev}
7
+
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
8
+
]
9
+
depends: [
10
+
"ocaml" {>= "4.02.3"}
11
+
"dolmen" {= version }
12
+
"dolmen_type" {= version }
13
+
"dune" { >= "3.0" }
14
+
"gen"
15
+
"pp_loc" { >= "2.0.0" }
16
+
"odoc" { with-doc }
17
+
"mdx" { with-test & >= "2.0.0" }
18
+
]
19
+
tags: [ "logic" "computation" "automated theorem prover" ]
20
+
homepage: "https://github.com/Gbury/dolmen"
21
+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
22
+
bug-reports: "https://github.com/Gbury/dolmen/issues"
23
+
24
+
doc: "https://gbury.github.io/dolmen"
25
+
synopsis: "A tool library for automated deduction tools"
26
+
description:
27
+
"Dolmen Loop is a library of useful helpers to parse
28
+
and loop over statements found in automated deduction files."
29
+
url {
30
+
src:
31
+
"https://github.com/Gbury/dolmen/releases/download/v0.10/dolmen-0.10.tbz"
32
+
checksum: [
33
+
"sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61"
34
+
"sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f"
35
+
]
36
+
}
37
+
x-commit-hash: "c33632daab31fb3bb719031169baa6c984bb860f"
38
+
+37
packages/dolmen_lsp/dolmen_lsp.0.10/opam
+37
packages/dolmen_lsp/dolmen_lsp.0.10/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
3
+
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "subst"] {dev}
7
+
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
8
+
]
9
+
depends: [
10
+
"ocaml" {>= "4.02.3"}
11
+
"dolmen" {= version }
12
+
"dolmen_type" {= version }
13
+
"dolmen_loop" { = version }
14
+
"dune" { >= "3.0" }
15
+
"ocaml-syntax-shims"
16
+
"odoc" { with-doc }
17
+
"logs"
18
+
"lsp"
19
+
"linol" { >= "0.4" & < "0.5" }
20
+
"linol-lwt" { >= "0.4" & < "0.5" }
21
+
]
22
+
tags: [ "logic" "computation" "automated theorem prover" "lsp" "language server protocol"]
23
+
homepage: "https://github.com/Gbury/dolmen"
24
+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
25
+
bug-reports: "https://github.com/Gbury/dolmen/issues"
26
+
27
+
doc: "https://gbury.github.io/dolmen"
28
+
synopsis: "A LSP server for automated deduction languages"
29
+
url {
30
+
src:
31
+
"https://github.com/Gbury/dolmen/releases/download/v0.10/dolmen-0.10.tbz"
32
+
checksum: [
33
+
"sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61"
34
+
"sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f"
35
+
]
36
+
}
37
+
x-commit-hash: "c33632daab31fb3bb719031169baa6c984bb860f"
+35
packages/dolmen_model/dolmen_model.0.10/opam
+35
packages/dolmen_model/dolmen_model.0.10/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
3
+
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "subst"] {dev}
7
+
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
8
+
]
9
+
depends: [
10
+
"ocaml" {>= "4.02.3"}
11
+
"dolmen" {= version }
12
+
"dolmen_loop" {= version }
13
+
"dune" { >= "3.0" }
14
+
"odoc" { with-doc }
15
+
"zarith" { >= "1.10" }
16
+
"farith"
17
+
]
18
+
tags: [ "logic" "type" "model" "modelchecking" "first order" ]
19
+
homepage: "https://github.com/Gbury/dolmen"
20
+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
21
+
bug-reports: "https://github.com/Gbury/dolmen/issues"
22
+
23
+
doc: "https://gbury.github.io/dolmen"
24
+
synopsis:
25
+
"The Dolmen library for verifying models generated by
26
+
automated theorem provers and SMT solvers"
27
+
url {
28
+
src:
29
+
"https://github.com/Gbury/dolmen/releases/download/v0.10/dolmen-0.10.tbz"
30
+
checksum: [
31
+
"sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61"
32
+
"sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f"
33
+
]
34
+
}
35
+
x-commit-hash: "c33632daab31fb3bb719031169baa6c984bb860f"
+32
packages/dolmen_type/dolmen_type.0.10/opam
+32
packages/dolmen_type/dolmen_type.0.10/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Guillaume Bury <guillaume.bury@gmail.com>"
3
+
authors: "Guillaume Bury <guillaume.bury@gmail.com>"
4
+
license: "BSD-2-Clause"
5
+
build: [
6
+
["dune" "subst"] {dev}
7
+
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc}]
8
+
]
9
+
depends: [
10
+
"ocaml" {>= "4.02.3"}
11
+
"dolmen" {= version }
12
+
"dune" { >= "3.0" }
13
+
"spelll" { >= "0.4" }
14
+
"uutf"
15
+
"odoc" { with-doc }
16
+
]
17
+
tags: [ "logic" "type" "typechecking" "first order" "polymorphism" ]
18
+
homepage: "https://github.com/Gbury/dolmen"
19
+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
20
+
bug-reports: "https://github.com/Gbury/dolmen/issues"
21
+
22
+
doc: "https://gbury.github.io/dolmen"
23
+
synopsis: "The Dolmen library for typechecking languages"
24
+
url {
25
+
src:
26
+
"https://github.com/Gbury/dolmen/releases/download/v0.10/dolmen-0.10.tbz"
27
+
checksum: [
28
+
"sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61"
29
+
"sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f"
30
+
]
31
+
}
32
+
x-commit-hash: "c33632daab31fb3bb719031169baa6c984bb860f"