Arthur Carcano

External Account Binding is required for Zero SSL and Google Trust Services Cf https://www.rfc-editor.org/rfc/rfc8555.html#section-7.3.4

Offer the possibility to re-use account information from other tools

1

> Not sure how common my use case is, but: > > I desperately wanted to use a LE wildcard, but my DNS provider does not have an API. I...

Delegate implementation of caml_string_equal to libc's memcmp

8

Libc's implementation of `memcmp` is highly optimized on some platforms, especially as OCaml values will be aligned on a word. Even on architectures/targets where libc's implementation is not really optimized,...

Add missing functions to our stdio.c

1

As highlighted in #269 in sv-benchmarks/c/busybox-1.22.0/od-4.i we fail with ```text wasm-ld-18: error: /tmp/od-4-02ca46.o: undefined symbol: stdin wasm-ld-18: error: /tmp/od-4-02ca46.o: undefined symbol: setbuf wasm-ld-18: error: /tmp/od-4-02ca46.o: undefined symbol: fread wasm-ld-18: error:...

Add dichotomic symbolic clz and ctz

9

This is supposedly SMT friendly, and keeps the bit-hacks for the concrete case.

Per the Crowbar doc > Because the structure of a generator built with [dynamic_bind] is opaque/dynamic (it depends on generated values), the Crowbar library cannot analyze its statically (without generating...

C Stdlib is not automatically rebuilt when changed

1

Changing for example `stdlib.c` should mark the compiled stdlib to be obsolete and cause it to be rebuilt when `dune build` is invoked. Similar to #111