Skip to content

Commit 795f80f

Browse files
avsmavsm
authored
Merge pull request #26103 from Gbury/release-dolmen-v0.10
[new release] dolmen (6 packages) (0.10)
2 parents 086b479 + 6aa206a commit 795f80f

File tree

9 files changed

+244
-9
lines changed
  • packages
    • alt-ergo-lib
      • alt-ergo-lib.2.5.0
      • alt-ergo-lib.2.5.1
      • alt-ergo-lib.2.5.2
    • dolmen_bin/dolmen_bin.0.10
    • dolmen_loop/dolmen_loop.0.10
    • dolmen_lsp/dolmen_lsp.0.10
    • dolmen_model/dolmen_model.0.10
    • dolmen_type/dolmen_type.0.10
    • dolmen/dolmen.0.10

9 files changed

+244
-9
lines changed

‎packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,9 @@ depends: [
1717
"ocaml" {>= "4.08.0"}
1818
"dune" {>= "3.0"}
1919
"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" }
2323
"ocplib-simplex" {>= "0.5"}
2424
"zarith" {>= "1.11"}
2525
"seq"

‎packages/alt-ergo-lib/alt-ergo-lib.2.5.1/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ depends: [
1515
"ocaml" {>= "4.08.0"}
1616
"dune" {>= "3.0"}
1717
"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" }
2121
"ocplib-simplex" {>= "0.5"}
2222
"zarith" {>= "1.11"}
2323
"seq"

‎packages/alt-ergo-lib/alt-ergo-lib.2.5.2/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ depends: [
1515
"ocaml" {>= "4.08.0"}
1616
"dune" {>= "3.0"}
1717
"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" }
2121
"ocplib-simplex" {>= "0.5"}
2222
"zarith" {>= "1.11"}
2323
"seq"

‎packages/dolmen/dolmen.0.10/opam

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
opam-version: "2.0"
2+
maintainer: "Guillaume Bury <[email protected]>"
3+
authors: "Guillaume Bury <[email protected]>"
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"

‎packages/dolmen_bin/dolmen_bin.0.10/opam

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
opam-version: "2.0"
2+
maintainer: "Guillaume Bury <[email protected]>"
3+
authors: "Guillaume Bury <[email protected]>"
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"

‎packages/dolmen_loop/dolmen_loop.0.10/opam

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
opam-version: "2.0"
2+
maintainer: "Guillaume Bury <[email protected]>"
3+
authors: "Guillaume Bury <[email protected]>"
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+

‎packages/dolmen_lsp/dolmen_lsp.0.10/opam

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
opam-version: "2.0"
2+
maintainer: "Guillaume Bury <[email protected]>"
3+
authors: "Guillaume Bury <[email protected]>"
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"

‎packages/dolmen_model/dolmen_model.0.10/opam

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
opam-version: "2.0"
2+
maintainer: "Guillaume Bury <[email protected]>"
3+
authors: "Guillaume Bury <[email protected]>"
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"

‎packages/dolmen_type/dolmen_type.0.10/opam

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
opam-version: "2.0"
2+
maintainer: "Guillaume Bury <[email protected]>"
3+
authors: "Guillaume Bury <[email protected]>"
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"

0 commit comments

Comments
 (0)