Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

A bunch of HPC-GAP fixes by Reimer #3742

Merged
merged 6 commits into from
Nov 14, 2019

Conversation

fingolfin
Copy link
Member

This is a bunch of commits based on commits by @rbehrends from PR #2845 and PR #3734 (in some cases I extracted parts of a commit by Reimer into a new commit.

I think these are all safe to merge right away, and then reviewing the two PRs above becomes a little bit easier, I hope.

Making the method cache entries public avoids potential trouble with
method cache lookup. Disabling guards for cache access also eliminates
overhead on a couple of critical paths.
They were in boehm_gc.c, but in reality these functions
are not Bohem specific but rather HPC-GAP specific.
@fingolfin fingolfin added topic: HPC-GAP Issues and PRs related to HPC-GAP release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Nov 14, 2019
@coveralls
Copy link

coveralls commented Nov 14, 2019

Coverage Status

Coverage decreased (-0.0002%) to 84.512% when pulling ed8176a on fingolfin:mh/hpcgap-fixes into 3111e67 on gap-system:master.

@fingolfin fingolfin merged commit 85588b0 into gap-system:master Nov 14, 2019
@fingolfin fingolfin deleted the mh/hpcgap-fixes branch November 14, 2019 15:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: HPC-GAP Issues and PRs related to HPC-GAP
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants