Published June 24, 2024 | Version v1

Chamelon : a delta-debugger for OCaml

  • 1. ROR icon École Normale Supérieure
  • 2. ROR icon Sorbonne Université
  • 3. OCamlPro

Description

This artifact is a demonstration for the OCaml delta-debugger Chamelon described in the article. The tool source code is embedded in a docker where it can be built, with no requirement for the user.
We provide a sample of real-world examples, on which the optimizing compiler flambda2 failed at previous stages of its development. We can then execute Chamelon on those programs, with, as delta-debugging invariant, a compilation failure for compiler version specifically designed to trigger all those previous bugs. As a result, we get significantly reduced versions of those programs, triggering the same compilation error.

Files

chamelon-artifact.zip

Files (644.7 MB)

Name Size
md5:f8999712f27ed45741d6bd18890c3d25
644.7 MB Preview Download

Additional details

Software