Skip to content

Conversation

@ttuegel
Copy link
Contributor

@ttuegel ttuegel commented Feb 11, 2020

After: #1538
Fixes: #1399


Reviewer checklist
  • Test coverage: stack test --coverage
  • Public API documentation: stack haddock

@ttuegel ttuegel changed the title Feature fresh partial ord Avoid allocation in refreshVariable Feb 11, 2020
@ttuegel ttuegel force-pushed the feature--FreshPartialOrd branch from 41770aa to 005c912 Compare February 12, 2020 19:36
@ttuegel ttuegel force-pushed the feature--FreshPartialOrd branch from 005c912 to ae90eb9 Compare February 13, 2020 16:09
@ttuegel ttuegel force-pushed the feature--FreshPartialOrd branch 2 times, most recently from 44b7d9b to 180bedc Compare February 14, 2020 17:12
@ttuegel ttuegel marked this pull request as ready for review February 17, 2020 03:05
@ttuegel ttuegel requested a review from ana-pantilie February 17, 2020 03:06
@ttuegel ttuegel force-pushed the feature--FreshPartialOrd branch 2 times, most recently from 094eb5c to 9844526 Compare February 18, 2020 17:14
@ttuegel ttuegel force-pushed the feature--FreshPartialOrd branch from 9844526 to 69390f1 Compare February 18, 2020 18:29
@ttuegel ttuegel merged commit dafda53 into runtimeverification:master Feb 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

refreshVariable should avoid allocation

2 participants