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

Hide more symbols in ELF shared libs #449

Merged
merged 1 commit into from
Aug 12, 2023

Conversation

haampie
Copy link
Contributor

@haampie haampie commented Aug 12, 2023

No description provided.

@rkaminsk rkaminsk merged commit ec6b69b into potassco:wip Aug 12, 2023
3 checks passed
@rkaminsk
Copy link
Member

rkaminsk commented Aug 12, 2023

See #447 for a discussion.

@rkaminsk rkaminsk added this to the v5.7.0 milestone Aug 12, 2023
@haampie haampie deleted the fix/hide-symbols branch August 13, 2023 08:37
tgamblin added a commit to spack/spack that referenced this pull request Feb 15, 2024
5.7.0 was just released. It includes a number of changes requested and/or
upstreamed by Spack developers, e.g.:

* API for accessing optimization priorities: potassco/clingo#406
* Hash optimization: potassco/clingo#441
* Contributing Guide: potassco/clingo#465
* Hiding more ELF symbols:
  * potassco/clingo#447
  * potassco/clingo#449
alalazo pushed a commit to spack/spack that referenced this pull request Feb 16, 2024
5.7.0 was just released. It includes a number of changes requested and/or
upstreamed by Spack developers, e.g.:

* API for accessing optimization priorities: potassco/clingo#406
* Hash optimization: potassco/clingo#441
* Contributing Guide: potassco/clingo#465
* Hiding more ELF symbols:
  * potassco/clingo#447
  * potassco/clingo#449
mathomp4 pushed a commit to mathomp4/spack that referenced this pull request Mar 27, 2024
5.7.0 was just released. It includes a number of changes requested and/or
upstreamed by Spack developers, e.g.:

* API for accessing optimization priorities: potassco/clingo#406
* Hash optimization: potassco/clingo#441
* Contributing Guide: potassco/clingo#465
* Hiding more ELF symbols:
  * potassco/clingo#447
  * potassco/clingo#449
teaguesterling pushed a commit to teaguesterling/spack that referenced this pull request Jun 15, 2024
5.7.0 was just released. It includes a number of changes requested and/or
upstreamed by Spack developers, e.g.:

* API for accessing optimization priorities: potassco/clingo#406
* Hash optimization: potassco/clingo#441
* Contributing Guide: potassco/clingo#465
* Hiding more ELF symbols:
  * potassco/clingo#447
  * potassco/clingo#449
kwryankrattiger pushed a commit to kwryankrattiger/spack that referenced this pull request Jul 9, 2024
5.7.0 was just released. It includes a number of changes requested and/or
upstreamed by Spack developers, e.g.:

* API for accessing optimization priorities: potassco/clingo#406
* Hash optimization: potassco/clingo#441
* Contributing Guide: potassco/clingo#465
* Hiding more ELF symbols:
  * potassco/clingo#447
  * potassco/clingo#449
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants