swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

offline tool: add enable/disable-auditor cmd

Browse source 
.
This commit is contained in:
swrup 2026-02-03 17:24:19 +01:00
parent ac4058df7e
commit 6ee1a994ad
14 changed files with 330 additions and 242 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/secmod.mli
View file

@ -19,8 +19,8 @@ module type S = sig
(* - management operations - *)
(* TODO
problem of keeping db and secmod state syncronized
do db interaction from secmod? *)
problem of keeping db and secmod state syncronized
do db interaction from secmod? *)
val add_signkey_master_signatures :
(eddsa_pub * Bin_sig.ExchangeSigningKeyValidity.t) list ->