Skip to content

Pull requests: oscar-system/GAP.jl

New pull request New
13 Open 958 Closed
13 Open 958 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

unconditionally set a global Download timeout
#1382 opened May 8, 2026 by ThomasBreuer Member Loading…
1
set timeout for downloads in GAP.Packages.test
#1381 opened May 5, 2026 by ThomasBreuer Member Loading…
6
Update GAP to 4.16.0-beta1
#1379 opened May 5, 2026 by lgoettgens Member • Draft
4
Conversions for fpMatrix/FpMatrix
#1377 opened May 4, 2026 by mjrodgers Loading…
6
POC: Update semigroups to 5.6.1
#1370 opened Apr 7, 2026 by lgoettgens Member • Draft
1
Greatly improve stack trace shown on GAP errors
#1361 opened Mar 13, 2026 by fingolfin Member Loading…
64
CI: enable coverage tracking in generated gap.sh topic: tests CI coverage
#1344 opened Feb 2, 2026 by fingolfin Member • Draft
2
CI: pass --coverage to C/LDFLAGS when building JuliaInterface in treehash job
#1343 opened Jan 31, 2026 by fingolfin Member • Draft
2
CI: change use of FORCE_JULIAINTERFACE_COMPILATION
#1339 opened Jan 31, 2026 by fingolfin Member • Draft
2
Add script for running JET with options
#1312 opened Jan 7, 2026 by fingolfin Member • Draft
6
Add a gap function JuliaPrompt as inverse to GAP.prompt()
#1301 opened Dec 4, 2025 by lgoettgens Member Loading…
1
3
Test GAP.Packages.install/remove in a temporary directory
#584 opened Dec 11, 2020 by fingolfin Member Loading…
1
2
Serialize GAP calls from within Julia. kind: enhancement New feature or request
#505 opened Jul 25, 2020 by rbehrends Contributor Loading…
23
ProTip! Adding no:label will show everything without a label.