fix: classify negative literals in grind by their syntactic type

74e33e8

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Close PRs from outside contributors on: pull_request_target 2

close-external-pr

Check stdlib_flags.h modifications on: pull_request_target 2

check-stdlib-flags

Check PR body for changelog convention on: pull_request_target 2

check-pr-body

Check for modules that should use `prelude` on: pull_request 1

check-prelude

Check for empty PR on: pull_request 1

check-empty-pr

Check for copyright header on: pull_request 1

check-lean-files

CI on: pull_request 4

configure

build / Linux release

build-secondary

Build matrix complete

release

release-nightly

Check for stage0 changes on: pull_request 1

check-stage0-on-queue

Check PR title for commit convention on: pull_request 1

check-pr-title

Restart by label on: pull_request_target 1

restart-on-label

Check stdlib_flags.h modifications on: pull_request_target 2

check-stdlib-flags

Backport on: pull_request_target 1

Backport

Adaptation PR on: pull_request_target 1

create-adaptation-pr