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

Replace quickcheck by proptest #837

Merged
merged 18 commits into from Mar 1, 2021
Merged

Replace quickcheck by proptest #837

merged 18 commits into from Mar 1, 2021

Commits on Feb 28, 2021

  1. Copy the full SHA
    6cfd2bc View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    74f4b0b View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    c606b01 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2021

  1. Fix wasm compilation.

    sebcrozet committed Mar 1, 2021
    Copy the full SHA
    e27ff8c View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    2e16057 View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    53cc1c1 View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    5bc8e65 View commit details
    Browse the repository at this point in the history
  5. Copy the full SHA
    c4d0e82 View commit details
    Browse the repository at this point in the history
  6. Copy the full SHA
    56b63b7 View commit details
    Browse the repository at this point in the history
  7. Delete circleci.

    sebcrozet committed Mar 1, 2021
    Copy the full SHA
    370e059 View commit details
    Browse the repository at this point in the history
  8. Copy the full SHA
    9d8c347 View commit details
    Browse the repository at this point in the history
  9. Copy the full SHA
    1aa0b91 View commit details
    Browse the repository at this point in the history
  10. Copy the full SHA
    1c28720 View commit details
    Browse the repository at this point in the history
  11. Copy the full SHA
    258ecf2 View commit details
    Browse the repository at this point in the history
  12. Copy the full SHA
    80aa4fa View commit details
    Browse the repository at this point in the history
  13. Copy the full SHA
    a9558a3 View commit details
    Browse the repository at this point in the history
  14. github actions: fix yaml

    sebcrozet committed Mar 1, 2021
    Copy the full SHA
    abf03a7 View commit details
    Browse the repository at this point in the history
  15. Copy the full SHA
    3270e8e View commit details
    Browse the repository at this point in the history