Project

General

Profile

« Previous | Next » 

Revision f0bff3e5

Added by Pierre-Loïc Garoche over 7 years ago

Merge branch 'salsa' into merge_salsa_horn_2
Postponed conflicts to be solved
Conflicts:
src/_tags
src/backends/Horn/horn_backend.ml
src/machine_code.ml
src/main_lustre_compiler.ml
src/myocamlbuild.ml.in
src/optimize_machine.ml

  • added
  • modified
  • copied
  • renamed
  • deleted