Skip to content

[new release] goblint-cil (2.0.3) #24812

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 21, 2023
Merged

[new release] goblint-cil (2.0.3) #24812

merged 1 commit into from
Nov 21, 2023

Conversation

@sim642
Copy link
Contributor

@sim642 sim642 commented Nov 20, 2023

A front-end for the C programming language that facilitates program analysis and transformation

CHANGES:

@sim642
[new release] goblint-cil (2.0.3)
162e9ca 
CHANGES:

* Add `asm inline` parsing (goblint/cil#151).
* Ignore top level qualifiers in `__builtin_types_compatible_p` (goblint/cil#157).
* Add attribute `goblint_cil_nested` to local variables in inner scopes (goblint/cil#155).
* Expose `Cil.typeSigAddAttrs`.
* Add option to suppress `long double` warnings (goblint/cil#136, goblint/cil#156).
* Fix syntactic search (goblint/cil#147).
@sim642
Copy link
Contributor Author

sim642 commented Nov 20, 2023 •
edited
Loading

CI failures:

  1. oraclelinux-9: # Can't locate FindBin.pm in @INC (you may need to install the FindBin module).

    Same as in [new release] goblint-cil (2.0.2) #24400 (comment).

  2. freebsd: # /bin/sh: /usr/home/opam/.opam/4.14.1/.opam-switch/build/goblint-cil.2.0.3/_build/default/test/../bin/cilly: not found.

    I'll have to look if some dependency is missing in dune, although this never failed before.

    *EDIT: As far as I can see, the tests have a dependency on the not-found file via a dune alias. So I'm not sure what's going wrong here.

  3. macos-homebrew: # /usr/local/Cellar/gcc/13.2.0/lib/gcc/current/gcc/x86_64-apple-darwin23/13/include-fixed/stdio.h:78:10: fatal error: _stdio.h: No such file or directory.

    There's something about Homebrew GCC and some OSX tools that might be missing: macOS 13 (Ventura) and gcc-12 Homebrew/homebrew-core#113968. Doesn't seem like something I could solve.

@mseri
Copy link
Member

mseri commented Nov 21, 2023

Thanks for the release and the detailed analysis of the failures. I think this is fine to merge

@mseri mseri merged commit aedf162 into ocaml:master Nov 21, 2023
@sim642 sim642 mentioned this pull request Nov 24, 2023
Merged
@sim642 sim642 mentioned this pull request Jul 30, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@sim642 @mseri