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

Predicates #504

Draft
wants to merge 53 commits into
base: develop
Choose a base branch
from
Draft

Predicates #504

wants to merge 53 commits into from

Commits on Jul 19, 2022

  1. a predicate assumption class

    @christianbean
    christianbean committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    3dc4286 View commit details
    Browse the repository at this point in the history

  2. update strategies (except fusion and factor) with predicates

    @christianbean
    christianbean committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    2ea58d3 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2022

  1. a predicate refinement strategy

    @christianbean
    christianbean committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    929aa63 View commit details
    Browse the repository at this point in the history

  2. the refinement strategy

    @christianbean
    christianbean committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    4dfb74a View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

  1. a parity scope class

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    b3ce42b View commit details
    Browse the repository at this point in the history

  2. some tidy up

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    3ebe3f4 View commit details
    Browse the repository at this point in the history

  3. an experimental is empty check

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    14f74bb View commit details
    Browse the repository at this point in the history

  4. factor toggles parity

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    cdae45e View commit details
    Browse the repository at this point in the history

  5. add to fusion strategy

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    61ac5cb View commit details
    Browse the repository at this point in the history

  6. fix experimental check

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    96fedd1 View commit details
    Browse the repository at this point in the history

  7. plus 4 for experimental check

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    e43524e View commit details
    Browse the repository at this point in the history

  8. experimental check

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    cd43afa View commit details
    Browse the repository at this point in the history

  9. some atom counting

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    a26cb7e View commit details
    Browse the repository at this point in the history

  10. add predicate strategy to verified packs

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    23a497e View commit details
    Browse the repository at this point in the history

  11. code to count fusion

    @christianbean
    christianbean committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    718d431 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2022

  1. experimental is empty used to determine if factor is reversible

    @christianbean
    christianbean committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    0dcffb4 View commit details
    Browse the repository at this point in the history

  2. points cells can not be even

    @christianbean
    christianbean committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    0f1f060 View commit details
    Browse the repository at this point in the history

  3. creates requirements covering odd cells

    @jaypantone
    jaypantone committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    19a5d05 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'develop' into predicates

    @christianbean
    christianbean committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    91c7b49 View commit details
    Browse the repository at this point in the history

  5. more accurate shifts

    @christianbean
    christianbean committed Jul 22, 2022
    Configuration menu
    Copy the full SHA
    27e01a4 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2022

  1. reset cached properties

    @christianbean
    christianbean committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    1377acc View commit details
    Browse the repository at this point in the history

  2. check if empty before and after simplify

    @christianbean
    christianbean committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    a985f26 View commit details
    Browse the repository at this point in the history

  3. check preds after clean assumptions

    @christianbean
    christianbean committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    2efa45c View commit details
    Browse the repository at this point in the history

  4. is reversible in Factor class

    @christianbean
    christianbean committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    43b7340 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. split parity cells in initialiser, and refine one pred at a time

    @christianbean
    christianbean committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    a02faef View commit details
    Browse the repository at this point in the history

  2. catches corner cases

    @jaypantone
    jaypantone committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    022f7b0 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2022

  1. fusion constructor considers odd left better, add assumption simplifies

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    7f1e990 View commit details
    Browse the repository at this point in the history

  2. fusion sampling

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    73e00bb View commit details
    Browse the repository at this point in the history

  3. maps in pred refinement

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    20005d9 View commit details
    Browse the repository at this point in the history

  4. tidy code, add debug setting in tiling.py

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    9d73060 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'develop' into predicates

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    2158daf View commit details
    Browse the repository at this point in the history

  6. possibly empty has to be set since our is empty check is not perfect

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    65cb3f5 View commit details
    Browse the repository at this point in the history

  7. obsinferral is possibly empty;

    @christianbean
    christianbean committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    b81aa85 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2022

  1. a local expansion in is empty

    @christianbean
    christianbean committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    c7c5729 View commit details
    Browse the repository at this point in the history

  2. a smarter predicates imply empty method (#493) 

    * a smarter predicates imply empty method

* remove req skip in new empty check

* tidying code
    @christianbean
    christianbean authored Jul 28, 2022
    Configuration menu
    Copy the full SHA
    31b6ea5 View commit details
    Browse the repository at this point in the history

  3. add length 2 reqs in is empty call

    @christianbean
    christianbean committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    2174602 View commit details
    Browse the repository at this point in the history

  4. smarter min sizes, and bound to experimental

    @christianbean
    christianbean committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    59d49b6 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2022

  1. not implemented reverse fusion counting

    @christianbean
    christianbean committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    d472e6e View commit details
    Browse the repository at this point in the history

  2. dont check init for dummy tiling

    @christianbean
    christianbean committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    9e6f952 View commit details
    Browse the repository at this point in the history

  3. insert mgps to satisfy odd even in is empty

    @christianbean
    christianbean committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    de521ae View commit details
    Browse the repository at this point in the history

  4. place points not on own row and col in is empty

    @christianbean
    christianbean committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    d09daf1 View commit details
    Browse the repository at this point in the history

  5. remove point placement in is_empty and adds experimental_bound argument

    @jaypantone
    jaypantone committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    0e617ea View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2022

  1. fixes experimental bound flag

    @jaypantone
    jaypantone committed Jul 30, 2022
    Configuration menu
    Copy the full SHA
    d9ac524 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2023

  1. Merge branch 'develop' into predicates

    @christianbean
    christianbean committed Jan 25, 2023
    Configuration menu
    Copy the full SHA
    9209dd5 View commit details
    Browse the repository at this point in the history

  2. mypy/pylint/flake8 tidying up

    @christianbean
    christianbean committed Jan 25, 2023
    Configuration menu
    Copy the full SHA
    e1a005f View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. override pack in parity scope

    @christianbean
    christianbean committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    a176b08 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2023

  1. Merge branch 'develop' into predicates-and-develop

    @christianbean
    christianbean committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    3065726 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into predicates

    @christianbean
    christianbean committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    3dd2ba0 View commit details
    Browse the repository at this point in the history

  3. possibly empty is an argument to some strategies

    @christianbean
    christianbean committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    4dd068f View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2023

  1. moving css stuff that was specific to tilings

    @christianbean
    christianbean committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    ba70733 View commit details
    Browse the repository at this point in the history

  2. adding a test for av(132)

    @christianbean
    christianbean committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    c44d7bc View commit details
    Browse the repository at this point in the history

  3. only do more complicated empty if necessary

    @christianbean
    christianbean committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    5ec1e7f View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. tidying up

    @christianbean
    christianbean committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    98f2a9e View commit details
    Browse the repository at this point in the history