
This software is distributed under licence CECILL-B ("http://www.cecill.info").
A copy of the license agreement is found in file LICENSE.


Authors:
--------

Bernard Berthomieu, Rodrigo Saad, Alexandre Hamez.
LAAS/CNRS, 7 avenue du Colonel Roche, 31077 Toulouse Cedex, france

Contact: Bernard.Berthomieu@laas.fr


Files:
------

  Makefile                     Makefile for unix or mingw
  platform		       platform detection script
  front-util.sml               utilities for front-end
  front-fiacre.sml             abstract syntax tree
  front-printer.sml            printer(s) for ast
  front-typer.sml              typechecker
  front-init.sml	       initialization check
  front-parser.lex.sml         lexer (generated from front-parser.lex)
  front-parser.grm.sig         headers for parser (generated from front-parser.grm)
  front-parser.grm.sml         parsing tables (generated from front-parser.grm)
  front-parser.sml             parser main
  frac-util.sml		       utilities for back-end
  frac-flags.sml               option initialisations and command line analysis
  frac-main.sml                frac main
  frac-tts.sml		       abstract tts syntax
  frac-precompose.sml	       converts fiacre to abstract tts, expands constructions
  frac-compose.sml	       instantiation and composition of processes
  frac-postcompose.sml	       transformations for code generation
  frac-optimize.sml	       optimizations for code generation
  frac-emit-types.sml
  frac-emit-abstract.sml
  frac-emit-shared.sml
  frac-emit-tts.sml
  frac-emit-hippo.sml
  frac-emit.sml		       code generation
  frac-compile.sml	       all compilation passes together
  version.sml                  generated by Makefile
  

Make options:
--------------

  make, or make frac, builds frac using mlton, puts binary in ./ (frac or frac.exe)
  make clean : removes executable and version.sml
  make cleansrc : removes all generated sml files (including lexer/parser)
  make cleanall : clean + cleansrc

