Skip to content

PointBasedHeap type rewriting#182

Merged
lucaneg merged 1 commit intomasterfrom
type-rewrite
Feb 7, 2022
Merged

PointBasedHeap type rewriting#182
lucaneg merged 1 commit intomasterfrom
type-rewrite

Conversation

@lucaneg
Copy link
Member

@lucaneg lucaneg commented Feb 7, 2022

Fixed bugs
Closes #181

@lucaneg lucaneg added 🐛 type:bug Something isn't working 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Feb 7, 2022
@lucaneg lucaneg added this to the 0.1b5 milestone Feb 7, 2022
@lucaneg lucaneg self-assigned this Feb 7, 2022
@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Feb 7, 2022
@github-actions

This comment has been minimized.

@lucaneg lucaneg removed the 🏗 resolution:wip Incomplete work - do not review yet label Feb 7, 2022
@lucaneg lucaneg merged commit 9f032e3 into master Feb 7, 2022
@lucaneg lucaneg deleted the type-rewrite branch February 7, 2022 14:47
@github-actions
Copy link

github-actions bot commented Feb 7, 2022

All Test Results (unit + cron)

  45 files  ±0    45 suites  ±0   27s ⏱️ -3s
229 tests ±0  229 ✔️ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 9f032e3. ± Comparison against base commit a3152ee.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🐛 type:bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] Wrong type carried over from expression rewriting in PointBasedHeap

1 participant