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

✨ Depth AIG for level computation #23

Merged
merged 6 commits into from
Oct 14, 2024
Merged

✨ Depth AIG for level computation #23

merged 6 commits into from
Oct 14, 2024

Commits on Oct 14, 2024

  1. 🎨 Removed unused includes

    @marcelwa
    marcelwa committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    bc971c0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into depth-network

    @marcelwa
    marcelwa committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    2196bc7 View commit details
    Browse the repository at this point in the history

  3. 🎨 Removed unused includes

    @marcelwa
    marcelwa committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    4cd31ab View commit details
    Browse the repository at this point in the history

  4. ✨ Introduce DepthAig for level computation

    @marcelwa
    marcelwa committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    99dd738 View commit details
    Browse the repository at this point in the history

  5. 🔖 Bump version to 0.0.9

    @marcelwa
    marcelwa committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    ce7dd63 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into depth-network

    @marcelwa
    marcelwa committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    0ad678d View commit details
    Browse the repository at this point in the history