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

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
kernel: change SyExecuteProcess to use posix_spawn os: windows Issues and PRs that are (at least partially) specific to Windows release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: kernel
#4799 opened Feb 27, 2022 by fingolfin Draft
Better errors when loading packages fails gapdays2022-winter Issues and PRs that could be tackled or discussed at https://www.gapdays.de/gapdays2022-winter 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 topic: library topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
#4795 opened Feb 24, 2022 by ChrisJefferson Loading…
Fix One issue
#4768 opened Feb 14, 2022 by james-d-mitchell Loading…
ProTip! Updated in the last three days: updated:>2024-05-21.