Commits

Calascibetta Romain committed 09744b9

Correction on README

Comments (0)

Files changed (1)

 
 Résumé:
     TyLLVM est une librairie OCaml permettant de générer de
-    l'assembleur LLVM qui respecte au possible les specifications du
-    langage grace au système types d'OCaml.
+    l'assembleur LLVM qui respecte au possible les spécifications du
+    langage grâce au système types d'OCaml.
 
 Introduction:
     LLVM est une infrastructure de compilateur ayant l'architecture suivante:
         - Le front-end spécifique à chaque langages compilant vers le code
-            intermediaire LLVM.
+            intermédiaire LLVM.
         - Un compilateur compilant de l'assembleur LLVM (code intermédiaire)
             vers du bytecode LLVM.
         - Un back-end transformant depuis le bytecode LLVM vers une
-            architechture donnée
+            architecture donnée
 
     La présente librairie permet donc de générer du code intermédiaire LLVM
     à partir de code OCaml. Il doit pour cela présenter un ensemble de fonctions
 
     LLVM inclue déjà un binding de leur API pour générer du LLVM-IR [1].
     Seulement, ce n'est qu'un bind des fonctions C++ correspondant qui est
-    non-complet et pouvant occasionner des segfaults.
+    non complet et pouvant occasionner des « segmentation fault ».
 
     La vrai différence de TyLLVM avec avec ce binding, en plus de pallier à ces
-    problèmes mentionner précédament, est qu'il propose un moyen d'éviter un
+    problèmes mentionner précédemment, est qu'il propose un moyen d'éviter un
     certain nombre d'erreurs grâce au système de types d'OCaml.
 
+    L'idée 
+
 Références:
     [1]: https://llvm.org/viewvc/llvm-project/llvm/trunk/bindings/ocaml/llvm/llvm.mli?view=markup