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

Cil - bugs #7

Open

ksaur opened this issue Dec 18, 2014 · 1 comment

Assignees

Labels

bug

Member

ksaur commented Dec 18, 2014

Maybe....use a new version of cil?? Issues with 64 bit ULong. Various other minor issues that might be fixed in new version?

ksaur added the bug label

ksaur self-assigned this

Member Author

ksaur commented Dec 18, 2014

4 November 2011: cil-1.4.0

* Includes many bug fixes and a cleanup of obsolete files and Makefile
  rules. Also fix support for OCaml 3.12, add support of some gcc
  builtins.

* ***************Improved 64-bit int support (large constants no longer
    cause a CIL failure).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment