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.

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

Allow casting bools to integers (and vice-versa) #278

Merged
merged 6 commits into from
Jul 18, 2022
Merged

Allow casting bools to integers (and vice-versa) #278

merged 6 commits into from
Jul 18, 2022

Commits on Jul 14, 2022

  1. Implement Bools

    @jfecher
    jfecher committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    36bb8f9 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

  1. Cast bool example (#279) 

    * cast bool example

* remove proofs folder in example, accidentally committed
    @vezenovm
    vezenovm authored Jul 15, 2022
    Configuration menu
    Copy the full SHA
    e3fcda0 View commit details
    Browse the repository at this point in the history

  2. Remove dbg statements

    @jfecher
    jfecher committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    04cf5c7 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'jf/bools' of https://github.com/noir-lang/noir into jf/… 

    …bools
    @jfecher
    jfecher committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    f3d35e4 View commit details
    Browse the repository at this point in the history

  4. Remove outdated comment

    @jfecher
    jfecher committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    0b71269 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2022

  1. Fix merge conflicts

    @jfecher
    jfecher committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    27cca5f View commit details
    Browse the repository at this point in the history