Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 26, 2025

• Merge pull request #3811 from mtzguido/release

  Show description for 71d8221
  mtzguido

  authoredMar 26, 2025
  71d8221

  Copy full SHA for 71d8221

• Bump version number

  mtzguido

  committedMar 26, 2025
  4665652

  Copy full SHA for 4665652

Commits on Mar 25, 2025

• Merge pull request #3809 from mtzguido/reals

  Show description for 96be91c
  mtzguido

  authoredMar 25, 2025
  96be91c

  Copy full SHA for 96be91c

• Primops.Real: more simplifications

  mtzguido

  committedMar 25, 2025
  8261612

  Copy full SHA for 8261612

• Merge pull request #3808 from mtzguido/nits

  Show description for df24c8f
  mtzguido

  authoredMar 25, 2025
  df24c8f

  Copy full SHA for df24c8f

• Tactics: handle guard failures in unify_env, we should return gracefully

  mtzguido

  committedMar 25, 2025
  1a043e3

  Copy full SHA for 1a043e3

• Tc: deep-compress sigelts coming out of typed splices

  Show description for 3456072
  mtzguido

  committedMar 25, 2025
  3456072

  Copy full SHA for 3456072

• error nit

  mtzguido

  committedMar 25, 2025
  db9ba73

  Copy full SHA for db9ba73

• A comment

  mtzguido

  committedMar 25, 2025
  3e9fed9

  Copy full SHA for 3e9fed9

Commits on Mar 24, 2025

• Tactics: nit, improve range

  mtzguido

  committedMar 24, 2025
  09a55a7

  Copy full SHA for 09a55a7

• Merge pull request #3807 from mtzguido/nits

  Show description for b75933e
  mtzguido

  authoredMar 24, 2025
  b75933e

  Copy full SHA for b75933e

• DeferredImplicits: raise error instead of logging

  Show description for 0ba67e5
  mtzguido

  committedMar 24, 2025
  0ba67e5

  Copy full SHA for 0ba67e5

• Errors: sort error list on expect_failure mismatch

  Show description for 399cb83
  mtzguido

  committedMar 24, 2025
  399cb83

  Copy full SHA for 399cb83

• Syntax: add instance hasRange ctx_uvar

  mtzguido

  committedMar 24, 2025
  4757770

  Copy full SHA for 4757770

• Dep: warn only once (per file) about possible shadowings

  mtzguido

  committedMar 24, 2025
  ad5112d

  Copy full SHA for ad5112d

• Merge pull request #3806 from mtzguido/err

  Show description for d8a77c9
  mtzguido

  authoredMar 24, 2025
  d8a77c9

  Copy full SHA for d8a77c9

• Improve error range for incoherent matches

  mtzguido

  committedMar 24, 2025
  810c43e

  Copy full SHA for 810c43e

• Merge pull request #3805 from mtzguido/nits

  Show description for c5e003a
  mtzguido

  authoredMar 24, 2025
  c5e003a

  Copy full SHA for c5e003a

• Update expected output

  mtzguido

  committedMar 24, 2025
  502ce15

  Copy full SHA for 502ce15

• Various error position improvements

  mtzguido

  committedMar 24, 2025
  08e40d6

  Copy full SHA for 08e40d6

• AST: Fix possible crash

  mtzguido

  committedMar 24, 2025
  b307596

  Copy full SHA for b307596

• stage.mk: fix install rule, this directory may exist

  mtzguido

  committedMar 24, 2025
  5f12bec

  Copy full SHA for 5f12bec

Commits on Mar 23, 2025

• Merge pull request #3803 from mtzguido/misc

  Show description for 8881d4c
  mtzguido

  authoredMar 23, 2025
  8881d4c

  Copy full SHA for 8881d4c

• data: Introduce FMap

  mtzguido

  committedMar 23, 2025
  392c0b9

  Copy full SHA for 392c0b9

• SMap/PSMap: move to src/data, implement of_list, remove some boilerplate

  mtzguido

  committedMar 23, 2025
  d8ca5fc

  Copy full SHA for d8ca5fc

• debug nits

  mtzguido

  committedMar 23, 2025
  4a2e4c6

  Copy full SHA for 4a2e4c6

• Debug: use PSMap instead of lists

  mtzguido

  committedMar 23, 2025
  3125df3

  Copy full SHA for 3125df3

• PSMap: add iter

  mtzguido

  committedMar 23, 2025
  88623b4

  Copy full SHA for 88623b4

• Debug: fix save/restore of level

  mtzguido

  committedMar 23, 2025
  80836ed

  Copy full SHA for 80836ed

Commits on Mar 22, 2025

• Merge pull request #3801 from mtzguido/inst_imps

  Show description for 03d5018
  mtzguido

  authoredMar 22, 2025
  03d5018

  Copy full SHA for 03d5018

Commits on Mar 21, 2025

• Reflection.Typing: add a knob for instantiate_implicits

  mtzguido

  committedMar 21, 2025
  4e9ea9e

  Copy full SHA for 4e9ea9e

Commits on Mar 11, 2025

• Merge pull request #3799 from mtzguido/starmalloc

  Show description for 8080c2c
  mtzguido

  authoredMar 11, 2025
  8080c2c

  Copy full SHA for 8080c2c

Commits on Mar 10, 2025

• add starmalloc to check-world

  mtzguido

  committedMar 10, 2025
  ef0c9e7

  Copy full SHA for ef0c9e7

Commits on Mar 5, 2025

• Merge pull request #3798 from mtzguido/nit

  Show description for dd464b1
  mtzguido

  authoredMar 5, 2025
  dd464b1

  Copy full SHA for dd464b1

• Extraction: nit, rename type to avoid pun with FStar.Syntax

  mtzguido

  committedMar 5, 2025
  6a7637f

  Copy full SHA for 6a7637f

Pagination

Previous

Next