Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
README
pour compiler : make
pour lancer le toplevel : make run
pour ajouter un module au toplevel : le rajouter dans le fichier tools.mltop

pour tester un circuit sur une entrée : ./main.native nom_du_fichier
les options sont données par : ./main.native -h 
puis utilisées de la manière suivante : ./main.native -pdf bidule.pdf source

Remarque : si vous utilisez l'option -o sans l'option -c, un fichier c est
quand-même créé (par exmple, "./main.native -o tmp/a source" crée tmp/a.c et tmp/a)

attention certaines options ne sont que peu ou pas encore implémentées, merci d'y contribuer


Organisation du projet :

    - Analisys : fichiers implémentant la phase d'analyse du compilateur
	ast.ml			
	baseBlocks.ml		
	integerToInt.ml		
	lexer.mll		
	parser.mly		
	pattern.ml		
	semanticAnalysis.ml	
	wire.ml

    - Synthesis : fichiers implémentant la phase de synthése du compilateur
        graph1.mlpack & graph2.mlpack -> fichiers de configuration pour la compilation du projet
	- Graph1
	    generationgraphe.ml	
	    graphToC.ml		
	    toSimulator.ml		
	    toSimulatorV2.ml	
	    typesgraphe.ml
	- Graph2
	    astToGraph.ml		
	    graphToCpp.ml		
	    toSimulator.ml		
	    toSimulatorV2.ml

    - FrontEnd : tout ce qui concerne l'interface utilisateur, les tests et le débugage
        Simulateur  -> intérprète	
	main.ml	 -> compilateur	
	print.ml  -> utilitaire pour afficher les différents types du projet	
	tests  -> des tests
	tests.ml -> des tests utilisés lors du débuggage
	tools.ml  -> utilitaires variés	
	tools.mltop  -> toplevel pour débug	
	trash.ml  -> fichier qui sert à rien

    - Resources : les resources qu'utilise le compilateur

    - Makefile & _tags : pour la compilation

    - compiled-tests et _build contiennent respectivement les resultats de la compilation des tests et les fichiers intermédiaires pour la compilation du compilateur
Something went wrong with that request. Please try again.