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

Update IsSemigroupWithClosedIdempotents
#3 by james-d-mitchell was closed Jun 6, 2019 Loading… updated Jun 6, 2019
1
Add Travis and Codecov support
#5 by fingolfin was merged Jul 22, 2019 Loading… updated Jul 22, 2019
1
Declare IsSemigroupWithClosedIdempotents only when needed, and for all semigroups
#4 by wilfwilson was merged Jul 22, 2019 Loading… updated Jul 22, 2019
8
small: fix issue 2 bug Something isn't working
#7 by james-d-mitchell was merged Jul 22, 2019 Loading… updated Jul 23, 2019
1
1
Revert removal of SmallsemiMakeDoc
#8 by james-d-mitchell was closed Aug 2, 2019 Loading… updated Aug 2, 2019
2
Fix viewing/printing for IsIteratorOfSmallSemigroups
#13 by fingolfin was merged Aug 2, 2019 Loading… updated Aug 5, 2019
3
generate manual main page (including entities) via AutoDoc
#10 by fingolfin was merged Jul 25, 2019 Loading… updated Aug 7, 2019
2
Update docs (GPLv3 was renamed to LICENSE), update various URLs
#11 by fingolfin was merged Jul 25, 2019 Loading… updated Aug 7, 2019
2
PackageInfo.g: add License field, update copyright
#9 by fingolfin was merged Jul 25, 2019 Loading… updated Aug 7, 2019
2
Extract examples using AutoDoc
#12 by fingolfin was merged Aug 2, 2019 Loading… updated Aug 7, 2019
5
Fix manual examples and hence the test suite
#14 by fingolfin was merged Aug 12, 2019 Loading… updated Aug 13, 2019
4
Tell AutoDoc to process the bibliography.
#16 by jamesjer was merged Aug 27, 2019 Loading… updated Aug 27, 2019
4
Accommodate future changed ViewStrings in GAP
#18 by wilfwilson was merged May 14, 2020 Loading… updated Jun 28, 2020
1
Switch CI to use GitHub Actions
#20 by fingolfin was merged May 7, 2021 Loading… updated May 7, 2021
4
Release candidate for v0.6.12 release-candidate
#15 by james-d-mitchell was merged Aug 16, 2019 Loading… updated May 7, 2021
2
Add comment to declaration of MinimalGeneratingSet
#19 by wilfwilson was merged May 20, 2021 Loading… updated May 20, 2021
Tweak Travis
#17 by wilfwilson was closed Apr 6, 2021 Loading… updated May 20, 2021
11
CI: Ensure code coverage reporting will work in February 2022 and beyond
#22 by fingolfin was merged Feb 2, 2022 Loading… updated Feb 2, 2022
1
Update CHANGELOG
#21 by fingolfin was merged Feb 28, 2022 Loading… updated Feb 28, 2022
2
Prepare v0.6.13
#24 by fingolfin was merged Feb 28, 2022 Loading… updated Feb 28, 2022
3
Replace DeclareGlobalVariable/InstallValue by BindGlobal
#26 by fingolfin was merged Sep 25, 2022 Loading… updated Sep 25, 2022
1
Update CI config
#27 by fingolfin was merged Jan 11, 2024 Loading… updated Jan 11, 2024
2
Switch to two argument version of ReadPackage
#28 by fingolfin was merged Jan 11, 2024 Loading… updated Jan 11, 2024
2
Lint all files in gap/* + PackageInfo.g, and make some simplifications
#29 by james-d-mitchell was closed Jan 16, 2024 Loading… updated Jan 16, 2024
Lint
#30 by james-d-mitchell was merged Jan 16, 2024 Loading… updated Jan 16, 2024
2
ProTip! Adding no:label will show everything without a label.