Gwenaëlle Lecat
Gwenaëlle Lecat
I was thinking that having the ability to track the movement of the mouse would be quite nice, so I tried digging a bit and it seems that it can...
In a recent project, I met various issues due to the forked libraries vendored by `dream`. Indeed, it was really hard to have the latest versions of many other dependencies...
This pull request aims to add a graphical ui tool to irmin for pack files. This tool comes into to 2 different binaries: - The first one, `irmin-parse` iterates a...
This issue aims to gather all the feedback/requests that might be done for the tool developed in this [pull request](https://github.com/mirage/irmin/pull/1939) once it is merged. Summary: - [x] With very large...
This PR adds: - 2 accessors that uses physical offsets instead of the virtual offsets - A generator for sequences of accessors that iterates trough all physical offsets of a...
The file `dispatcher.ml` has no tests related to it's functions, we should add some
Hello, This PR aims to add an event for the mouse movement which I had already talked about in this [issue](https://github.com/pqwy/notty/issues/40). I had considered trying to put it as an...
This PR aims to change the existing hash tables of irmin and use `Kcas_data` hash tables instead. This should help maintain good performances when using irmin on several domains, by...
Make the Io module of `Irmin-pack` compatible with `eio`. This work involves using the Eio related functions for all io operations. Most of the work relies on propagating the eio...
This PR aims to help restoring a store to a previous state when a corruption occurs. It uses the `index` of the store in order to find the latest commit...