Stream: git-wasmtime

Topic: wasmtime / PR #2351 peepmatic: Update to z3 version 0.7.1


view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2020 at 18:55):

fitzgen opened PR #2351 from update-z3 to main:

This fixes a memory leak related to custom datatypes:
https://github.com/prove-rs/z3.rs/pull/104

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2020 at 18:55):

fitzgen requested alexcrichton for a review on PR #2351.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2020 at 19:08):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2020 at 19:51):

fitzgen merged PR #2351.


Last updated: Dec 23 2024 at 12:05 UTC