Vincent Laporte

Pointer mutability information after type-checking is not trustworthy

2

Keeping track of the writability (`const` / `mut`) property of variables during the compilation passes is difficult and probably not needed. When compiling this example, we can notice that after...

The following program produces an obscure error message: ~~~ inline fn f(reg u8 a b) { a = #ADD_u8(a, b); } ~~~ > Fatal error: exception End_of_file

The following program returns zero: ~~~ export fn test() -> reg u8 { reg u8 a; a = 256; return a; } ~~~

Configure script should not silently fall back to arbitrary defaults when pkg-config fails

2

The configuration script uses arbitrary defaults when calling `pkg-config` fails: https://github.com/savonet/ocaml-ssl/blob/0.5.9/src/config/discover.ml#L6 These defaults are wrong on some platforms. What seems worse is that this fall-back is silent: one can successfully...

There is a lot of duplication between the specific W8.SHIFT theory and the generic BitWordSH theory. There is an attempt there: ca3785e63d8ae2d1315630c608e7bb6bb1506e33 but that triggers an EasyCrypt bug.

How are compiled C++ stubs?

6

I’m trying to build software that use `dune` as build system and have C++ stubs. And compilation fails. I’ve already reported https://github.com/AltGr/ocaml-mccs/issues/12 and https://github.com/janestreet/re2/issues/21. My understanding is that there are...

This is about latest release, version 1.1. Test work fine with GCC 12; with GCC 13, they fail with: > File "test/unit_stats_rvs.ml", line 757, character 2: > FAIL Avg ppf...

I’m trying to plot list-like tree structures using `TreePlot` and get various errors. Here is a minimal example. ~~~ using GraphRecipes, AbstractTrees, Plots abstract type L end struct E DimensionMismatch:...

Fix gstreamer decoder after #3664

2

Fixes #3752

Security annotations for the speculative-ct checker are translated (weakened) when handled by the (non-speculative) CT checker.