Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 6, 2025

• Merge pull request #4018 from mtzguido/tcperf

  Show description for 1cff8d7
  mtzguido

  authored
  1cff8d7

  Copy full SHA for 1cff8d7

Commits on Oct 5, 2025

• Some improvements to typeclass resolution performance

  Show description for 9a22c52
  mtzguido

  committed
  9a22c52

  Copy full SHA for 9a22c52

• Merge pull request #4017 from mtzguido/ocaml

  Show description for 657bd46
  mtzguido

  authored
  657bd46

  Copy full SHA for 657bd46

• Also need the workaround in stage0

  mtzguido

  committed
  c02212d

  Copy full SHA for c02212d

• re-enable OCaml 4.14.2 CI

  mtzguido

  committed
  0470b14

  Copy full SHA for 0470b14

• PrintML: tweak to work around OCaml printer issue

  mtzguido

  committed
  c51d7c9

  Copy full SHA for c51d7c9

• Merge pull request #4013 from FStarLang/gebner_pretty_mllet

  Show description for 5559298
  nikswamy

  authored
  5559298

  Copy full SHA for 5559298

• Merge branch 'master' into gebner_pretty_mllet

  nikswamy

  authored
  0cff5a1

  Copy full SHA for 0cff5a1

Commits on Oct 4, 2025

• Merge pull request #4015 from mtzguido/release

  Show description for 97ba70e
  mtzguido

  authored
  97ba70e

  Copy full SHA for 97ba70e

• Bump version number

  mtzguido

  committed
  6ff7211

  Copy full SHA for 6ff7211

Commits on Oct 3, 2025

• Fix tests.

  gebner

  committed
  37e723c

  Copy full SHA for 37e723c

• Use ppxlib AST builder.

  gebner

  committed
  ee6131a

  Copy full SHA for ee6131a

• Prettier top-level lets in ML.

  gebner

  committed
  e46e885

  Copy full SHA for e46e885

• Merge pull request #4014 from FStarLang/gebner_nix53

  Show description for 0c03409
  gebner

  authored
  0c03409

  Copy full SHA for 0c03409

Commits on Oct 2, 2025

• Remove unnecessary patch.

  gebner

  committed
  6c4da4e

  Copy full SHA for 6c4da4e

• nix: bump to 5.3

  gebner

  committed
  9449989

  Copy full SHA for 9449989

• nix: bump flake inputs

  gebner

  committed
  37bace7

  Copy full SHA for 37bace7

• Disable OCaml 4.14.2 build because of ppxlib failure.

  gebner

  committed
  b14c32b

  Copy full SHA for b14c32b

• Merge pull request #4012 from mtzguido/fix-core-bug

  Show description for 20bfb3c
  mtzguido

  authored
  20bfb3c

  Copy full SHA for 20bfb3c

• Core: fix nasty guard closing bug

  mtzguido

  committed
  bd67b22

  Copy full SHA for bd67b22

Commits on Sep 26, 2025

• Merge pull request #4010 from mtzguido/fix-smt-seed

  Show description for 819603f
  mtzguido

  authored
  819603f

  Copy full SHA for 819603f

• SMT: fix setting of random seed

  mtzguido

  committed
  d249e13

  Copy full SHA for d249e13

• Merge pull request #4009 from FStarLang/gebner_pp_uvar

  Show description for dbab56d
  gebner

  authored
  dbab56d

  Copy full SHA for dbab56d

• Fix tests.

  gebner

  committed
  9509e6c

  Copy full SHA for 9509e6c

• Print uvars without space.

  gebner

  committed
  0b35bce

  Copy full SHA for 0b35bce

• Merge pull request #4008 from FStarLang/gebner_rm_z3_override

  Show description for b3dcf33
  gebner

  authored
  b3dcf33

  Copy full SHA for b3dcf33

• Remove leftover z3version override.

  gebner

  committed
  53a0bb6

  Copy full SHA for 53a0bb6

Commits on Sep 24, 2025

• Merge pull request #4005 from amosr-msft/amos/20250922-bv

  Show description for dff16db
  nikswamy

  authored
  dff16db

  Copy full SHA for dff16db

• Merge branch 'master' into amos/20250922-bv

  nikswamy

  authored
  a9c718e

  Copy full SHA for a9c718e

• Merge pull request #4007 from mtzguido/makefile-fixes

  Show description for 6cd60f0
  mtzguido

  authored
  6cd60f0

  Copy full SHA for 6cd60f0

• Makefile: remove wrong setting of FSTAR_LIB for stage1

  mtzguido

  committed
  bcf3d7c

  Copy full SHA for bcf3d7c

• src: remove unneeded include in VS Code config

  mtzguido

  committed
  f69cffb

  Copy full SHA for f69cffb

• Merge pull request #4006 from mtzguido/stage0

  Show description for a57e0f7
  mtzguido

  authored
  a57e0f7

  Copy full SHA for a57e0f7

Commits on Sep 23, 2025

• Bump stage0

  mtzguido

  committed
  8e6ff3d

  Copy full SHA for 8e6ff3d

• Fix src-install to account for tests.ml directory

  mtzguido

  committed
  c3a6ab3

  Copy full SHA for c3a6ab3

Pagination

Previous

Next