Code

Support for ARM64 environments#86

Code

Open

msprotz wants to merge 12 commits intomasterproject-everest/everest:masterfrom protz_aarch64project-everest/everest:protz_aarch64Copy head branch name to clipboard

+7,863-31

Commits

Commits on Jan 5, 2022

• On AArch64, compile Z3 from source

  

  Jonathan Protzenko

  committed
  61917e1

  Copy full SHA for 61917e1

• syntax

  

  Jonathan Protzenko

  committed
  3bb5a49

  Copy full SHA for 3bb5a49

• Merge ssh://armagnac.local/~/Code/everest into protz_aarch64

  msprotz

  committed
  030d454

  Copy full SHA for 030d454

• fixups

  msprotz

  committed
  ff86daa

  Copy full SHA for ff86daa

• path woes

  msprotz

  committed
  fd7a84e

  Copy full SHA for fd7a84e

Commits on Jan 6, 2022

• Run a test to determine whether z3 segfaults

  msprotz

  committed
  7edf0de

  Copy full SHA for 7edf0de

• try differently

  msprotz

  committed
  4f105ad

  Copy full SHA for 4f105ad

• Even better

  msprotz

  committed
  fd0142b

  Copy full SHA for fd0142b

• semicolon

  msprotz

  committed
  38992bf

  Copy full SHA for 38992bf

• typo

  msprotz

  committed
  b27512f

  Copy full SHA for b27512f

Commits on Jan 7, 2022

• typo

  msprotz

  committed
  186cc86

  Copy full SHA for 186cc86

Commits on Jan 9, 2022

• Try with older z3.

  Show description for b1ec481
  msprotz

  committed
  b1ec481

  Copy full SHA for b1ec481