tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-08-16 12:10:33 +03:00
Code Issues Projects Releases Wiki Activity

add a note about libffi

Browse Source
This commit is contained in:
Norman Ramsey 2021-10-29 10:26:16 -04:00
parent c60eef1b60
commit f4226ae9e5
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/rts-migration.md
View File

@ -65,7 +65,7 @@ time, on a congenial platform like Linux.
Using a feature vector will also have advantages for debugging.
If a validation test exposes a fault, we can use automation (like
QuickCheck) to find a _minimal_ set of WebAssembly features that
QuickCheck) to find a _minimal_ set of non-POSIX mechanisms features that
trigger the fault. Debugging a run-time system can be very
time-consuming, and using automation to isolate buggy features should help.
@ -78,3 +78,9 @@ list looks like this:
- Signals
- `libffi`[^libffi]
[^libffi]: This library is used to help with foreign calls. Its
implementation is deeply platform-dependent. We may have to port a
subset to WebAssembly.