Commit graph

323 commits

Author SHA1 Message Date
17316cc9f7 2026-03-13 16:05:25 +01:00
010c7a79dd hooray!~~ 2026-03-12 19:28:32 +01:00
de9119d40b fix .exe path + manifest 2026-03-12 19:16:19 +01:00
a1ec62d590 specify mirage-mtime.solo5 2026-03-12 19:02:52 +01:00
e77a5a30c7 rm miou from vendors(?) 2026-03-12 19:01:33 +01:00
26a089d480 fix fs init 2026-03-12 18:57:26 +01:00
4bbd16d3d3 s/Devices/Global/ 2026-03-12 18:48:17 +01:00
4bbe4c842c add global.ml 2026-03-12 18:11:12 +01:00
b5d8065cb9 add todos 2026-03-12 17:34:39 +01:00
49f07de7a2 wip rm devices 2026-03-12 17:06:08 +01:00
eff2cb8e67 s/Ptime_clock/Mirage_ptime/ 2026-03-12 13:13:12 +01:00
e8d7b413ad quickfix fpath in secmod 2026-03-12 13:11:41 +01:00
2361fa13e1 dune add mfat 2026-03-12 13:00:10 +01:00
c55ec3287b rm fmt.tty 2026-03-12 12:57:39 +01:00
a513c00ac8 +dune libs 2026-03-12 12:54:33 +01:00
e849c418e9 rm bos 2026-03-12 12:42:00 +01:00
a6d2b59da1 rm logs.threaded 2026-03-12 12:38:20 +01:00
1e82b25087 + dune stuff 2026-03-12 12:30:03 +01:00
96f10ec373 + s/Vif/Vifu/ 2026-03-12 12:24:13 +01:00
69755537f6 MNET: + .ocamlformat-ignore 2026-03-12 12:15:22 +01:00
7ed875cd5e MNET: wip devices 2026-03-12 12:08:47 +01:00
832098dd58 MNET: wip makefile 2026-03-11 20:01:50 +01:00
708be6279a add amount compare 2026-03-03 11:08:38 +01:00
bcc940100a clean up 2026-03-03 11:08:38 +01:00
d0ddee257e ok /keys validation 2026-03-03 02:16:19 +01:00
6fb33ee8f2 add last_change timestamp to secmod_rsa 2026-03-03 02:16:19 +01:00
0526675e52 fix amount fractions 2026-03-03 02:16:19 +01:00
b8574ca52d use correct denomination hash 2026-03-03 02:16:19 +01:00
b1de214881 fix timestamp compare 2026-03-03 02:16:19 +01:00
2e29cb0418 jsont: use opt_mem 2026-03-03 02:16:19 +01:00
9ebe44c83f fix alt_unit_names 2026-03-03 02:16:19 +01:00
19b4188f7c add demo.taler.net /keys json test data 2026-03-03 02:16:19 +01:00
9ace02b222 refacto verify_denomination/signkey 2026-03-03 02:16:19 +01:00
77b49d4169 add test/validate_response.ml 2026-03-03 02:15:59 +01:00
4784f32df5 add libtool_version.ml 2026-02-27 17:57:32 +01:00
f56ef6b544 rm deprecated 2026-02-27 00:44:42 +01:00
b1602a5020 fix check for replay attack + revoke 1sec in the future 2026-02-27 00:44:42 +01:00
a3880e5377 fix kudos name; add check in parse_config 2026-02-26 22:08:58 +01:00
a21ea0116a use exchange_pub valid at this time 2026-02-26 17:14:45 +01:00
a376fc584f warn about keyring state mismatch only once 2026-02-26 16:35:12 +01:00
9372506c45 better module for BytesXX 2026-02-26 16:24:58 +01:00
6bd65561f8 + test disable-auditor/wire/drain 2026-02-25 22:57:11 +01:00
05cfa7a5b1 fix secmod add/write; + wip test revoke 2026-02-25 18:56:35 +01:00
836b9ff64a fdh-rsa: use Eqaf 2026-02-24 23:31:24 +01:00
61150598d2 clean up future_sk/dn 2026-02-24 19:11:29 +01:00
d69b49a335 rm non-NBO Bin.t; rename time modules 2026-02-24 18:11:19 +01:00
4f473c003a secmod_rsa: use denom_hash 2026-02-24 17:28:59 +01:00
fa5d0ae75d warn instead of fail 2026-02-24 17:02:26 +01:00
74d909fa90 +wip db-sm different key state issue 2026-02-23 13:40:10 +01:00
08d18467f8 add Syntax.list_filter_map 2026-02-23 11:56:23 +01:00