@etienneandre etienneandre released this Oct 28, 2015 · 891 commits to master since this release

Bug fixing

  • Corrected a problem in the generation of the observer patterns

Internal

  • "examples" directory becomes "benchmarks"
  • Automaton.ml becomes Location.ml (and new module Automaton.ml created)
Assets 6