Ben Blaxill

Explicit or implicit support for [email protected]

1

Currently this crate only exposes the top level aead functions. Unfortunately this is not enough when attempting to use this crate for [[email protected]](https://github.com/jhcloos/openssh-chacha-poly1305/blob/master/PROTOCOL.chacha20poly1305). In particular, being able to use a...

Not intended to be merged, just to show generated SystemVerilog

Currently `native_compute` cannot find the ocaml compiler. Either the CI path needs updating or the nix definitions need ocaml adding.

In the direction of cleaning up source trees, adding support for matrix CI builds and dune building, I'm proposing the following: - [x] Keep everything simply buildable via `make` -...

Vector representation comparison

1

As a low priority side task I'd like us to collect vector representations. We've talked about using a different vector representation, but it's difficult to make an informed decision without...

`unit_t` in ext_fn_t input generates invalid verliog

8

Perhaps not conventional usage but currently `unit_t`/`bits_t 0` sized input from an external function generates invalid Verilog. e.g. ~~~coq Definition Sigma (fn: ext_fn_t) := match fn with | f1 =>...

Currently both x11 and win32 builds automatically prepend "#version 150" to shaders. This seems to deny any ability to set shader version later, unless I am missing something. - generator/platform.x11.c...