Revision 57c96fb7 - setup tests for dune - LustreC

« Previous | Next »

Revision 57c96fb7

Added by Lélio Brun over 2 years ago

ID 57c96fb771edbd93977cd35c4ee2e638c071dc76
Parent 97d4e95e
Child ac6ce5a1

setup tests for dune

added
modified
copied
renamed
deleted

.gitmodules
dune
dune-project (diff)
include
- dune
share
- FindLustre.cmake
- FindLustre.cmake.in
src
- automata.ml (diff)
- backends
  - C
    - c_backend_header.ml (diff)
    - c_backend_makefile.ml (diff)
- compiler_stages.ml (diff)
- dune (diff)
- lusic.ml (diff)
- main_lustre_testgen.ml (diff)
- options_management.ml (diff)
- parsers
  - parse.ml (diff)
  - parser_lustre.mly (diff)
- utils
  - location.ml (diff)
- version.ml (diff)
tests