Code

Removing need for FSTAR_HOME#162

Code

Merged

mtzguido merged 11 commits intoproject-everest:masterproject-everest/everparse:masterfrom mtzguido:devmtzguido/everparse:devCopy head branch name to clipboardJan 11, 2025

+349-509

Commits

Commits on Jan 10, 2025

• 3d: introduce --fstar option

  mtzguido

  committed
  4231b00

  Copy full SHA for 4231b00

• Makefile: removing .depend footguns, make sure file is not created on failure

  mtzguido

  committed
  5ec8e25

  Copy full SHA for 5ec8e25

• tests/lowparse/Makefile: a comment

  mtzguido

  committed
  f19ca5e

  Copy full SHA for f19ca5e

• Makefiles, scripts: no FSTAR_HOME

  Show description for e7af4ca
  mtzguido

  committed
  e7af4ca

  Copy full SHA for e7af4ca

Commits on Jan 11, 2025

• ASN1 test: pass -u to unzip, so it doesn't ask and wait for input on a second run

  mtzguido

  committed
  dc085b2

  Copy full SHA for dc085b2

• Github actions CI

  mtzguido

  committed
  93c9566

  Copy full SHA for 93c9566

• Merge branch 'ci' of gh:mtzguido/everparse

  mtzguido

  committed
  ffbe4b6

  Copy full SHA for ffbe4b6

• ci: remove docker-based linux CI

  mtzguido

  committed
  5fcfabb

  Copy full SHA for 5fcfabb

• Removing last mentions of FSTAR_HOME, making sure to set FSTAR_EXE before building karamel

  mtzguido

  committed
  70a7cbc

  Copy full SHA for 70a7cbc

• package.sh: get version from fstar.exe, not the repo

  mtzguido

  committed
  c4cc7c6

  Copy full SHA for c4cc7c6

• package.sh: with Tahina, rework this script to work off an F* install (e.g. package)

  mtzguido

  committed
  a3cade0

  Copy full SHA for a3cade0