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.

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

Fix up frequency #338

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Fix up frequency #338

wants to merge 3 commits into from

Commits on Nov 11, 2019

  1. Fix up frequency

    * Make `frequency` detect negative frequencies, frequency
      total overflow, and zero total frequency.
    
    * Rewrite `frequency` to build an `IntMap` to represent the
      frequency list, which greatly improves efficiency for long
      lists.
    
    * Bump `containers` lower bound to 0.5.11.
    
    Fixes hedgehogqa#337.
    treeowl committed Nov 11, 2019
    Configuration menu
    Copy the full SHA
    748aa70 View commit details
    Browse the repository at this point in the history
  2. Discard in all-zero case

    treeowl committed Nov 11, 2019
    Configuration menu
    Copy the full SHA
    783059a View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2019

  1. Remove impossible error

    * Make the `IntMap` one smaller and hold the last element
      as a fall-through.
    
    * Use a lazy `IntMap` instead of a strict one; there's no
      sense in forcing such polymorphic things.
    treeowl committed Nov 12, 2019
    Configuration menu
    Copy the full SHA
    4f4f3ca View commit details
    Browse the repository at this point in the history