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 and Fix Game-of-Life, Hamiltonian, and QBF for Grendel #100

Merged
merged 24 commits into from
Feb 9, 2024
Merged

Add and Fix Game-of-Life, Hamiltonian, and QBF for Grendel #100

merged 24 commits into from
Feb 9, 2024

Commits on Feb 9, 2024

  1. Sort benchmarks lexicographically

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    2119860 View commit details
    Browse the repository at this point in the history

  2. Add 'row_symmetric' for 'mirror-double_diagonal'

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    73bc375 View commit details
    Browse the repository at this point in the history

  3. Fix Adiar with BDDs has redundant calls to 'extend'

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    11b8a3f View commit details
    Browse the repository at this point in the history

  4. Fix bad indentation of some Hamiltonian printout with Binary encoding

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    2ce5ba9 View commit details
    Browse the repository at this point in the history

  5. Remove debug output when running 'Hamiltonian' with Binary encoding

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    4ecfb22 View commit details
    Browse the repository at this point in the history

  6. Update 'Hamiltonian' benchmark to its new interface (and change in pe… 

    …rformance)
    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    fbb53cd View commit details
    Browse the repository at this point in the history

  7. Clean up code duplication in 'row_symmetric'

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    6ec6be2 View commit details
    Browse the repository at this point in the history

  8. Add 'row_symmetric' for 'rotate-90'

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    2e2903e View commit details
    Browse the repository at this point in the history

  9. Remove columns from 'double diagonal' symmetry 

    Indeed it becomes smaller, but it is not the 'easy' part of the quantification
    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    061d369 View commit details
    Browse the repository at this point in the history

  10. Add choice of partition to GrendelGen

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    531e8a3 View commit details
    Browse the repository at this point in the history

  11. Move TODO comments into relevant GitHub Issue

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    2c9381e View commit details
    Browse the repository at this point in the history

  12. Fix total time lacks precision

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    20bd364 View commit details
    Browse the repository at this point in the history

  13. Add 'Game of Life' to set of benchmarks on Grendel cluster

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    c9fa033 View commit details
    Browse the repository at this point in the history

  14. Fix outdated (and hence incorrect) assert in QBF

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    ac00a0b View commit details
    Browse the repository at this point in the history

  15. Check in Debug whether unmapped variables are accessed

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    2096507 View commit details
    Browse the repository at this point in the history

  16. Fix flushing when compiling with STATS 

    The lack of output made me worry there was a bug.
    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    0fdd82a View commit details
    Browse the repository at this point in the history

  17. Merge multiple uses of the same quantifier into a single gate

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    9d351b8 View commit details
    Browse the repository at this point in the history

  18. Add Symmetry options to makefile help

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    d8edc30 View commit details
    Browse the repository at this point in the history

  19. Fix non-generic make calls

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    4075563 View commit details
    Browse the repository at this point in the history

  20. Make help rather than build default

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    107989d View commit details
    Browse the repository at this point in the history

  21. Fix undesired renaming of variable

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    eb9bde7 View commit details
    Browse the repository at this point in the history

  22. Move quantifier merging into 'add_quant_gate' 

    This (1) is much cleaner and (2) supports this optimisation even when using it without
the qcir parser.
    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    537b525 View commit details
    Browse the repository at this point in the history

  23. Fix outputting 'Prefix' rather than 'Prenex'

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    511df1b View commit details
    Browse the repository at this point in the history

  24. Make 'run/qbf/zdd' into a runnable target that echos the TODO

    @SSoelvsten
    SSoelvsten committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    59b0247 View commit details
    Browse the repository at this point in the history