Skip to content

Pull requests: semigroups/Semigroups

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

Pull requests list

build: override bundled libsemigroups install paths build-system A label for issues or PRs related to the build system
#1074 opened Jul 21, 2025 by jengelh Loading…
Add preliminary support for TwistedBipartitions new-feature A label for PRs that contain new features
#1065 opened Jun 18, 2025 by james-d-mitchell Loading…
Libsemigroups v3.0.2 WIP Label for PRs that are Works In Progress (WIP)
#1058 opened Apr 8, 2025 by james-d-mitchell Draft
Add Cartan matrix computation for monoids new-feature A label for PRs that contain new features waiting-for-creator-input A label for issues or PR that are waiting for input from their creator
#1048 opened Feb 12, 2025 by JosephDayngerRuiz Loading…
Add sandwich semigroup new-feature A label for PRs that contain new features
#1042 opened Oct 18, 2024 by MTWhyte Draft
Mitsch Order new-feature A label for PRs that contain new features
#1024 opened Jul 26, 2024 by Tianrun-Y Loading…
Implement LeftSemigroupIdeal and RightSemigroupIdeal new-feature A label for PRs that contain new features
#1009 opened Mar 26, 2024 by Jun2M Loading…
Better dot do not merge Label for PR that should not be merged
#1007 opened Mar 13, 2024 by james-d-mitchell Loading…
Add ToddCoxeterBand method do not merge Label for PR that should not be merged WIP Label for PRs that are Works In Progress (WIP)
#691 opened Jul 9, 2020 by tomcontileslie Loading…
Free band elements by graph representation do not merge Label for PR that should not be merged enhancement A label for issues or PRs that offer an enhancement to existing functionality WIP Label for PRs that are Works In Progress (WIP)
#689 opened Jul 7, 2020 by reiniscirpons Loading…
12 of 25 tasks
ProTip! Adding no:label will show everything without a label.