Code

Staged build, new CI, new packaging#3637

Code

Merged

mtzguido merged 83 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:devmtzguido/FStar:devCopy head branch name to clipboardJan 8, 2025

+124,119-33,673

Commits

Commits on Jan 7, 2025

• Remove ocaml/, move manual files into src/ml and ulib/ml

  mtzguido

  committed
  296474a

  Copy full SHA for 296474a

• Coallesce nix files into .nix

  mtzguido

  committed
  1a8eb71

  Copy full SHA for 1a8eb71

• src: removing old makefiles

  mtzguido

  committed
  67795ca

  Copy full SHA for 67795ca

• Remove bin/, move scripts to .scripts

  mtzguido

  committed
  a7280b2

  Copy full SHA for a7280b2

• Plugins: compiling against fstar_plugin_lib and autoloading it

  mtzguido

  committed
  5cfc9a8

  Copy full SHA for 5cfc9a8

• guts, pluginnolib

  mtzguido

  committed
  7e2341f

  Copy full SHA for 7e2341f

• New staged build system (without stage0)

  mtzguido

  committed
  8d74708

  Copy full SHA for 8d74708

• stage0, from master

  Show description for 22f78b5
  mtzguido

  committed
  22f78b5

  Copy full SHA for 22f78b5

• VS code configs

  mtzguido

  committed
  9983e0d

  Copy full SHA for 9983e0d

• Update tests for new build

  mtzguido

  committed
  e4f43ab

  Copy full SHA for e4f43ab

• FStar.Buffer.fst: flaky proof

  mtzguido

  committed
  44eb410

  Copy full SHA for 44eb410

• Restore F* library build

  Show description for d802c9d
  mtzguido

  committed
  d802c9d

  Copy full SHA for d802c9d

• New CI

  Show description for 054a0f2
  mtzguido

  committed
  054a0f2

  Copy full SHA for 054a0f2

• CI: No self-hosted, again

  Show description for 653f207
  mtzguido

  committed
  653f207

  Copy full SHA for 653f207

• tests: nits

  mtzguido

  committed
  ada0b1d

  Copy full SHA for ada0b1d

• stage.mk: do not blast directory before installing

  Show description for d99122a
  mtzguido

  committed
  d99122a

  Copy full SHA for d99122a

• Update test rules

  mtzguido

  committed
  7da3132

  Copy full SHA for 7da3132

• Preserve timestamps when installing lib files

  Show description for 57ff432
  mtzguido

  committed
  57ff432

  Copy full SHA for 57ff432

• Makefile: Update package rules

  mtzguido

  committed
  8599317

  Copy full SHA for 8599317

• Makefile: Fix typo in help

  mtzguido

  committed
  a9f7ee7

  Copy full SHA for a9f7ee7

• lib.mk: use Z3 4.13.3

  mtzguido

  committed
  2f19f51

  Copy full SHA for 2f19f51

• lib.mk: enable context pruning

  mtzguido

  committed
  cecdea0

  Copy full SHA for cecdea0

• ci: simplify nightly job (missing: uploading binaries)

  mtzguido

  committed
  c0978ea

  Copy full SHA for c0978ea

• ci: use sudo for deletion

  mtzguido

  committed
  548579d

  Copy full SHA for 548579d

• lib.mk: do not use automatic dep analysis, give explicit roots

  Show description for d6f3d4e
  mtzguido

  committed
  d6f3d4e

  Copy full SHA for d6f3d4e

• ulib: remove reclaimable/ directory

  Show description for ccef858
  mtzguido

  committed
  ccef858

  Copy full SHA for ccef858

• ulib: remove stray hint files, they are now in .hints

  mtzguido

  committed
  8650d38

  Copy full SHA for 8650d38

• src_package_mk: nits

  mtzguido

  committed
  2617ba3

  Copy full SHA for 2617ba3

• ci.yml: do not force rebuild when testing

  Show description for 517e291
  mtzguido

  committed
  517e291

  Copy full SHA for 517e291

• stageN: nits in dune files

  mtzguido

  committed
  a2b4536

  Copy full SHA for a2b4536

• Makefile: tweak 'ci' rule

  mtzguido

  committed
  ce3f732

  Copy full SHA for ce3f732

• stage.mk: use dune --release instead of custom flags

  Show description for 3f037e5
  mtzguido

  committed
  3f037e5

  Copy full SHA for 3f037e5

• Restore nix build plus CI (probably not ideally)

  mtzguido

  committed
  50fcdf0

  Copy full SHA for 50fcdf0

• check-friends: point my fork of everparse for cbor

  mtzguido

  committed
  7072f62

  Copy full SHA for 7072f62

• build.yml: remove ADMIT=1

  mtzguido

  committed
  42f6e6f

  Copy full SHA for 42f6e6f

• ci.yml: don't package stage1

  mtzguido

  committed
  375a3c9

  Copy full SHA for 375a3c9

• src-install.sh: nit

  mtzguido

  committed
  ccd698d

  Copy full SHA for ccd698d

• ulib: removing stray Makefiles

  mtzguido

  committed
  7583c68

  Copy full SHA for 7583c68

• mk: tweak library install

  mtzguido

  committed
  c1ec0e0

  Copy full SHA for c1ec0e0

• VS code configs: make sure to use 4.13.3

  mtzguido

  committed
  6a745eb

  Copy full SHA for 6a745eb

• lib: fix some flaky proofs

  mtzguido

  committed
  ecb3db2

  Copy full SHA for ecb3db2

• Makefile: no need for bash

  mtzguido

  committed
  57a81a1

  Copy full SHA for 57a81a1

• Makefile, actions: refactor, add macos build

  mtzguido

  committed
  5f92c33

  Copy full SHA for 5f92c33

• release.yml: New release workflow

  mtzguido

  committed
  1cdab34

  Copy full SHA for 1cdab34

• .ignore: list all symlinks to improve search results

  Show description for c466006
  mtzguido

  committed
  c466006

  Copy full SHA for c466006

• installing get_fstar_z3 script

  mtzguido

  committed
  f5968cc

  Copy full SHA for f5968cc

• package: add license, readme etc, also add top-level fstar/ directory

  mtzguido

  committed
  b08d39e

  Copy full SHA for b08d39e

• Update .gitignores

  mtzguido

  committed
  b5a64d7

  Copy full SHA for b5a64d7

• release.yml: nit

  mtzguido

  committed
  dbc0cd8

  Copy full SHA for dbc0cd8

• stage.mk: fix growing fstar.include

  mtzguido

  committed
  96123e5

  Copy full SHA for 96123e5

• nightly.yml: Nightly binary builds + script to fetch and install

  mtzguido

  committed
  e17271d

  Copy full SHA for e17271d

• Making sure releases and nightly builds have proper versions

  mtzguido

  committed
  4ba1d1c

  Copy full SHA for 4ba1d1c

• friends/krml: install node and do full test

  mtzguido

  committed
  a648d1a

  Copy full SHA for a648d1a

• nix: add metadata files to the source

  mtzguido

  committed
  890453b

  Copy full SHA for 890453b

• check-friends: fix for everparse

  mtzguido

  committed
  4779b92

  Copy full SHA for 4779b92

• ci: Fix perf_canaries

  mtzguido

  committed
  0921ebb

  Copy full SHA for 0921ebb

• check-friends: everparse needs opam packages

  mtzguido

  committed
  1d016c3

  Copy full SHA for 1d016c3

• Makefile: system install should not copy license, only packages

  mtzguido

  committed
  db82e49

  Copy full SHA for db82e49

• src package: allow opam install

  mtzguido

  committed
  75aeb8a

  Copy full SHA for 75aeb8a

• release.yml: tweak

  mtzguido

  committed
  0b2497e

  Copy full SHA for 0b2497e

• doc: restore and add to test

  mtzguido

  committed
  68077b6

  Copy full SHA for 68077b6

• Regenerate ulib hints

  mtzguido

  committed
  b9c80d8

  Copy full SHA for b9c80d8

• Makefile/dune: tweaking intermediate executable names

  mtzguido

  committed
  497bf02

  Copy full SHA for 497bf02

• stage.mk: installing compiler sources+checked files into package

  mtzguido

  committed
  00fef67

  Copy full SHA for 00fef67

• Introduce --with_fstarc option to add compiler sources to include path

  mtzguido

  committed
  135f6fc

  Copy full SHA for 135f6fc

• check-friends: pulse uses normal F* package now

  mtzguido

  committed
  4f0b865

  Copy full SHA for 4f0b865

• Makefile: ship Z3 in binary package

  mtzguido

  committed
  ed5787a

  Copy full SHA for ed5787a

• FStarC into source package too

  mtzguido

  committed
  b5f94cc

  Copy full SHA for b5f94cc

• tweaking packages, using zip for Windows

  mtzguido

  committed
  c257951

  Copy full SHA for c257951

• Remove nightly build for now

  mtzguido

  committed
  0cfc347

  Copy full SHA for 0cfc347

• nix: nit, no need for chmod

  mtzguido

  committed
  c4e2304

  Copy full SHA for c4e2304

• Tweaking release build

  mtzguido

  committed
  66996b1

  Copy full SHA for 66996b1

• ci: don't package Z3 for internal CI

  mtzguido

  committed
  8d21b58

  Copy full SHA for 8d21b58

• Makefile: fix local installs

  mtzguido

  committed
  61de804

  Copy full SHA for 61de804

• Makefile: tweaking package rules, links vs copy, etc

  mtzguido

  committed
  78f486b

  Copy full SHA for 78f486b

• gmake: remove

  mtzguido

  committed
  3019c55

  Copy full SHA for 3019c55

• ulib/Cfg.fst.config.json: Update executable name

  mtzguido

  committed
  f1f0a2c

  Copy full SHA for f1f0a2c

Commits on Jan 8, 2025

• nightly.yml: Nightly build and upload releases to separate repo

  mtzguido

  committed
  628065a

  Copy full SHA for 628065a

• get_fstar_z3.sh: fix arg check

  mtzguido

  committed
  4501f10

  Copy full SHA for 4501f10

• nightly.yml: do not trigger on push

  mtzguido

  committed
  d7a5977

  Copy full SHA for d7a5977

• mk: use ',*' to avoid windows issues

  mtzguido

  committed
  2ac83d6

  Copy full SHA for 2ac83d6

• check-friends: patch HACL

  mtzguido

  committed
  39f0ac7

  Copy full SHA for 39f0ac7

• ci.yml: adding a job for branch protection

  mtzguido

  committed
  f736939

  Copy full SHA for f736939