Skip to content

Bump Inox and make ghost, assert and require arguments by-name #1364

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
Dec 16, 2022
Merged

Bump Inox and make ghost, assert and require arguments by-name #1364

merged 1 commit into from
Dec 16, 2022

Conversation

mario-bucev
Copy link
Collaborator

Closes #1350
Doing two separate things in a PR is not very clean (I can split them if desired)

@mario-bucev mario-bucev force-pushed the bump-inox-and-make-arg-byname branch from b4367b3 to f6cd9a6 Compare December 16, 2022 11:54
@mario-bucev mario-bucev mentioned this pull request Dec 16, 2022
Merged
@mario-bucev mario-bucev requested a review from vkuncak December 16, 2022 13:01
@vkuncak vkuncak merged commit 99a3f92 into epfl-lara:main Dec 16, 2022
@mario-bucev mario-bucev deleted the bump-inox-and-make-arg-byname branch December 16, 2022 13:17
@pgimalac pgimalac mentioned this pull request Dec 20, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vkuncak vkuncak Awaiting requested review from vkuncak

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Invalid counter-example in presence of lambda
2 participants
@mario-bucev @vkuncak