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

Refactor domains to be types #352

Merged
merged 11 commits into from
Aug 17, 2020
Merged

Refactor domains to be types #352

merged 11 commits into from
Aug 17, 2020

Commits on Aug 16, 2020

  1. Start to refactor Domain to a type

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    516c7c5 View commit details
    Browse the repository at this point in the history

  2. Get more tests to pass

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    2f66dcd View commit details
    Browse the repository at this point in the history

  3. flake8

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    084af6d View commit details
    Browse the repository at this point in the history

  4. Fix typo

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    30a82f0 View commit details
    Browse the repository at this point in the history

  5. Mark deprecated functions and methods

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    d24b266 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into domain-type

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    fd45fb9 View commit details
    Browse the repository at this point in the history

  7. Remove obsolete method

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    8f62167 View commit details
    Browse the repository at this point in the history

  8. Fix typo

    @fritzo
    fritzo committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    f3e2a55 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2020

  1. Refactor

    @fritzo
    fritzo committed Aug 17, 2020
    Configuration menu
    Copy the full SHA
    3453f2a View commit details
    Browse the repository at this point in the history

  2. Add tests for issubclass()

    @fritzo
    fritzo committed Aug 17, 2020
    Configuration menu
    Copy the full SHA
    039f120 View commit details
    Browse the repository at this point in the history

  3. Fix Bint.num_elements property

    @fritzo
    fritzo committed Aug 17, 2020
    Configuration menu
    Copy the full SHA
    7142e9c View commit details
    Browse the repository at this point in the history