Skip to content

Pull requests: gap-packages/smallsemi

New pull request New
Clear current search query, filters, and sorts
1 Open 37 Closed
1 Open 37 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Tweak Travis
#17 by wilfwilson was closed Apr 6, 2021 Loading…
11
Declare IsSemigroupWithClosedIdempotents only when needed, and for all semigroups
#4 by wilfwilson was merged Jul 22, 2019 Loading…
8
Fix manual examples and hence the test suite
#14 by fingolfin was merged Aug 12, 2019 Loading…
4
Extract examples using AutoDoc
#12 by fingolfin was merged Aug 2, 2019 Loading…
5
Make DiagonalOfMultiplicationTable declaration more generic
#48 by fingolfin was merged Dec 7, 2024 Loading…
3
Rewrite data/data8-3nil/diag*pos.gl.gz files, avoid one use of EvalString
#42 by fingolfin was merged Aug 9, 2024 Loading…
3
Turn BLUEPRINT_MATS into a function
#40 by fingolfin was merged Jun 15, 2024 Loading…
3
Switch CI to use GitHub Actions
#20 by fingolfin was merged May 7, 2021 Loading…
4
Tell AutoDoc to process the bibliography.
#16 by jamesjer was merged Aug 27, 2019 Loading…
4
Fix viewing/printing for IsIteratorOfSmallSemigroups
#13 by fingolfin was merged Aug 2, 2019 Loading…
3
Remove version in README
#47 by fingolfin was merged Dec 7, 2024 Loading…
1
2
Revert aa83955 changes to data files
#35 by james-d-mitchell was merged May 17, 2024 Loading…
1
2
Lint
#30 by james-d-mitchell was merged Jan 16, 2024 Loading…
2
Prepare v0.6.13
#24 by fingolfin was merged Feb 28, 2022 Loading…
3
Update CHANGELOG
#21 by fingolfin was merged Feb 28, 2022 Loading…
2
Release candidate for v0.6.12 release-candidate
#15 by james-d-mitchell was merged Aug 16, 2019 Loading…
2
Update docs (GPLv3 was renamed to LICENSE), update various URLs
#11 by fingolfin was merged Jul 25, 2019 Loading…
2
generate manual main page (including entities) via AutoDoc
#10 by fingolfin was merged Jul 25, 2019 Loading…
2
PackageInfo.g: add License field, update copyright
#9 by fingolfin was merged Jul 25, 2019 Loading…
2
Revert removal of SmallsemiMakeDoc
#8 by james-d-mitchell was closed Aug 2, 2019 Loading…
2
Bump codecov/codecov-action from 4 to 5 dependencies Pull requests that update a dependency file
#46 by dependabot bot was merged Nov 19, 2024 Loading…
1
Generalize IsSelfDualSemigroup declaration
#45 by fingolfin was merged Nov 2, 2024 Loading…
1
Update version numbers etc for v0.7.1 release-candidate
#43 by james-d-mitchell was merged Aug 27, 2024 Loading…
1
Fix codecov integration to use upload token
#41 by fingolfin was merged Jun 15, 2024 Loading…
1
Cleanups
#32 by james-d-mitchell was merged May 20, 2024 Loading…
1
ProTip! What’s not been updated in a month: updated:<2024-12-31.