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

Provide datastructures for hashconsed expressions #53

Closed
1 of 3 tasks
filipeom opened this issue Jan 15, 2024 · 1 comment
Closed
1 of 3 tasks

Provide datastructures for hashconsed expressions #53

filipeom opened this issue Jan 15, 2024 · 1 comment
Labels
type: feature

Comments

@filipeom
Copy link
Member

filipeom commented Jan 15, 2024 •
edited
Loading

  • Set
  • Map
  • Map_of_set?
@filipeom filipeom mentioned this issue Aug 31, 2024
Merged
@filipeom filipeom moved this to In Progress in Smtml: TACAS'25 tool paper Aug 31, 2024
@filipeom filipeom moved this from In Progress to Done in Smtml: TACAS'25 tool paper Sep 2, 2024
@filipeom filipeom moved this from Done to In Progress in Smtml: TACAS'25 tool paper Sep 2, 2024
@filipeom filipeom closed this as completed by moving to In Progress in Smtml: TACAS'25 tool paper Sep 2, 2024
@github-project-automation github-project-automation bot moved this from In Progress to Done in Smtml: TACAS'25 tool paper Sep 2, 2024
@filipeom filipeom reopened this Sep 2, 2024
@filipeom filipeom moved this from state: done to state: in progress in Smtml: TACAS'25 tool paper Sep 2, 2024
@filipeom
Copy link
Member Author

filipeom commented Feb 8, 2025

Not adding Map atm as I think we need to make Expr.Set a generative functor so that we don't have memory leaks like in ECMA-SL

@filipeom filipeom closed this as not planned Won't fix, can't repro, duplicate, stale Feb 8, 2025
@github-project-automation github-project-automation bot moved this from state: in progress to state: done in Smtml: TACAS'25 tool paper Feb 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: feature
Projects
No open projects
Smtml: TACAS'25 tool paper
Status: state: done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@filipeom