Code

Fine Grained Module Definitions#661

Code

Merged

Cameron-Low merged 1 commit intomainEasyCrypt/easycrypt:mainfrom fine-grained-module-defsEasyCrypt/easycrypt:fine-grained-module-defsCopy head branch name to clipboardJan 14, 2025

+479-95

Commits

Commits on Jan 14, 2025

• Allow for fine grain editing of existing modules.

  Show description for db10952
  Cameron-Low

  committed
  db10952

  Copy full SHA for db10952