Jérôme Boillot

Currently we are using the endpoint `/authentication/RequestDeviceRegistration` to perform device registration. This endpoint is deprecated and we should use `/authentication/GetAuthenticationMethodsForDevice` instead.

Hello everyone, I'm adding labelled arguments on a project and I was thinking that it could be great to add automatically all the beginning of the required arguments. For example:...

Usage of `Construct` to implement missing fields of modules/functors

1

Hello! I hope this message is posted at the right place, don't hesitate to tell me if it's not the case :) ## What I would like I am currently...

Hello, I am trying to test the replacement of Apron by Elina in a toy analyzer. The problem is that it seems the function `bound_texpr` is not defined for the...

Hello, When using strings with UTF characters the semantic highlighting is not correct. Indeed, the length of the added token that is computed is in the code excerpt below with...

Feature request: color diff

1

Hello, first of all thank you for the extension you created, I use it very often! Do you know if it could be possible to use it while comparing file...

Permissions and deletion of temporary files created by preprocessors (pp)

1

Hello, When a preprocessor (pp) is used, the input file is passed as an argument to the preprocessor executable and then redirected to a temporary file before being read again...

When correctly read, the temporary file used to store the result of the preprocessor on the input file is never deleted, which leads to accumulation of files in the `/tmp/`...