Skip to content

Modules

Louis Gesbert requested to merge modules into main

Passage sur une version modulaire utilisant les nouveaux modules de Catala.

Le code de l'IR est compilé vers du natif via OCaml, puis exécuté par les tests soit en utilisant l'interpréteur de Catala sur les tests (make test), soit en compilant les tests vers un binaire qui est ensuite exécuté (make test-native).

Edited by Louis Gesbert

Merge request reports