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

Add C FFI #171

Merged
merged 9 commits into from
Aug 18, 2023
Merged

Add C FFI #171

merged 9 commits into from
Aug 18, 2023

Commits on Aug 3, 2023

  1. Non-compiling draft: issues with lifetimes :(

    @mattxwang
    mattxwang committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    0bb52a0 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. Merge branch 'main' into re-add-ffi

    @mattxwang
    mattxwang committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    ff41e20 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. First working draft?

    @mattxwang
    mattxwang committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    4080c6a View commit details
    Browse the repository at this point in the history

  2. First working C FFI!

    @mattxwang
    mattxwang committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    0e9430d View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. Merge branch 'main' into re-add-ffi

    @mattxwang
    mattxwang committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    18367e1 View commit details
    Browse the repository at this point in the history

  2. Finish merge

    @mattxwang
    mattxwang committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    6ee37ff View commit details
    Browse the repository at this point in the history

  3. Parity with bdd.mli in disc except for the Wmc module

    @mattxwang
    mattxwang committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    f102255 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. Removes unused code

    @mattxwang
    mattxwang committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    5ea3625 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. Minor comment cleanup

    @mattxwang
    mattxwang committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4e88346 View commit details
    Browse the repository at this point in the history