-
Notifications
You must be signed in to change notification settings - Fork 160
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
Crash in partial perm #2301
Labels
kind: bug: crash
Issues describing bugs that cause GAP to crash, and PRs fixing them (used for release notes)
kind: bug
Issues describing general bugs, and PRs fixing them
Comments
fingolfin
added
kind: bug
Issues describing general bugs, and PRs fixing them
kind: bug: crash
Issues describing bugs that cause GAP to crash, and PRs fixing them (used for release notes)
labels
Mar 25, 2018
Weird, this shouldn't even be called. Fix coming. |
james-d-mitchell
pushed a commit
to james-d-mitchell/gap
that referenced
this issue
Mar 26, 2018
Merged
james-d-mitchell
pushed a commit
to james-d-mitchell/gap
that referenced
this issue
Mar 26, 2018
james-d-mitchell
pushed a commit
to james-d-mitchell/gap
that referenced
this issue
Mar 29, 2018
james-d-mitchell
pushed a commit
to james-d-mitchell/gap
that referenced
this issue
Mar 29, 2018
james-d-mitchell
pushed a commit
to james-d-mitchell/gap
that referenced
this issue
Apr 2, 2018
This was fixed by PR #2305 |
ChrisJefferson
pushed a commit
to ChrisJefferson/gap
that referenced
this issue
Jun 14, 2018
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
kind: bug: crash
Issues describing bugs that cause GAP to crash, and PRs fixing them (used for release notes)
kind: bug
Issues describing general bugs, and PRs fixing them
With kernel debug turned on:
The text was updated successfully, but these errors were encountered: