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

Python frontend: Support for // operator #1522

Merged

lucasccordeiro merged 3 commits into esbmc:master from brcfarias:python-frontend

Nov 24, 2023

Collaborator

brcfarias commented Nov 24, 2023

This PR:

Adds support for the floor division (//) operator
Fixes asserts with negative numbers
Limits annotation to a specific function when --function is used

brcfarias added 3 commits

November 22, 2023 17:41


          [python-frontend] Limit annotation to a function when the --function …

fb36c28

…option is used


          [python-frontend] Fix assert with negative numbers

f54756e


          [python-frontend] Add support for // operator

6d6e232

brcfarias requested review from fbrausse, lucasccordeiro and rafaelsamenezes

November 24, 2023 15:33

lucasccordeiro approved these changes

View reviewed changes

Contributor

lucasccordeiro left a comment

Thanks for submitting this PR, @brcfarias.

lucasccordeiro merged commit 60e409a into esbmc:master

7 checks passed

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