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

test(bst): add BST as an example #320

Merged
merged 9 commits into from
Nov 10, 2024
Merged

test(bst): add BST as an example #320

merged 9 commits into from
Nov 10, 2024
+339 −0

Commits on Aug 28, 2024

  1. test(bst): add BST as an example 

    This adds binary search trees as an example from my internship's staging
repository.

It adds a bunch of unit tests for them.

Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
    Ryan Lahfa committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    16a154d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into more-examples

    @sonmarcho
    sonmarcho authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    ebb2eef View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. Merge branch 'main' into more-examples

    @sonmarcho
    sonmarcho authored Nov 6, 2024
    Configuration menu
    Copy the full SHA
    4c417f1 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2024

  1. Merge branch 'main' into more-examples

    @sonmarcho
    sonmarcho authored Nov 10, 2024
    Configuration menu
    Copy the full SHA
    d9eede0 View commit details
    Browse the repository at this point in the history

  2. Regenerate the Lean files

    @sonmarcho
    sonmarcho committed Nov 10, 2024
    Configuration menu
    Copy the full SHA
    b790ca3 View commit details
    Browse the repository at this point in the history

  3. Fix a typing issue in InterpreterBorrows.convert_value_to_abstractions 

    The type of the sub-values in the loans converted to abstractions was incorrect.
    @sonmarcho
    sonmarcho committed Nov 10, 2024
    Configuration menu
    Copy the full SHA
    2f70273 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'son/fix-convert-to-abs' into more-examples

    @sonmarcho
    sonmarcho committed Nov 10, 2024
    Configuration menu
    Copy the full SHA
    658143d View commit details
    Browse the repository at this point in the history

  5. Update the BST example

    @sonmarcho
    sonmarcho committed Nov 10, 2024
    Configuration menu
    Copy the full SHA
    47c4d00 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into more-examples

    @sonmarcho
    sonmarcho authored Nov 10, 2024
    Configuration menu
    Copy the full SHA
    c0e6038 View commit details
    Browse the repository at this point in the history