search

hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt
7 stars 5 forks source link

MerkleTree.fst.config.json: add config for VS Code extension #18

Closed mtzguido closed 4 months ago

mtzguido commented 9 months ago

Also change Makefile to use --hint_dir instead of --hint_file.

mtzguido commented 4 months ago

Merging this, hope that's OK.