Skip to content

Pull requests: gap-system/gap

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add CI job that tests with GAP.jl
#5733 opened May 31, 2024 by lgoettgens Loading…
Minimal Permutation Degree for Simple Groups
#5732 opened May 29, 2024 by pranav-joshi-iitgn Loading…
avoid an attribute value after leaving a break loop kind: discussion discussions, questions, requests for comments, and so on release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes
#5731 opened May 28, 2024 by ThomasBreuer Loading…
Check when we build a library, it functions correctly (in particular … do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results)
#5721 opened May 22, 2024 by ChrisJefferson Loading…
in general, do not use a known Name value in PrintObj kind: quirk Issues that are not bugs, but a discrepancy between user expectation and system behavior release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: library
#5701 opened Apr 16, 2024 by ThomasBreuer Loading…
Bump codecov/codecov-action from 3 to 4 dependencies Pull requests that update a dependency file release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes
#5641 opened Feb 19, 2024 by dependabot bot Loading…
get rid of ImmutableVector calls (WIP) do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library
#5307 opened Jan 6, 2023 by ThomasBreuer Loading…
Remove VISITED_STAT release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: kernel
#5261 opened Dec 12, 2022 by ChrisJefferson Draft
WIP: positional matrix obj rep
#5217 opened Nov 24, 2022 by fingolfin Draft
Add generic DisplayString function gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer
#5163 opened Oct 21, 2022 by danielrademacher Draft
Provide a generic test suite for MatrixObjects gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes topic: tests issues or PRs related to tests
#5162 opened Oct 21, 2022 by wucas Draft
5 tasks
Don't use One on collections that are not domains gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library
#5155 opened Oct 20, 2022 by fingolfin Loading…
Add a minimal matrix object implementation gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes
#5152 opened Oct 20, 2022 by wucas Loading…
Extend StreamFormatting to seperate linewrap and indenting gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer
#5140 opened Oct 19, 2022 by ChrisJefferson Loading…
Matrix object type: upper triangular matrices gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer topic: library
#5130 opened Oct 19, 2022 by danielrademacher Draft
Implement a new matrix object using flat lists in row-major form gapdays2022-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2022-summer kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes
#5121 opened Oct 16, 2022 by wucas Draft
Add Exec2, the "better version of Exec" kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: library
#5103 opened Oct 11, 2022 by fingolfin Draft
Warn users on 32-bit CPUs and big-endian CPUs do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) kind: discussion discussions, questions, requests for comments, and so on
#5074 opened Sep 29, 2022 by ChrisJefferson Loading…
kernel: change how ours GCs represent master pointers release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: kernel
#4937 opened Jul 12, 2022 by fingolfin Draft
ProTip! Updated in the last three days: updated:>2024-05-29.