Skip to content
This repository was archived by the owner on Dec 2, 2024. It is now read-only.

Raduom/memory leaks #174

Merged
merged 3 commits into from
Dec 7, 2021
Merged

Raduom/memory leaks #174

merged 3 commits into from
Dec 7, 2021

Conversation

raduom
Copy link
Contributor

@raduom raduom commented Dec 6, 2021

Add strictness to data structures and operations involving the PAB.

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Relevant tickets are mentioned in commit messages
    • Formatting, materialized Nix files, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

Making the Map strict still does not seem to have any effect on memory
consumption.
@raduom raduom self-assigned this Dec 6, 2021
@raduom raduom force-pushed the raduom/memory-leaks branch 7 times, most recently from bff3454 to 90790c6 Compare December 7, 2021 10:31
@raduom raduom marked this pull request as ready for review December 7, 2021 10:36
@raduom raduom requested a review from silky December 7, 2021 10:39
@raduom raduom force-pushed the raduom/memory-leaks branch from 90790c6 to ef1b7c9 Compare December 7, 2021 11:06
@raduom raduom merged commit 46527f2 into IntersectMBO:main Dec 7, 2021
@raduom raduom deleted the raduom/memory-leaks branch December 7, 2021 12:53
olgaklimenko added a commit to olgaklimenko/plutus-apps that referenced this pull request Dec 14, 2021
olgaklimenko added a commit to olgaklimenko/plutus-apps that referenced this pull request Dec 17, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants