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

Bend ADTS in Python #10

Open
wants to merge 71 commits into
base: master
Choose a base branch
from
Open

Bend ADTS in Python #10

wants to merge 71 commits into from
+3,994 −530

Commits on Jun 15, 2024

  1. Represent Benda in Python

    @vkobinski
    vkobinski committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    77222a1 View commit details
    Browse the repository at this point in the history

  2. Bend ADTS in Python

    @vkobinski
    vkobinski committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    0bdd2ca View commit details
    Browse the repository at this point in the history

  3. Bend Types

    @vkobinski
    vkobinski committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    f5d0c63 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Bend IO

    @vkobinski
    vkobinski committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    8eace62 View commit details
    Browse the repository at this point in the history

  2. fmt

    @vkobinski
    vkobinski committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    513cbfb View commit details
    Browse the repository at this point in the history

  3. fmt

    @vkobinski
    vkobinski committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    807cb9a View commit details
    Browse the repository at this point in the history

  4. fmt

    @vkobinski
    vkobinski committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    1681edd View commit details
    Browse the repository at this point in the history

  5. Fixed bug

    @vkobinski
    vkobinski committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    b5479e2 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Bend has IO now

    @vkobinski
    vkobinski committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    d5611df View commit details
    Browse the repository at this point in the history

  2. __str__ functions

    @vkobinski
    vkobinski committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4009e0c View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Print Term

    @vkobinski
    vkobinski committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    50c9f65 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into merge

    @vkobinski
    vkobinski committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    ff1a2bb View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Working match with one case

    @vkobinski
    vkobinski committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    5d8d1ca View commit details
    Browse the repository at this point in the history

  2. Remove CtrEnum

    @vkobinski
    vkobinski committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    1405203 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Running quicksort example

    @vkobinski
    vkobinski committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    65acef4 View commit details
    Browse the repository at this point in the history

  2. Syntax

    @vkobinski
    vkobinski committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    f084a40 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Pattern Matching with desestructuring

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f037280 View commit details
    Browse the repository at this point in the history

  2. fmt

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    77cc0d3 View commit details
    Browse the repository at this point in the history

  3. Fixed Term parsing

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    e6454e8 View commit details
    Browse the repository at this point in the history

  4. Fixed Term parsing

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f64b130 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of https://github.com/vkobinski/benda-main

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    00037de View commit details
    Browse the repository at this point in the history

  6. Nix

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    46390b6 View commit details
    Browse the repository at this point in the history

  7. to_list() for HVM result

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    656135a View commit details
    Browse the repository at this point in the history

  8. New example

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    500d2cb View commit details
    Browse the repository at this point in the history

  9. Added all sorts from Bend repo

    @vkobinski
    vkobinski committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    24cc6f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. Sat Solver example

    @vkobinski
    vkobinski committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    184c179 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. HVM output

    @vkobinski
    vkobinski committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    d408a30 View commit details
    Browse the repository at this point in the history

  2. TermParser

    @vkobinski
    vkobinski committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    286d395 View commit details
    Browse the repository at this point in the history

  3. Term parser

    @vkobinski
    vkobinski committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    e6d6e37 View commit details
    Browse the repository at this point in the history

  4. Fixed type

    @vkobinski
    vkobinski committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    b4f6a9d View commit details
    Browse the repository at this point in the history

  5. Refactoring

    @vkobinski
    vkobinski committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    834c50f View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Writing FFI documentation

    @vkobinski
    vkobinski committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    3cc5276 View commit details
    Browse the repository at this point in the history

  2. Adjusting examples

    @vkobinski
    vkobinski committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    9c8cb8a View commit details
    Browse the repository at this point in the history

  3. Fixed to_list

    @vkobinski
    vkobinski committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    d9fadb7 View commit details
    Browse the repository at this point in the history

  4. Docs

    @vkobinski
    vkobinski committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    fcc857d View commit details
    Browse the repository at this point in the history

  5. Superpositions

    @vkobinski
    vkobinski committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    30a97f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2024

  1. Fixed examples

    @vkobinski
    vkobinski committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    01f00ca View commit details
    Browse the repository at this point in the history

  2. Refactor

    @vkobinski
    vkobinski committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    636fa25 View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @vkobinski
    vkobinski committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    75375c0 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Bend algorithm addition

    @vkobinski
    vkobinski committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    a14d533 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. Bend dpll

    @vkobinski
    vkobinski committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    58bc444 View commit details
    Browse the repository at this point in the history

  2. flake update

    @vkobinski
    vkobinski committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    13db0f1 View commit details
    Browse the repository at this point in the history

  3. flake

    @vkobinski
    vkobinski committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    deaca8b View commit details
    Browse the repository at this point in the history

  4. Flake lock

    @vkobinski
    vkobinski committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    16f4601 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. Solved TODOs 

    Co-authored-by: Kelvin Steiner <[email protected]>
    @vkobinski @steinerkelvin
    vkobinski and steinerkelvin committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    75f1f6b View commit details
    Browse the repository at this point in the history

  2. Refactoring

    @vkobinski
    vkobinski committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    f8593af View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @vkobinski
    vkobinski committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    7cc5300 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. Documentation and load_book

    @vkobinski
    vkobinski committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    7d41d42 View commit details
    Browse the repository at this point in the history

  2. removed result

    @vkobinski
    vkobinski committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    3f15ff4 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. Fixed examples

    @vkobinski
    vkobinski committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    3d1df1b View commit details
    Browse the repository at this point in the history

  2. Fixed examples

    @vkobinski
    vkobinski committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    8694b93 View commit details
    Browse the repository at this point in the history

  3. Documentation

    @vkobinski
    vkobinski committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    c0fd358 View commit details
    Browse the repository at this point in the history

  4. Documentation

    @vkobinski
    vkobinski committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    f923f90 View commit details
    Browse the repository at this point in the history

  5. Documentation

    @vkobinski
    vkobinski committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    e702f23 View commit details
    Browse the repository at this point in the history

  6. Update README.md

    @steinerkelvin
    steinerkelvin authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    99f63bd View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' of https://github.com/vkobinski/benda-main

    @vkobinski
    vkobinski committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    6aa07af View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Documentation

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    686fd71 View commit details
    Browse the repository at this point in the history

  2. Benda package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    9d08667 View commit details
    Browse the repository at this point in the history

  3. Package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    c3c70cd View commit details
    Browse the repository at this point in the history

  4. Package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    b8dd273 View commit details
    Browse the repository at this point in the history

  5. Package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    4406f91 View commit details
    Browse the repository at this point in the history

  6. Packaging

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    d01949e View commit details
    Browse the repository at this point in the history

  7. Package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    ab05d80 View commit details
    Browse the repository at this point in the history

  8. Package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    e3d642a View commit details
    Browse the repository at this point in the history

  9. Package

    @vkobinski
    vkobinski committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    1898aad View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Updated Bend dependency

    @vkobinski
    vkobinski committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    492a0ba View commit details
    Browse the repository at this point in the history

  2. Refactoring

    @vkobinski
    vkobinski committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    dca076c View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Refactoring

    @vkobinski
    vkobinski committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    6722efc View commit details
    Browse the repository at this point in the history

  2. Refactoring

    @vkobinski
    vkobinski committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    ea2e367 View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @vkobinski
    vkobinski committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    c7a2b31 View commit details
    Browse the repository at this point in the history

  4. Writing tests

    @vkobinski
    vkobinski committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    70cdeae View commit details
    Browse the repository at this point in the history