Commit graph

19 commits

Author SHA1 Message Date
34a55dec6b JJ: Description from the destination commit:
functorize secmod

JJ: Description from source commit:
ok secmod + logs
2026-02-21 23:08:00 +01:00
3b24e17c60 + rename 2026-02-18 18:48:53 +01:00
b719f9b9c7 rename 2026-02-18 18:18:51 +01:00
365a67577f wip functorize secmod 2026-01-22 05:38:17 +01:00
15c132829e merge secmod 2025-12-15 16:13:03 +01:00
0d17d2a675 secmod: use lock + ht + .mli 2025-12-07 00:32:11 +01:00
846122b49c add secmod_denom.ml secmod_signkey.ml 2025-12-06 23:15:35 +01:00
fa21837947 verify MasterSignatures 2025-12-06 21:46:11 +01:00
cf4da6b382 use logs + add static.ml + fmt 2025-11-30 12:46:06 +01:00
bc91f7357c add data_file.ml 2025-11-29 15:52:16 +01:00
fa770e7a8e wip: secmod/keys initialization 2025-11-28 09:21:51 +01:00
056c111d88 working database~~ 2025-11-22 22:23:20 +01:00
58bce4efa2 better config: parse file + crunch 2025-11-20 23:12:46 +01:00
4749bb7c62 add caqti device 2025-11-11 06:11:39 +01:00
aa2ff7b2f0 + secmod; + .master_sig 2025-10-19 02:07:16 +02:00
bc6ea09a59 rename signkey.ml 2025-10-19 00:15:49 +02:00
683d275f73 rename denomination.ml 2025-10-19 00:13:56 +02:00
a5f726ce9d more /management 2025-10-18 19:54:01 +02:00
85ddb8194f add devices.ml; denom.ml 2025-10-18 18:13:46 +02:00