Skip to content
This repository has been archived by the owner on Jan 12, 2020. It is now read-only.

Use strum::EnumCount to derive Op counts #13

Merged
merged 7 commits into from Feb 19, 2019
Merged

Use strum::EnumCount to derive Op counts #13

merged 7 commits into from Feb 19, 2019

Commits on Feb 9, 2019

  1. Use strum::EnumCount to derive Op counts

    @dwijnand
    dwijnand committed Feb 9, 2019
    Configuration menu
    Copy the full SHA
    b8d43ba View commit details
    Browse the repository at this point in the history

  2. Switch to non-preview rustfmt/clippy

    @dwijnand
    dwijnand committed Feb 9, 2019
    Configuration menu
    Copy the full SHA
    9a4924f View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2019

  1. Clippy won't always be available on nightly

    @dwijnand
    dwijnand committed Feb 10, 2019
    Configuration menu
    Copy the full SHA
    46bd69e View commit details
    Browse the repository at this point in the history

  2. Switch to modified strum_macros

    @dwijnand
    dwijnand committed Feb 10, 2019
    Configuration menu
    Copy the full SHA
    b27e3fa View commit details
    Browse the repository at this point in the history

  3. Add clippy (back) on the stable channel

    @dwijnand
    dwijnand committed Feb 10, 2019
    Configuration menu
    Copy the full SHA
    b1bbb6e View commit details
    Browse the repository at this point in the history

  4. Allow stable clippy to run by updating bh_alloc 

    Previous bh_alloc used "feature(tool_lints)" which is nightly only.
    @dwijnand
    dwijnand committed Feb 10, 2019
    Configuration menu
    Copy the full SHA
    fa3c6bf View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2019

  1. Switch to upstream strum_macros, now that my PR is merged

    @dwijnand
    dwijnand committed Feb 18, 2019
    Configuration menu
    Copy the full SHA
    6379668 View commit details
    Browse the repository at this point in the history