From 1c281d55b6cb8953fe815adf273c078b3e357fd8 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 18 Aug 2022 14:35:13 +0300 Subject: [PATCH 1/3] [new release] goblint (2.0.0) CHANGES: Goblint "lean" release after a lot of cleanup. * Remove unmaintained analyses: OSEK, ARINC, shapes, containment, deadlocksByRaces (goblint/analyzer#460, goblint/analyzer#736, goblint/analyzer#812, goblint/analyzer#474). * Add interactive analysis (goblint/analyzer#391). * Add server mode (goblint/analyzer#522). * Add Compilation Database support (goblint/analyzer#406, goblint/analyzer#448). * Add floating point domain, unrolled array domain and improved struct domains (goblint/analyzer#734, goblint/analyzer#761, goblint/analyzer#577, goblint/analyzer#419). * Add static loop unrolling and heap variable unrolling (goblint/analyzer#563, goblint/analyzer#722). * Improve race detection with may-happen-in-parallel analysis (goblint/analyzer#529, goblint/analyzer#518, goblint/analyzer#595). * Reimplement lockset and deadlock analyses (goblint/analyzer#659, goblint/analyzer#662, goblint/analyzer#650, goblint/analyzer#655). * Add pthread extraction to Promela (goblint/analyzer#220). * Add location spans to output (goblint/analyzer#428, goblint/analyzer#449). * Improve race reporting (goblint/analyzer#550, goblint/analyzer#551). * Improve dead code reporting (goblint/analyzer#94, goblint/analyzer#353, goblint/analyzer#785). * Refactor warnings (goblint/analyzer#55, goblint/analyzer#783). * Add JSON schema for configuration (goblint/analyzer#476, goblint/analyzer#499). * Refactor option names (goblint/analyzer#28, goblint/analyzer#192, goblint/analyzer#516, goblint/analyzer#675). * Add bash completion (goblint/analyzer#669). * Add OCaml 4.13 and 4.14 support, remove OCaml 4.09 support (goblint/analyzer#503, goblint/analyzer#672). --- packages/goblint/goblint.2.0.0/opam | 89 +++++++++++++++++++++++++++++ 1 file changed, 89 insertions(+) create mode 100644 packages/goblint/goblint.2.0.0/opam diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam new file mode 100644 index 000000000000..16101eb51fd1 --- /dev/null +++ b/packages/goblint/goblint.2.0.0/opam @@ -0,0 +1,89 @@ +opam-version: "2.0" +synopsis: "Static analysis framework for C" +maintainer: [ + "Simmo Saan " + "Michael Schwarz " +] +authors: [ + "Simmo Saan" + "Michael Schwarz" + "Julian Erhard" + "Sarah Tilscher" + "Ralf Vogler" + "Kalmer Apinis" + "Vesal Vojdani" +] +license: "MIT" +homepage: "https://goblint.in.tum.de" +doc: "https://goblint.readthedocs.io/en/latest/" +bug-reports: "https://github.com/goblint/analyzer/issues" +depends: [ + "ocaml" {>= "4.10"} + "dune" {>= "2.9.1"} + "goblint-cil" {>= "2.0.0"} + "batteries" {>= "3.4.0"} + "zarith" {>= "1.8"} + "yojson" {>= "2.0.0"} + "qcheck-core" + "ppx_deriving" + "ppx_deriving_hash" + "ppx_deriving_yojson" {>= "3.7.0"} + "ppx_blob" {>= "0.6.0"} + "ounit2" {with-test} + "qcheck-ounit" {with-test} + "odoc" {with-doc} + "fpath" + "dune-site" + "json-data-encoding" + "jsonrpc" {>= "1.12"} + "sha" {>= "1.12"} + "cpu" + "arg-complete" + "yaml" + "uuidm" + "conf-gmp" {>= "3"} + "conf-ruby" {with-test} + "benchmark" {with-test} + "conf-gcc" +] +depopts: ["apron" "z3"] +conflicts: [ + "result" {< "1.5"} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "--promote-install-files=false" + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] + ["dune" "install" "-p" name "--create-install-files" name] +] +dev-repo: "git+https://github.com/goblint/analyzer.git" +available: os-distribution != "alpine" & arch != "arm64" +url { + src: + "https://github.com/goblint/analyzer/releases/download/v2.0.0/goblint-2.0.0.tbz" + checksum: [ + "sha256=2f4f2e25b765452f0e336941f35f6cb396d7c213a2d347abe5d35febc5159b1f" + "sha512=e96af4cad91f6985c8db93c194925853e96cad0ec1a0d9f4d32bbe16d3e5fa1e305f54be02839f21ba89ad2af0c2d5d7aa819ade221ce097dc4dbd0fcd8c8500" + ] +} +x-commit-hash: "934e28a6f371031fecea9fd24b9f65b71226ab26" +# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project +# also remember to generate/adjust goblint.opam.locked! +# pin-depends: [ + # published goblint-cil 2.0.0 is currently up-to-date, so no pin needed + # [ "goblint-cil.2.0.0" "git+https://github.com/goblint/cil.git#85ca8cf757580c67c53b5db76bce5be048ce5541" ] + # TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252) + # [ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ] + # TODO: add back after release, only pinned for CI stability + # [ "apron.v0.9.13" "git+https://github.com/antoinemine/apron.git#c852ebcc89e5cf4a5a3318e7c13c73e1756abb11"] +# ] From b1451bdc7d5f3d32f08bca4feb46f1d3387fb6cd Mon Sep 17 00:00:00 2001 From: Kate Date: Thu, 18 Aug 2022 19:13:02 +0100 Subject: [PATCH 2/3] Update packages/goblint/goblint.2.0.0/opam --- packages/goblint/goblint.2.0.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam index 16101eb51fd1..5f044a6dda51 100644 --- a/packages/goblint/goblint.2.0.0/opam +++ b/packages/goblint/goblint.2.0.0/opam @@ -61,7 +61,7 @@ build: [ jobs "--promote-install-files=false" "@install" - "@runtest" {with-test} + "@runtest" {with-test & os-distribution != "ol"} "@doc" {with-doc} ] ["dune" "install" "-p" name "--create-install-files" name] From 6a027bd2e6c8af4997538d73775cfa644dc00b03 Mon Sep 17 00:00:00 2001 From: Kate Date: Fri, 19 Aug 2022 13:07:34 +0100 Subject: [PATCH 3/3] Update packages/goblint/goblint.2.0.0/opam --- packages/goblint/goblint.2.0.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam index 5f044a6dda51..16101eb51fd1 100644 --- a/packages/goblint/goblint.2.0.0/opam +++ b/packages/goblint/goblint.2.0.0/opam @@ -61,7 +61,7 @@ build: [ jobs "--promote-install-files=false" "@install" - "@runtest" {with-test & os-distribution != "ol"} + "@runtest" {with-test} "@doc" {with-doc} ] ["dune" "install" "-p" name "--create-install-files" name]