Skip to content

Commit 3e875d8

Browse files
mserimseri
authored
Merge pull request #24054 from Gbury/release-dolmen-v0.9
[new release] dolmen_type, dolmen_model, dolmen_lsp, dolmen_loop, dolmen_bin and dolmen (0.9)
2 parents 47f6c0e + c4b27ca commit 3e875d8

File tree

8 files changed

+234
-6
lines changed
  • packages
    • colibri2/colibri2.0.4
    • colibrics/colibrics.0.4
    • dolmen_bin/dolmen_bin.0.9
    • dolmen_loop/dolmen_loop.0.9
    • dolmen_lsp/dolmen_lsp.0.9
    • dolmen_model/dolmen_model.0.9
    • dolmen_type/dolmen_type.0.9
    • dolmen/dolmen.0.9

8 files changed

+234
-6
lines changed

‎packages/colibri2/colibri2.0.4/opam‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,9 @@ bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
1414
depends: [
1515
"colibrilib" {= version}
1616
"containers" {>= "3.6.1"}
17-
"dolmen" {>= "0.8"}
18-
"dolmen_type" {>= "0.8"}
19-
"dolmen_loop" {>= "0.8"}
17+
"dolmen" {>= "0.8" & < "0.9" }
18+
"dolmen_type" {>= "0.8" & < "0.9" }
19+
"dolmen_loop" {>= "0.8" & < "0.9" }
2020
"cmdliner" {>= "1.1.1"}
2121
"base" {>= "v0.14.2" & < "v0.16.0"}
2222
"gen" {>= "1.0"}

‎packages/colibrics/colibrics.0.4/opam‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@ homepage: "https://colibri.frama-c.com"
88
bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
99
depends: [
1010
"ppx_deriving_yojson" {>= "3.6.1"}
11-
"dolmen" {>= "0.8"}
12-
"dolmen_type" {>= "0.8"}
13-
"dolmen_loop" {>= "0.8"}
11+
"dolmen" {>= "0.8" & < "0.9" }
12+
"dolmen_type" {>= "0.8" & < "0.9" }
13+
"dolmen_loop" {>= "0.8" & < "0.9" }
1414
"dune" {>= "3.0"}
1515
"zarith" {>= "1.12"}
1616
"cmdliner" {>= "1.1.1"}

‎packages/dolmen/dolmen.0.9/opam‎

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
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+
"seq"
15+
"odoc" { with-doc }
16+
"qcheck" { with-test }
17+
"mdx" { with-test }
18+
]
19+
20+
tags: [ "parser" "logic" "tptp" "smtlib" "dimacs" ]
21+
homepage: "https://github.com/Gbury/dolmen"
22+
dev-repo: "git+https://github.com/Gbury/dolmen.git"
23+
bug-reports: "https://github.com/Gbury/dolmen/issues"
24+
25+
doc: "https://gbury.github.io/dolmen"
26+
synopsis: "A parser library for automated deduction"
27+
description:
28+
"Dolmen is a parser library. It currently targets languages used in automated theorem provers,
29+
but may be extended to other domains.
30+
31+
Dolmen provides functors that takes as arguments a representation of terms and statements,
32+
and returns a module that can parse files (or streams of tokens) into the provided representation
33+
of terms or statements. This is meant so that Dolmen can be used as a drop-in replacement of existing
34+
parser, in order to factorize parsers among projects.
35+
36+
Additionally, Dolmen also provides a standard implementation of terms and statements that cna be
37+
used ot instantiate its parsers."
38+
url {
39+
src:
40+
"https://github.com/Gbury/dolmen/releases/download/v0.9/dolmen-0.9.tbz"
41+
checksum: [
42+
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
43+
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
44+
]
45+
}
46+
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"

‎packages/dolmen_bin/dolmen_bin.0.9/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. "
34+
url {
35+
src:
36+
"https://github.com/Gbury/dolmen/releases/download/v0.9/dolmen-0.9.tbz"
37+
checksum: [
38+
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
39+
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
40+
]
41+
}
42+
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"

‎packages/dolmen_loop/dolmen_loop.0.9/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+
"odoc" { with-doc }
16+
"pp_loc" { >= "2.0.0" }
17+
"mdx" { with-test }
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.9/dolmen-0.9.tbz"
32+
checksum: [
33+
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
34+
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
35+
]
36+
}
37+
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"
38+

‎packages/dolmen_lsp/dolmen_lsp.0.9/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.9/dolmen-0.9.tbz"
32+
checksum: [
33+
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
34+
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
35+
]
36+
}
37+
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"

‎packages/dolmen_model/dolmen_model.0.9/opam‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
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: "A model checker for automated deduction languages"
25+
url {
26+
src:
27+
"https://github.com/Gbury/dolmen/releases/download/v0.9/dolmen-0.9.tbz"
28+
checksum: [
29+
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
30+
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
31+
]
32+
}
33+
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"

‎packages/dolmen_type/dolmen_type.0.9/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: "A typechecker for automated deduction languages"
24+
url {
25+
src:
26+
"https://github.com/Gbury/dolmen/releases/download/v0.9/dolmen-0.9.tbz"
27+
checksum: [
28+
"sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a"
29+
"sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74"
30+
]
31+
}
32+
x-commit-hash: "d9f5abbaffe6e5daa4b06758db66134fe85c8c6a"

0 commit comments

Comments
 (0)