Skip to content
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.

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

[depends: #1357] goto-gcc removes CPROVER macros for native gcc #1343

Closed
wants to merge 1 commit into from

Conversation

tautschnig
Copy link
Collaborator

Input programs containing __CPROVER_assume, __CPROVER_assert etc. can
now be compiled with goto-gcc as well as goto-cc. Previously, the
system compiler would complain about missing function bodies for all of
these CPROVER macros.

This was #1108 in develop.

Input programs containing __CPROVER_assume, __CPROVER_assert etc. can
now be compiled with goto-gcc as well as goto-cc. Previously, the
system compiler would complain about missing function bodies for all of
these CPROVER macros.
@tautschnig tautschnig changed the title goto-gcc removes CPROVER macros for native gcc [depends: #1357] goto-gcc removes CPROVER macros for native gcc Sep 7, 2017
@tautschnig
Copy link
Collaborator Author

tautschnig commented Sep 7, 2017

Needs further testing/debugging, which is in progress and triggered #1357 and should be formed into a single story with the develop->master version of #1173.

@tautschnig tautschnig assigned tautschnig and unassigned kroening Sep 7, 2017
@tautschnig
Copy link
Collaborator Author

I believe we are not going ahead with a selective develop->master transition, thus closing.

@tautschnig tautschnig closed this Feb 23, 2018
@tautschnig tautschnig deleted the kk-neu-cprover-remove branch February 23, 2018 07:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants