Skip to content

Commit

Permalink
[new release] goblint-cil (2.0.0)
Browse files Browse the repository at this point in the history
CHANGES:

* Wrap library into `GoblintCil` module (goblint/cil#107).
* Remove all MSVC support (goblint/cil#52, goblint/cil#88).
* Port entire build process from configure/make to dune (goblint/cil#104).
* Add C11 `_Generic` support (goblint/cil#48).
* Add C11 `_Noreturn` support (goblint/cil#58).
* Add C11 `_Static_assert` support (goblint/cil#62).
* Add C11 `_Alignof` support (goblint/cil#66).
* Add C11 `_Alignas` support (goblint/cil#93, goblint/cil#108).
* Add partial C11 `_Atomic` support (goblint/cil#61).
* Add `_Float32`, `_Float64`, `_Float32x` and `_Float64x` type support (goblint/cil#8, goblint/cil#60).
* Add Universal Character Names, `char16_t` and `char32_t` type support (goblint/cil#80).
* Change locations to location spans and add additional expression locations (goblint/cil#51).
* Add synthetic marking for CIL-inserted statement locations (goblint/cil#98).
* Expose list of files from line control directives (goblint/cil#73).
* Add parsed location transformation hook (goblint/cil#89).
* Use Zarith for integer constants (goblint/cil#47, goblint/cil#53).
* Fix constant folding overflows (goblint/cil#59).
* Add option to disable constant branch removal (goblint/cil#103).
* Add standalone expression parsing and checking (goblint/cil#97, goblint/cil#96).
* Improve inline function merging (goblint/cil#72, goblint/cil#85, goblint/cil#84, goblint/cil#86).
* Fix some attribute parsing cases (goblint/cil#71, goblint/cil#75, goblint/cil#76, goblint/cil#77).
* Fix global NaN initializers (goblint/cil#78, goblint/cil#79).
* Fix `cilly` binary installation (goblint/cil#99, goblint/cil#100, goblint/cil#102).
* Remove batteries dependency to support OCaml 5 (goblint/cil#106).
  • Loading branch information
sim642 committed Aug 12, 2022
1 parent 3927b22 commit a9c997a
Showing 1 changed file with 73 additions and 0 deletions.
73 changes: 73 additions & 0 deletions packages/goblint-cil/goblint-cil.2.0.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,73 @@
opam-version: "2.0"
synopsis:
"A front-end for the C programming language that facilitates program analysis and transformation"
description: """
This is a fork of the 'cil' package used for 'goblint'. Major changes include:
* Support for C99 and C11.
* Compatibility with modern OCaml versions.
* Use Zarith instead of Num and use that for integer constants.
* Improved locations with columns and spans.
* Removal of unmaintained extensions and MSVC support.
* Use dune instead of make and ocamlbuild.
* Many bug fixes."""
maintainer: [
"Michael Schwarz <[email protected]>"
"Simmo Saan <[email protected]>"
]
authors: [
"George Necula"
"Scott McPeak"
"Westley Weimer"
"Gabriel Kerneis"
"Ralf Vogler"
"Michael Schwarz"
"Simmo Saan"
]
license: "BSD-3-Clause"
homepage: "https://github.com/goblint/cil"
bug-reports: "https://github.com/goblint/cil/issues"
depends: [
"ocaml" {>= "4.05.0"}
"ocamlfind" {with-test}
"zarith"
"hevea" {with-doc}
"dune" {>= "2.7"}
"dune-configurator"
"odoc" {with-doc}
"stdlib-shims"
"ppx_deriving_yojson" {>= "3.2"}
"yojson"
"conf-perl"
"cppo"
]
conflicts: ["cil"]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/goblint/cil.git"
depexts: [
["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"}
["perl-FindBin"] {os-distribution = "fedora"}
["build-base"] {os-distribution = "alpine"}
]
available: arch != "ppc32" & arch != "ppc64"
url {
src:
"https://github.com/goblint/cil/releases/download/2.0.0/goblint-cil-2.0.0.tbz"
checksum: [
"sha256=0467f30218c7ef03074b96912e46f58883e5229ba7d30102470191ad39a49b26"
"sha512=08a7a1a79dce32072431dd681866682e9dab7acbc4cb6e0e2255d6b71fea7020d7fcf00bbbb130489b77f03fa244382dce30eca67d75967e81b06e09996d44a8"
]
}
x-commit-hash: "9968b57aae763fd0b5d652e13e2f18b643eb82e4"

0 comments on commit a9c997a

Please sign in to comment.