Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 27, 2025

• chore: update F*

  TWal

  committed
  c0aab14

  Copy full SHA for c0aab14

Commits on Nov 25, 2025

• chore: update F*

  TWal

  committed
  288bf74

  Copy full SHA for 288bf74

Commits on Oct 7, 2025

• chore: update F*

  TWal

  committed
  014c527

  Copy full SHA for 014c527

Commits on Oct 6, 2025

• chore: update F*

  TWal

  committed
  d127dfe

  Copy full SHA for d127dfe

Commits on Sep 25, 2025

• chore: update F*

  TWal

  committed
  032e97f

  Copy full SHA for 032e97f

Commits on May 25, 2025

• cleanup: update F*, remove for_allP

  TWal

  committed
  411b021

  Copy full SHA for 411b021

Commits on Jan 9, 2025

• fix: use prop wherever possible

  TWal

  committed
  bedffbc

  Copy full SHA for bedffbc

• chore: updating for new F* build (#1)

  Show description for 8e8269e
  

  mtzguido

  and

  TWal

  authored
  8e8269e

  Copy full SHA for 8e8269e

Commits on Nov 7, 2024

• fix: relax type for `mk_parseable_serializeable`

  TWal

  committed
  b3e557f

  Copy full SHA for b3e557f

Commits on Sep 17, 2024

• chore: update F*

  TWal

  committed
  66471ca

  Copy full SHA for 66471ca

Commits on Dec 4, 2023

• docs: add README

  TWal

  committed
  717b7d1

  Copy full SHA for 717b7d1

Commits on Nov 8, 2023

• chore: update F*

  TWal

  committed
  253dabd

  Copy full SHA for 253dabd

Commits on Oct 31, 2023

• fix: support `bytes` fields when using `with_bytes`

  TWal

  committed
  d07037c

  Copy full SHA for d07037c

Commits on Oct 23, 2023

• ci: use self-hosted runner

  TWal

  committed
  66ac7db

  Copy full SHA for 66ac7db

Commits on Oct 16, 2023

• Update F*

  TWal

  committed
  3ed238e

  Copy full SHA for 3ed238e

• Change normalization in `nat_lbytes` definition

  TWal

  committed
  24963e8

  Copy full SHA for 24963e8

Commits on Aug 21, 2023

• Update F*

  TWal

  committed
  f9a7a48

  Copy full SHA for f9a7a48

Commits on Jul 18, 2023

• Separate out stress tests, add "non generic" tests

  TWal

  committed
  27aa66a

  Copy full SHA for 27aa66a

• Add support for non-generic bytes parsers in meta-program

  TWal

  committed
  22a873d

  Copy full SHA for 22a873d

• Add support for `can_be_empty` annotation on types

  TWal

  committed
  869b234

  Copy full SHA for 869b234

Commits on Jun 1, 2023

• Update F*, add -Werror

  TWal

  committed
  12fe134

  Copy full SHA for 12fe134

Commits on May 26, 2023

• Add missing lemmas for strings

  TWal

  committed
  57996a3

  Copy full SHA for 57996a3

Commits on May 15, 2023

• Update F*

  TWal

  committed
  a548a1c

  Copy full SHA for a548a1c

Commits on May 10, 2023

• Remove dangling `val`

  TWal

  committed
  238f59d

  Copy full SHA for 238f59d

• Fix typos

  TWal

  committed
  b66009c

  Copy full SHA for b66009c

• Remove warnings about `@`

  TWal

  committed
  32f6bf8

  Copy full SHA for 32f6bf8

• Better names for ps_whole -> ps_prefix conversion functions

  TWal

  committed
  f66123d

  Copy full SHA for f66123d

• Add comments, reorganize code

  TWal

  committed
  0752583

  Copy full SHA for 0752583

• Add null-terminated string parser/serializer

  TWal

  committed
  53a2662

  Copy full SHA for 53a2662

Commits on May 3, 2023

• Refactor: separate parsers between "builtins" and "derived"

  TWal

  committed
  15f6884

  Copy full SHA for 15f6884

Commits on May 1, 2023

• Add expert option to bypass tactic with SMT

  TWal

  committed
  965a937

  Copy full SHA for 965a937

Commits on Apr 18, 2023

• Remove all occurrences of old `gather_or_solve` thing

  TWal

  committed
  2f51a02

  Copy full SHA for 2f51a02

• Update F*

  TWal

  committed
  b34d737

  Copy full SHA for b34d737

Commits on Mar 2, 2023

• Update F*

  TWal

  committed
  0f9ade3

  Copy full SHA for 0f9ade3

Commits on Feb 13, 2023

• nix: fstar_flake -> fstar-flake

  TWal

  committed
  4845a35

  Copy full SHA for 4845a35

Pagination

Previous

Next