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

Strict pluck #482 #522

Merged
merged 18 commits into from
Nov 27, 2018
Merged

Strict pluck #482 #522

merged 18 commits into from
Nov 27, 2018

Commits on Nov 27, 2018

  1. Configuration menu
    Copy the full SHA
    d19e803 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ae33c46 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ab4e5b8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0ce0ea8 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    08f89b3 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    116a700 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    38b574e View commit details
    Browse the repository at this point in the history
  8. Rename extract.c to pluck.c

    lionel- committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    feed03f View commit details
    Browse the repository at this point in the history
  9. Use bool type in pluck.c

    lionel- committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    4027eb6 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    1e9d00f View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    210e670 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    7dd29d8 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    c0384cf View commit details
    Browse the repository at this point in the history
  14. Use %d specifier instead of %i

    The latter wrongly suggests something is going on with different
    literal types
    lionel- committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    50f5ba9 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    68ad335 View commit details
    Browse the repository at this point in the history
  16. Tweak error message style

    lionel- committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    344bbba View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    94572ed View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    8b124ee View commit details
    Browse the repository at this point in the history