Draft: Ajout d'un script de compilation paresseuse des programmes C générés - #280

Open

Stevendeo wants to merge 196 commits into

MLanguage:masterfrom

Stevendeo:lazy-compile

Commits on May 19, 2026

Traces pour les cellulles des tableaux dans les règles
david-michel1
committed
9cfa755

Commits on May 22, 2026

Commits on May 26, 2026

Merge branch 'ci-master' into 'master'
Steven de Oliveira
committed
25e3db7

Commits on May 27, 2026

Merge branch 'trace_tableaux' into 'master'
Steven de Oliveira
committed
b24a793
:art: :adhesive_bandage: Formatting using the right OCaml version
mdurero
committed
650803e
Merge branch 'fix/formatting' into 'master'
Steven de Oliveira
committed
6fc05f8
Variable aiguillage
Stevendeo
committed
1f42b01
Mise à jour tests
Stevendeo
committed
634ce46
Adding constant aiguillages & reworking syntax
Stevendeo
committed
1303354
More use of switch in corr
Stevendeo
committed
43fdb12
Ajout aiguillage variable dans code correctif 2025
Stevendeo
committed
e9c9263
Update doc publisher
Stevendeo
committed
1979905
Réparation optToNum
Stevendeo
committed
e49cc3f
Pas de valeur de sortie en irj veut dire égal à 0
Stevendeo
committed
e38f0f8
Create .gitlab-ci.yml file

Steven de Oliveira
authored and
Stevendeo
committed
68aaf69
Factorizing tests
Stevendeo
committed
432ce7c
Testing long build
Stevendeo
committed
630b1ad
Factorizing in main build
Stevendeo
committed
7cf8fb8
Try to publish artiacts only on right branches
Stevendeo
committed
55f7028
No doc nor static build when no deploy and unused rule removal
Stevendeo
committed
f4e9f31
Removing useless update
Stevendeo
committed
f7672d9
Testing other image
Stevendeo
committed
f085c2b
keep track of tested files if the execution did not finish

lambdalex-ocp
authored and
Stevendeo
committed
839dd00
force ocamlversion to 0.28.1 because steven forgot

lambdalex-ocp
authored and
Stevendeo
committed
91d27e8
Add back reference to tab in table cell

lambdalex-ocp
authored and
Stevendeo
committed
eeadbb0
Add documentation & Clarify exception

lambdalex-ocp
authored and
Stevendeo
committed
8844233
Add documentation & clarify exception

lambdalex-ocp
authored and
Stevendeo
committed
564e47d
add opam exec to recipe

lambdalex-ocp
authored and
Stevendeo
committed
99b2811
Apply 1 suggestion(s) to 1 file(s)

Steven de Oliveira
authored and
Stevendeo
committed
5814e46
Messages d'erreur customisés avec menhir
Stevendeo
committed
70f8c6f
Traitement correct des erreurs et ajout de quelques messages
Stevendeo
committed
34d5e50
Simplification traitement erreurs
Stevendeo
committed
3a5f2dd
Quelques messages supplémentaires
Stevendeo
committed
9194e96
Testing mparser messages and automatically updates when mparser changes
Stevendeo
committed
cfbe6cb
Documentation
Stevendeo
committed
32555b4
Rewording
Stevendeo
committed
3f83e63
Update with latest menhir version
Stevendeo
committed
3110442
Correction de la gestion des anomalies dan le correctif

david-michel1
authored and
Stevendeo
committed
83ca03d
Add files to gitignore, and read env variable

lambdalex-ocp
authored and
Stevendeo
committed
8a6c0f5
Verification de l'utilisation des variables temporaires et arguments en tant que référence
Stevendeo
committed
8005ce4
Les references dans champ_evenent peuvent être des ref
Stevendeo
committed
1b2a771
Poetry
Stevendeo
committed
aa046e8
Update .gitlab-ci.yml to update repositories before fetching

lambdalex-ocp
authored and
Stevendeo
committed
1d4b27a
New docker image builder

lambdalex-ocp
authored and
Stevendeo
committed
f84d9ae
make gitlab ci use new image

lambdalex-ocp
authored and
Stevendeo
committed
e4e8a9c
add dbg_info structure

lambdalex-ocp
authored and
Stevendeo
committed
745cf30
add tracing to the interpreter

lambdalex-ocp
authored and
Stevendeo
committed
b567a31
Add origin to literals

lambdalex-ocp
authored and
Stevendeo
committed
eb581a7
Split Driver and Parsing

lambdalex-ocp
authored and
Stevendeo
committed
170b94a
add target specification to tracing

lambdalex-ocp
authored and
Stevendeo
committed
406b284
Add plain output flag

lambdalex-ocp
authored and
Stevendeo
committed
ab56477
Make pos not dependent on cli

lambdalex-ocp
authored and
Stevendeo
committed
01c0b0b
Add IRJ parsing for server mode

lambdalex-ocp
authored and
Stevendeo
committed
2670e84
Add new M tests

lambdalex-ocp
authored and
Stevendeo
committed
e44ca3c
[COM] Print floats in a better way

lambdalex-ocp
authored and
Stevendeo
committed
89c8843
add log of interpretation errors

lambdalex-ocp
authored and
Stevendeo
committed
2600bd9
remove assert false catch-all and provide every case

lambdalex-ocp
authored and
Stevendeo
committed
7b47055
Add temp variables tracing when iterated & refactoring

lambdalex-ocp
authored and
Stevendeo
committed
e8fa998
Change graph structure

lambdalex-ocp
authored and
Stevendeo
committed
e8df658
fetch the correct naming if inside table cell

lambdalex-ocp
authored and
Stevendeo
committed
cfe3d2d
Add trace config flag

lambdalex-ocp
authored and
Stevendeo
committed
af144b3
functorize the interpreter

lambdalex-ocp
authored and
Stevendeo
committed
91bd7e4
make tracer_ctx immutable

lambdalex-ocp
authored and
Stevendeo
committed
51b3703
New graph structure [mir interp]

lambdalex-ocp
authored and
Stevendeo
committed
9ef1b69
add anomaly tracing

lambdalex-ocp
authored and
Stevendeo
committed
c69889d
add aliases to dbg_info

lambdalex-ocp
authored and
Stevendeo
committed
58e0deb
init dbg_info with aliases

lambdalex-ocp
authored and
Stevendeo
committed
d64763d
More documentation

lambdalex-ocp
authored and
Stevendeo
committed
63d7582
Move out tracer from mir_interpreter

lambdalex-ocp
authored and
Stevendeo
committed
29e2516
Add trace_output_file cli option

lambdalex-ocp
authored and
Stevendeo
committed
e905daf
write trace if flag is set

lambdalex-ocp
authored and
Stevendeo
committed
314e572
remove asssert false and make default info

lambdalex-ocp
authored and
Stevendeo
committed
51e21a9
Gestion de messages multi-langage dans mlang
Stevendeo
committed
cf2964f
Renommage de Log en Ppf
Stevendeo
committed
bbd8c55
fix bad path in makefile

lambdalex-ocp
authored and
Stevendeo
committed
9126892
Simplification de Mir_number
Stevendeo
committed
535dbd8
Interpreteur dans sa propre strophe dune
Stevendeo
committed
bb314df
Types hors du module de calcul
Stevendeo
committed
a1a25e4
Déplacement du traceur dans la strophe de l'interpréteur
Stevendeo
committed
27e4379
Contexte dans son propre module
Stevendeo
committed
7348865
Moving print utils to Printer module
Stevendeo
committed
beb137a
Number dans son propre module
Stevendeo
committed
929138c
Déplacement des fonctions dans un module séparé
Stevendeo
committed
ff4df8d
Utilisation de la bonne fonction pour initialiser la précision
Stevendeo
committed
f0c9557
Allègement de evaluate_expr
Stevendeo
committed
5e8bb5c
Déplacement des anomalies
Stevendeo
committed
e81e4e1
Mise à jour du contexte dans le module approprié
Stevendeo
committed
2a7235d
Context now depends on tracer and number
Stevendeo
committed
fdfbd35
Evaluate_expr factorisée
Stevendeo
committed
f3329e7
Evaluate_stmt factorisée
Stevendeo
committed
977a189
Documentation & petite simplification du printeur
Stevendeo
committed
4554bb3
Réparation d'un mauvais index
Stevendeo
committed
acf737c
Simplification du test final de l'évaluation d'une expression
Stevendeo
committed
277612c
Artéfacts de rebase
Stevendeo
committed
521060f
Documentation
Stevendeo
committed
826b56a
Interface du traceur
Stevendeo
committed
7701dbf
Documentation minimale du printeur
Stevendeo
committed
e05131c
Formatteur des valeurs déplacés dans le module des nombres
Stevendeo
committed
4719c99
Un peu de nettoyage
Stevendeo
committed
bdd4e67
Refactorisation de la génération d'expression C
Stevendeo
committed
fc8e201
Variable irdata en tant qu'expression indépendante
Stevendeo
committed
d89c034
Utilisation de valeurs de l'AST plutôt que instr
Stevendeo
committed
28da939
Utilisation des pointeurs centralisée dans une seule fonction
Stevendeo
committed
f33d91c
Simplification du test d'appartenance
Stevendeo
committed
387cd67
Abstraction des varinfo comme expression découplées
Stevendeo
committed
f279e4e
Utilisation des varinfos découplées
Stevendeo
committed
3786ce9
Simplification du calcul d'attribut
Stevendeo
committed
0ffe0f7
Espace de variable abstraits
Stevendeo
committed
4ca23c0
Abstraction du nom de type
Stevendeo
committed
3149242
Suppression de l'export de ddirect/dinstr
Stevendeo
committed
5ff2807
Documentation
Stevendeo
committed
c9bbc86
Ajout d'un type VarSpace
Stevendeo
committed
65b7123
Réparation de typos
Stevendeo
committed
12604b8
Traduction des erreurs de l'interpréteur
Stevendeo
committed
d0bfc99
Traduction de l'interpreteur de test
Stevendeo
committed
6e4a239
Ajout de valeurs courantes pour l'espace de nom courant
Stevendeo
committed
0f7f768
Moniteur de temps sur le calcul en C
Stevendeo
committed
5b501c0
Modification stylistique de la définition des variables d'espace de nom
Stevendeo
committed
d65a43d
Update .gitlab-ci to add multi-stage build

lambdalex-ocp
authored and
Stevendeo
committed
5508aa1
update .gitlab-ci to use the proper image

lambdalex-ocp
authored and
Stevendeo
committed
e7d45ea
downgrade to dune 2 CI
lambdalex-ocp
committed
d07085e
format dune files to 2.7 behavior
lambdalex-ocp
committed
93247b5
Merge branch 'downgrade-to-dune-2' into 'dev'
Steven de Oliveira
committed
7135a5a

Commits on May 28, 2026

Calculette 2024 (rev 36674)
david-michel1
committed
e6f58ed
Initializing time
Stevendeo
committed
cc42a36

Commits on Jun 1, 2026

Merge branch 'fix-time' into 'dev'
Steven de Oliveira
committed
2d1b61e
Merge branch 'calculette_2024' into 'dev'
Steven de Oliveira
committed
b15777f

Commits on Jun 2, 2026

update tracer to log variable declaration line
lambdalex-ocp
committed
8824b3a
update tests
lambdalex-ocp
committed
1c766a0
Auto tag add
Stevendeo
committed
fce5795
Mise à jour du README
Stevendeo
committed
73a1b68

Commits on Jun 3, 2026

Merge branch 'trace-var-declaration' into 'dev'
Steven de Oliveira
committed
33b6847
Ajout de 2025 et configuration du choix d'optim de compilation
Stevendeo
committed
d77de33
Merge branch 'auto-tag-creation' into 'dev'
Steven de Oliveira
committed
81be335
Verification de la capacité d'une règle à être stoppée
Stevendeo
committed
d66ddb5
Merge branch 'optim-abort' into 'dev'
Steven de Oliveira
committed
6f0b7b7
Unicité des expressions booléennes dans les ET et OU
Stevendeo
committed
84e3b95
Merge branch 'makefile-update' into 'dev'
Steven de Oliveira
committed
de51f89
Traduction README
Stevendeo
committed
f140c98
Légère correction
Stevendeo
committed
409f6bc
Ajout du lien vers la forge adullact
Stevendeo
committed
7c5b013
Merge branch 'disclaimer' into 'dev'
Steven de Oliveira
committed
de56bea

Commits on Jun 8, 2026

Merge branch 'optim-reduce' into 'dev'
Steven de Oliveira
committed
dee3b17
Optionnalisation des optimisations
Stevendeo
committed
9811dd1
Cram tests
Stevendeo
committed
e8f27ba

Commits on Jun 9, 2026

Add CI flag to launch a static build [build-static]
lambdalex-ocp
committed
7e6e6e6
[CI] Add a way to release
lambdalex-ocp
committed
c76c958
Merge branch 'ci-build-static-flag' into 'dev'
Steven de Oliveira
committed
7c1f536
Merge branch 'optionize-optims' into 'dev'
Steven de Oliveira
committed
3166efa
Merge branch 'dev' into 'master'
Steven de Oliveira
committed
91f3e15

Commits on Jun 15, 2026

Simple op
Stevendeo
committed
bfbb993

Commits on Jun 18, 2026

Merge branch 'optim-simple-oper' into 'dev'
Steven de Oliveira
committed
5e3dbed

Commits on Jun 23, 2026

Complétion des fichiers IRJ via le backend C
david-michel1
committed
f52f5b3

Commits on Jun 26, 2026

Réactivation de l'option OPTIM_FLAG, activée par défaut
Stevendeo
committed
0f4eebf
Merge branch 'completion' into 'dev'
Steven de Oliveira
committed
4fdcc05
Pre-representation of decoupled expressions
Stevendeo
committed
9a52fea

Commits on Jun 30, 2026

Merge branch 'precompute-def' into 'dev'
Steven de Oliveira
committed
2715f2b

Commits on Jul 1, 2026

Licence CeCILL-C
Stevendeo
committed
e04d9a5

Commits on Jul 21, 2026

Full update of all ml headers
Stevendeo
committed
5d48e78
Merge branch 'licence-header' into 'dev'
Steven de Oliveira
committed
d89a284
Réparation d'un test de définition
Stevendeo
committed
49ed1f4
Simplification de la traduction de supzero
Stevendeo
committed
6567eff

Commits on Jul 22, 2026

Merge branch 'supzero-fix' into 'dev'
Steven de Oliveira
committed
64870b8
Exécution des programmes C générés dans les cram test
Stevendeo
committed
eadd27d
Ajout des fonctions dans les cram test
Stevendeo
committed
133a8ec
Ajout de cram test de l'instruction d'aiguillage
Stevendeo
committed
0ff4eb8
Mise à jour de la documentation des cram test
Stevendeo
committed
9c4584e
Merge branch 'execute-cram-test' into 'dev'
Steven de Oliveira
committed
4ff761d

Commits on Jul 28, 2026

Calculette fuzzée 2024
david-michel1
committed
dab8d5a
Tests 2024 interprétés
david-michel1
committed
765b66c
Retest 2024 interprté
david-michel1
committed
3856a5d
Réparation cram tests pour 2024
david-michel1
committed
f5be251
Valuation des variables sur la ligne de commande
david-michel1
committed
2ce7b58
Rebasage...
david-michel1
committed
186813f
Merge branch 'fuzzing2024' into 'dev'
david-michel1
committed
b9c88c4

Commits on Jul 31, 2026

Simplification des formules booléennes
Stevendeo
committed
08a355a
Plus de documentation
Stevendeo
committed
811b989
Utilisation de listes pour stabiliser l'ordre des variables booléennes
Stevendeo
committed
7c54d1d
Merge branch 'optim-push-bool' into 'dev'
Steven de Oliveira
committed
32e3157
Expression lets and cond
Stevendeo
committed
2e4fbe7
Cast des conditions générées par les expressions conditionnelles
Stevendeo
committed
59ed35f

Commits on Aug 3, 2026

Ajout d'un test sur les nouvelles conditions
Stevendeo
committed
7573d65
Affichage plus déterministe
Stevendeo
committed
5fbb8dd
Merge branch 'prelet' into 'dev'
Steven de Oliveira
committed
e295537
Ajout de messages d'erreur manquants
Stevendeo
committed
ce85108
Merge branch 'plus-de-messages' into 'dev'
Steven de Oliveira
committed
864779b

Commits on Aug 11, 2026

Adding a script for lazy compiling a list of C files
Stevendeo
committed
9a79d54
Tmp
Stevendeo
committed
081c504
Traitement de l'interface en ligne de commande plus maline
Stevendeo
committed
5dbacc6
Clarification messages
Stevendeo
committed
4f5c0f6
Poetry
Stevendeo
committed
aa9fc75
Better reorganisation
Stevendeo
committed
3b3341a
Proper usage of marshalling
Stevendeo
committed
990c9e1