Commit graph
Select branches
Hide pull requests
trunk
-
6a08e0479e
swrup
2026-02-21 20:50:38 +01:00 -
b2fb035626
JJ: Description from the destination commit: wip debug secmod
swrup
2026-02-21 19:25:31 +01:00 -
37ed47326a
ok secmod + logs
swrup
2026-02-21 19:25:31 +01:00 -
35ca3d87ed
swrup
2026-02-21 20:49:55 +01:00 -
524646621e
ok secmod with logs
swrup
2026-02-21 20:42:25 +01:00 -
4bf0367c58
swrup
2026-02-21 20:49:05 +01:00 -
8d8d66fd44
ok secmod with logs
swrup
2026-02-21 20:42:25 +01:00 -
33620ceaf7
swrup
2026-02-21 20:42:25 +01:00 -
3683bb011e
swrup
2026-02-21 20:42:25 +01:00 -
e37f73a35b
swrup
2026-02-21 19:30:11 +01:00 -
2a209fbfb3
wip debug secmod
swrup
2026-02-21 19:25:31 +01:00 -
8a145a4f98
swrup
2026-02-21 19:30:09 +01:00 -
7819b90ef1
swrup
2026-02-21 19:25:44 +01:00 -
ef99df55a4
wip debug secmod
swrup
2026-02-21 19:25:31 +01:00 -
3a5d14af95
swrup
2026-02-21 19:25:31 +01:00 -
90f762629b
swrup
2026-02-21 18:53:21 +01:00 -
cb33942711
functorize secmod
swrup
2026-02-21 18:43:47 +01:00 -
41a52fadae
swrup
2026-02-21 18:44:43 +01:00 -
ac23471c4d
swrup
2026-02-21 18:44:43 +01:00 -
73daa55292
swrup
2026-02-21 18:44:00 +01:00 -
c570d69338
functorize secmod
swrup
2026-02-21 18:43:47 +01:00 -
450108d8c9
swrup
2026-02-21 18:43:47 +01:00 -
a10c03d346
swrup
2026-02-21 17:39:19 +01:00 -
7f440077ed
+ rename
swrup
2026-02-21 16:45:59 +01:00 -
50f9986568
swrup
2026-02-21 17:39:12 +01:00 -
efe9d69a7d
swrup
2026-02-21 17:24:56 +01:00 -
8bf7cf54ef
+ rename
swrup
2026-02-21 16:45:59 +01:00 -
3e79a35775
swrup
2026-02-21 17:24:54 +01:00 -
56de9ff3a2
swrup
2026-02-21 17:13:34 +01:00 -
5a52d309f8
+ rename
swrup
2026-02-21 16:45:59 +01:00 -
4ad4b20119
swrup
2026-02-21 17:13:33 +01:00 -
16f28973c8
swrup
2026-02-21 17:10:22 +01:00 -
9b2865ec1f
+ rename
swrup
2026-02-21 16:45:59 +01:00 -
f57ad1cea3
swrup
2026-02-21 16:45:59 +01:00 -
50e3e70f13
swrup
2026-02-21 16:45:59 +01:00 -
8fbcb19bd6
swrup
2026-02-21 16:45:59 +01:00 -
bb3ae4688a
swrup
2026-02-21 16:34:53 +01:00 -
63e9791f88
JJ: Description from the destination commit: ~
swrup
2026-02-21 16:21:15 +01:00 -
84c3b8bec5
mv mod_intf.mli
swrup
2026-02-21 16:21:15 +01:00 -
5081628f8b
mv mod_intf.mli
swrup
2026-02-21 16:34:28 +01:00 -
3353a0ca43
swrup
2026-02-21 16:34:28 +01:00 -
f551b75e1c
swrup
2026-02-21 16:29:15 +01:00 -
407ecbc47d
swrup
2026-02-21 16:21:25 +01:00 -
9b389d6f69
~
swrup
2026-02-21 16:21:15 +01:00 -
d2c7867715
swrup
2026-02-21 16:21:15 +01:00 -
76728de9ea
swrup
2026-02-21 16:10:15 +01:00 -
bded77a939
ok compile
swrup
2026-02-21 16:02:32 +01:00 -
696ac151d1
swrup
2026-02-21 16:02:32 +01:00 -
6cba607315
swrup
2026-02-21 16:02:32 +01:00 -
05db53fd73
swrup
2026-02-21 15:32:48 +01:00 -
c42636b998
+ wip ; ok verify future sk
swrup
2026-02-20 21:27:21 +01:00 -
1c15d5e00c
swrup
2026-02-20 21:27:21 +01:00 -
aaa8771448
swrup
2026-02-20 21:27:21 +01:00 -
309041715f
swrup
2026-02-20 20:45:16 +01:00 -
e19c6d60c2
+ wip clean keys.ml
swrup
2026-02-20 20:44:52 +01:00 -
ae8ff0e6f7
swrup
2026-02-20 20:44:52 +01:00 -
a7e15981ee
swrup
2026-02-20 15:34:01 +01:00 -
07659222dc
+ wip get_future_xx
swrup
2026-02-20 13:45:05 +01:00 -
9233530fb3
swrup
2026-02-20 15:32:14 +01:00 -
66226f30c5
swrup
2026-02-20 14:14:16 +01:00 -
63cda910ab
+ wip get_future_xx
swrup
2026-02-20 13:45:05 +01:00 -
449c270297
swrup
2026-02-20 14:14:03 +01:00 -
9b63203f74
swrup
2026-02-20 13:45:26 +01:00 -
0e271ddf26
+ wip get_future_xx
swrup
2026-02-20 13:45:05 +01:00 -
195c6fa36d
swrup
2026-02-20 13:45:05 +01:00 -
8e7dfeb556
swrup
2026-02-20 13:00:19 +01:00 -
d9f8e3c558
+ config
swrup
2026-02-20 12:59:53 +01:00 -
bb876a689d
swrup
2026-02-20 12:59:53 +01:00 -
69f5db9368
swrup
2026-02-20 12:36:21 +01:00 -
0bacf492ab
+ use ht
swrup
2026-02-20 12:30:00 +01:00 -
26df105afd
swrup
2026-02-20 12:35:23 +01:00 -
92bb5f82fb
swrup
2026-02-20 12:30:12 +01:00 -
906be6760a
+ use ht
swrup
2026-02-20 12:30:00 +01:00 -
5156dc573c
swrup
2026-02-20 12:30:00 +01:00 -
b1d73f12c3
swrup
2026-02-20 12:04:51 +01:00 -
ebafa8b1ea
++
swrup
2026-02-20 12:04:36 +01:00 -
05260f9b59
swrup
2026-02-20 12:04:36 +01:00 -
048ec4c669
swrup
2026-02-20 11:04:42 +01:00 -
3405f9e4ef
+ wip copypasta secmod_rsa
swrup
2026-02-20 11:04:09 +01:00 -
a8e58e778c
swrup
2026-02-20 11:04:09 +01:00 -
d2579d2b2c
swrup
2026-02-20 10:38:26 +01:00 -
213952cbea
+ secmod_eddsa
swrup
2026-02-20 08:24:22 +01:00 -
9307be6d56
swrup
2026-02-20 10:38:23 +01:00 -
aec6fd115c
swrup
2026-02-20 10:36:12 +01:00 -
a0d20de0b6
+ secmod_eddsa
swrup
2026-02-20 08:24:22 +01:00 -
711bf6c8af
swrup
2026-02-20 10:35:49 +01:00 -
529b2bae97
swrup
2026-02-20 10:35:49 +01:00 -
088a8e9fd7
swrup
2026-02-20 10:19:54 +01:00 -
d370717a59
+ secmod_eddsa
swrup
2026-02-20 08:24:22 +01:00 -
0ffddb7a47
swrup
2026-02-20 10:19:50 +01:00 -
573196859e
swrup
2026-02-20 10:14:37 +01:00 -
5191e685bc
+ secmod_eddsa
swrup
2026-02-20 08:24:22 +01:00 -
0a17e307ae
swrup
2026-02-20 10:14:33 +01:00 -
ceb16f88fc
swrup
2026-02-20 09:46:21 +01:00 -
92e6103737
JJ: Description from the destination commit: + secmod load and init
swrup
2026-02-20 08:24:22 +01:00 -
c7309f71a3
+ secmod_eddsa
swrup
2026-02-20 08:24:22 +01:00 -
6180dc6ccc
swrup
2026-02-20 09:45:26 +01:00 -
ce46436b91
++
swrup
2026-02-20 08:52:17 +01:00 -
c948987fe6
swrup
2026-02-20 09:45:23 +01:00 -
af33f07a6a
swrup
2026-02-20 09:13:33 +01:00