inferno-experimental

Trous typés pour le shrinker

4

#32 by gasche was closed 2021-09-15 10:52:26 +02:00

Rajouter un peu d’intégration continue

3

#20 by Olivier was closed 2021-05-17 15:22:35 +02:00

Benchmarking

2

#22 by Olivier was closed 2022-01-26 11:07:53 +01:00

Pretty-printing : affichage fun/Fun n-aire

1

#55 by Olivier was closed 2022-11-24 14:14:51 +01:00

afficheur de types: virer le some . de some . a0 -> a0.

1

#53 by gasche was closed 2022-01-26 11:06:55 +01:00

ajouter un "search path" à ./midml.exe

1

#52 by gasche was closed 2022-02-08 10:19:27 +01:00

propager debug_shrink dans Qcheck_alcotest

1

#41 by gasche was closed 2022-01-26 11:08:32 +01:00

PR alcotest: ajouter un saut de ligne à la fin de la sortie

1

#40 by gasche was closed 2022-01-26 11:06:34 +01:00

Meilleur message d'erreur pour Menhir

1

#36 by Olivier was closed 2022-02-09 11:51:45 +01:00

Tester le printer avec le générateur aléatoire

1

#35 by gasche was closed 2021-05-12 13:47:30 +02:00

Relire le code de FPrinter.ml

1

#29 by Olivier was closed 2021-05-03 10:23:53 +02:00

Implémenter un shrinker pour les programmes ML pour réduire les tests

1

#19 by Olivier was closed 2021-05-17 15:22:54 +02:00

Ligther F examples

#57 by gasche was closed 2022-09-20 09:34:23 +02:00

Rajouter les commentaires dans midML

#54 by Olivier was closed 2022-09-16 14:48:47 +02:00

Lire l'article sur les GADTs et en discuter

#51 by gasche was closed 2022-07-29 13:58:09 +02:00

migrer TestMidML vers client/bin/midml.exe et nettoyer un peu la sortie

#50 by gasche was closed 2022-02-09 11:51:15 +01:00

éliminer les chemins absolus dans le code de la partie test

#49 by gasche was closed 2022-02-09 11:51:24 +01:00

Directive #use gérée au niveau du parsing

#48 by gasche was closed 2021-12-14 13:13:08 +01:00

migrer les tests vers des fichiers séparés

#47 by gasche was closed 2021-12-14 13:13:16 +01:00

Incrémenter le numéro de ligne dans le lexer et tester les positions

#46 by Olivier was closed 2021-12-14 15:29:35 +01:00

Labels Milestones