Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[WIP] Update WAVM to 7th Feb 2019 #493

Draft
wants to merge 4 commits into
base: master
Choose a base branch
from
Draft

[WIP] Update WAVM to 7th Feb 2019 #493

wants to merge 4 commits into from

Conversation

axic
Copy link
Member

@axic axic commented Feb 8, 2019

No description provided.

@axic
Copy link
Member Author

axic commented Feb 8, 2019

@chfast apparently instead of this mess we do in the install scripts, the WAVM author suggests the following: WAVM/WAVM#128

I'm not versed in cmake at all to know if that helps. Can you check?

@codecov-io
Copy link

codecov-io commented Feb 8, 2019

Codecov Report

Merging #493 into master will increase coverage by 0.98%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #493      +/-   ##
==========================================
+ Coverage   51.18%   52.17%   +0.98%     
==========================================
  Files           8        8              
  Lines        1346     1311      -35     
  Branches      130      129       -1     
==========================================
- Hits          689      684       -5     
+ Misses        630      600      -30     
  Partials       27       27

@axic axic changed the title Update WAVM to 7th Feb 2018 Update WAVM to 7th Feb 2019 Feb 8, 2019
@axic axic force-pushed the wavm-update branch 2 times, most recently from 0dbae10 to d4e36cd Compare February 8, 2019 14:11
@chfast
Copy link
Collaborator

chfast commented Feb 8, 2019

Can you check?

This will not work in our case unless you add it to Hunter.

@axic axic force-pushed the wavm-update branch 4 times, most recently from 71f3068 to 114cd89 Compare February 12, 2019 18:52
@axic
Copy link
Member Author

axic commented Feb 25, 2019

@chfast can you review this? My only requirement for this PR would be that we do not have larger memory leak due to our code than before.

@axic
Copy link
Member Author

axic commented Feb 25, 2019

This is broken after the rebase 😢

@axic axic changed the title Update WAVM to 7th Feb 2019 [WIP] Update WAVM to 7th Feb 2019 Apr 30, 2019
@axic axic marked this pull request as draft June 9, 2020 13:51
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants