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.

Sign up for GitHub

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

Jump to bottom

[CN-Exec] More general allocation #863

Merged
merged 7 commits into from
Feb 13, 2025
Merged

[CN-Exec] More general allocation #863

merged 7 commits into from
Feb 13, 2025

Conversation

ZippeyKeys12
Copy link
Collaborator

  • Adds an explicit free list allocator
    • Move hash tables and error messages to using this allocator
    • Modifies bump allocator to be backed by the FL allocator
  • Reduce memory usage by using cn_bump_aligned_alloc for integers
  • Add reset_fulminate to reset all the Fulminate-specific state

Makes progress on #859

@ZippeyKeys12 ZippeyKeys12 added cn CN-exec Related to CN executable spec generation, called using `cn instrument` labels Feb 12, 2025
@ZippeyKeys12 ZippeyKeys12 self-assigned this Feb 12, 2025
@ZippeyKeys12 ZippeyKeys12 force-pushed the cn-test-gen-fl branch 4 times, most recently from a4b3aae to cafcab4 Compare February 12, 2025 21:30
@ZippeyKeys12 ZippeyKeys12 merged commit 99b260a into rems-project:master Feb 13, 2025
5 checks passed
@ZippeyKeys12 ZippeyKeys12 deleted the cn-test-gen-fl branch February 13, 2025 01:27
This was referenced Feb 26, 2025
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@ZippeyKeys12 ZippeyKeys12

Labels
cn CN-exec Related to CN executable spec generation, called using `cn instrument`
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ZippeyKeys12