Update `ecma-sl` to track main

formalsec / explode-js

Public mirror for Explode.js

MIT License

2 stars 0 forks source link

Open filipeom opened 2 months ago

filipeom commented 2 months ago

Updates ecma-sl vendor submodule to the latest stable commit of ecma-sl.

Adds --debug argument to allow ecma-sl debugging during symbolic execution.

Uses Logs library

filipeom commented 2 months ago

Waiting on formalsec/ECMA-SL#175