Code

Various fixes#500

Code

Merged

vitalych merged 4 commits intomasterS2E/s2e-env:masterfrom issue/fixesS2E/s2e-env:issue/fixesCopy head branch name to clipboardApr 13, 2024

+47-18

Commits

Commits on Apr 1, 2024

• templates/launch-s2e: load pretty printers for gdb

  Show description for 601b615
  vitalych

  committed
  601b615

  Copy full SHA for 601b615

Commits on Apr 6, 2024

• config: added libzstd-dev

  Show description for 491baa1
  vitalych

  committed
  491baa1

  Copy full SHA for 491baa1

Commits on Apr 13, 2024

• forkprofile: fixed spacing

  Show description for 6f8d5e9
  vitalych

  committed
  6f8d5e9

  Copy full SHA for 6f8d5e9

• symbols: fixed slow symbol load

  Show description for 683283d
  vitalych

  committed
  683283d

  Copy full SHA for 683283d