Commits

History for

Commits on Aug 20, 2026

feat(lean): specs and proof obligations from `hax_lib` annotations (#7)

clementblaudeau
and
abentkamp
committed
1682f5d

Commits on Aug 19, 2026

Update charon
Nadrieril
committed
3f42a22

Commits on Jul 2, 2026

fix: pass commit sha into nix container when running release workflow
abentkamp
committed
b79fba9

Commits on Jul 1, 2026

ci: tweak release to match Charon
Nadrieril
committed
c6741f4

Commits on Jun 20, 2026

Emit translation.json (#1009)
oliver-butterley
authored
1435bdb

Commits on Jun 1, 2026

Build release derivation as directory
Nadrieril
committed
394506c

Commits on May 30, 2026

Reactivate flaky test
Nadrieril
committed
5271a0b

Commits on May 29, 2026

Disable tests for ocaml-containers
Nadrieril
committed
004adb7
Format
Nadrieril
committed
346e9c2

Commits on May 6, 2026

Include Rust toolchain metadata in release archives

jswrenn
authored and
Nadrieril
committed
0da9ece

Commits on Mar 22, 2026

Release: s/macdylibbundler/dylibbundler

joshlf
authored and
Nadrieril
committed
7ee0d7e

Commits on Mar 21, 2026

Include dylibs when releasing for Mac
joshlf
committed
f51712d

Commits on Mar 20, 2026

Use `charon-portable` in released artifact
joshlf
committed
de051b5
Fix the Rust tests in the Makefile and the flake.nix
sonmarcho
committed
f151725
Add the possibility of running Rust unit tests
sonmarcho
committed
4c1d3cf

Commits on Mar 17, 2026

Include charon in release artifact
Nadrieril
committed
2259192
Cleanup
Nadrieril
committed
a843067

Commits on Mar 16, 2026

Release static Linux artifact
joshlf
committed
80e2134

Commits on Mar 13, 2026

Use nix to release
Nadrieril
committed
c99a04a
Try to setup nix for static linking
Nadrieril
committed
404c436

Commits on Feb 10, 2026

Deactivate parallel execution
sonmarcho
committed
abfd0da

Commits on Feb 9, 2026

Add a comment in flake.nix
sonmarcho
committed
7ed195e
Use the -sequential option when running the tests in CI
sonmarcho
committed
866dab1

Commits on Nov 5, 2025

Add `domainslib` OCaml dependency
Nadrieril
committed
c7afe0d

Commits on Nov 3, 2025

Update the flake.nix to add the progress package
sonmarcho
committed
a0f79fb
Update the flake.nix to remove the betree
sonmarcho
committed
76483d8

Commits on Jul 28, 2025

Update the flake.nix to use OCaml 5.2 (#585)
sonmarcho
authored
3bf9aee

Commits on Jul 7, 2025

Ensure the right ocamlformat version is used in CI and nix shell
Nadrieril
committed
67b44ee

Commits on May 28, 2025

drive-by: stop using deprecated charon flags
Nadrieril
committed
2c1d566

Commits on May 5, 2025

Use charon's options preset for aeneas
Nadrieril
committed
f2d1d6f

Commits on Apr 2, 2025

Use the correct ocaml version for charon
Nadrieril
committed
abb5c99
Pin the ocaml version
Nadrieril
committed
c1469e8
Pin the coq version used for tests
Nadrieril
committed
28c0106

Commits on Mar 27, 2025

Support the default methods of builtin traits
Nadrieril
committed
06248ad

Commits on Mar 11, 2025

Make `charon` available in the nix package too
Nadrieril
committed
29f38c3