Commits

History for

Commits on Jun 29, 2025

Add a public wrapper in the verdict crate for some core constructs
zhengyao-lin
committed
2158a54

Commits on May 5, 2025

Fix libcrux/hax versioning
zhengyao-lin
committed
8be5bd4

Commits on Mar 14, 2025

Upgrade to new Verus version
zhengyao-lin
committed
92fef12

Commits on Mar 1, 2025

Rename the core library crate
zhengyao-lin
committed
306b54f

Commits on Feb 28, 2025

Reorganize project structure
zhengyao-lin
committed
810eb0f

Commits on Jan 10, 2025

Move libcrux to a submodule in deps
zhengyao-lin
committed
d56f14e
Move vest and verus into deps/
zhengyao-lin
committed
b9124e7
Use vendored verus in Rust dependencies
zhengyao-lin
committed
1fe3b40

Commits on Dec 27, 2024

Add cargo workspace and update README.md
zhengyao-lin
committed
e347e9f

Commits on Aug 30, 2024

Rearrange files
zhengyao-lin
committed
7c0f7ae

Commits on Aug 15, 2024

Read meta.pl at compile time
zhengyao-lin
committed
c30e3ac
Fix rust-analyzer errors
zhengyao-lin
committed
3d93d44

Commits on Aug 10, 2024

Fixed a bunch of issues for Hammurabi specs; see tests/hammurabi/merged_chrome.pl for necessary changes made to the original spec
zhengyao-lin
committed
ae4dcdf

Commits on Aug 8, 2024

Front-end
zhengyao-lin
committed
9d442d9

Commits on Aug 7, 2024

Add an example parser
zhengyao-lin
committed
81daa76

Loading