Vincent Laporte

Running `laby` installed from sources yields: > [fatal error] cannot find resource "tiles/ant-w.png" The corresponding `.svg` file is found however (according to `laby --debug`), but gdk cannot load it: >...

comparableClass and comparableMixin

2

Between versions 1.7 and 1.8 of ssreflect, the `comparableClass` constructor has been renamed into `comparableMixin` (see 8c2b4474a29c6213a79676a1e76a8ce936e6f6d6). Why isn’t this change listed in the [CHANGELOG](https://github.com/math-comp/math-comp/blob/master/CHANGELOG.md)? Is it possible to write...

compile-before-require stumbles on .cmxs files (OCaml plug-ins)

3

With PG-4.4.1~pre at 73792323172e289b531afc086d3f97323b28ecb6 with Coq-8.8 at 37d464bf9c36a8f52b42a509a31739e8afb96f1d, I’m trying to `Require` (with compile-before-require enabled; when this option is disabled, everything works fine) the loader for the toy plug-in at...

ocamlPackages.crunch: 3.1.0 → 3.3.1

2

###### Description of changes Fixes & improvements: https://github.com/mirage/ocaml-crunch/blob/v3.3.1/CHANGES.md#v331-2022-08-05 ###### Things done - Built on platform(s) - [x] x86_64-linux - [ ] aarch64-linux - [ ] x86_64-darwin - [ ] aarch64-darwin...

###### Description of changes Fixes: https://github.com/tchajed/coq-record-update/releases/tag/v0.3.1 cc maintainer @ineol. ###### Things done - Built on platform(s) - [x] x86_64-linux - [ ] aarch64-linux - [ ] x86_64-darwin - [ ]...

A few high-level functions from the “imagelib” library now belong to a new “imagelib-unix” library. NB: the installation instructions may need to be updated too.

Extracted from #194.

This prevents source-level intrinsics to be removed by dead-code elimination. Fixes #220

The following program is compiled to an empty function, which is not incorrect but not the expected behavior: ~~~ export fn main() { _, _ = #RDTSC(); } ~~~

Currently, the only way I know to turn a boolean condition into a word (in a register) is to resort to the `#SETcc` intrinsic. I think it would be much...