Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾 Property-Based Testing of OCaml 5's Runtime System: Fun and Segfaults with Interpreters and State Transition Functions We desc...

The push underscores the seriousness of President Trump’s intent to acquire the island from Denmark.

OCaml/Unikraft: an OCaml cross compiler to Unikraft backends OCaml/Unikraft is structured into many packages to allow users to build only what they need. Packages use one of two version numbers: 0...

…in which I’ll tell you how you can make sure your property based tests are testing the interesting cases.

The materials for the course on compilers: built incrementally and fully in tagless-final style

This fixes #338 - or at least gives it a good kick in the right direction. Both Lin_thread and STM_thread are currently marked as experimental - and for good reason: The chance of them triggering u...

Offre d'emploi Inria

This PR takes a first step towards improving the QCheck2 list shrinker. The current one uses the input size tree and offers only prefixes, e.g., shrinking [1;2;3;4;5;6;7;8] to [], [1;2;3;4], [1;2;3...

A “build system” is one of the most important tools in a developer’stoolbox. Roughly, it figures out how to create runnable programs froma bunch of different...

An overlay on Eglot for editing OCaml code using LSP - tarides/ocaml-eglot

We summarise the challenges and lessons learned in developing a test suite of property-based tests to help ensure the correctness of OCaml 5.

Computer Weekly has investigated the Post Office Horizon scandal since 2008 and is, in fact, part of the story. This guide covers essential information about the scandal.