|
|
dec2ce9163
|
|
2025-12-15 15:40:15 +01:00 |
|
|
|
50a6137967
|
wip fix mess
|
2025-12-15 08:57:09 +01:00 |
|
|
|
472463e68b
|
add denom revoke
|
2025-12-07 19:01:09 +01:00 |
|
|
|
7162564cad
|
rm database.ml + ~ master_sig param in pg
|
2025-12-07 05:31:07 +01:00 |
|
|
|
e9b7142412
|
add update_master_signatures
|
2025-12-07 01:28:15 +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 |
|
|
|
85ddb8194f
|
add devices.ml; denom.ml
|
2025-10-18 18:13:46 +02:00 |
|
|
|
9929a4a324
|
abstr type for signature
|
2025-10-17 16:59:32 +02:00 |
|
|
|
a27af0ecf1
|
add timestamps; use Ptime
|
2025-10-17 15:09:50 +02:00 |
|
|
|
112ece6d9a
|
wip /management
|
2025-10-16 16:36:34 +02:00 |
|
|
|
b27ebea6ee
|
wip secmod
|
2025-10-16 08:26:31 +02:00 |
|
