Conrad Lippert-Zajaczkowski

Now there is an option called "puppeteerUserDataDir" which allows the user to specify a path to the Chrome User Data Directory they would like to use.

WasmSupport.c:21: undefined reference to `WasmSupport_trap'

3

I'm using Ubuntu linux with a recent FStar and kreMLin from master. When attempting to run: `krml -verbose Introduction.fst -no-prefix Introduction -o test.exe && ./test.exe` Where Introduction is the example...

fixes addon on apps with engines

10

Fixed build failing in applications with ember-engines.