Updated to onera_git commit version 9421e24 (bad9b6b2) · Commits · LustreC / Lustrec - public version · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Lustrec - public version
- Activity
- Members
- Labels
- Issues
  0
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

bad9b6b2

Commit bad9b6b2 authored 9 years ago by

Temesghen Kahsai

Downloads
- Patches
- Plain Diff

Updated to onera_git commit version 9421e247

parent 0aa82be6

No related branches found

No related tags found

No related merge requests found

Changes 27

Hide whitespace changes

Inline Side-by-side

Showing

AUTHORS 1 addition, 2 deletions

AUTHORS
autom4te.cache/output.0 9 additions, 9 deletions

autom4te.cache/output.0
autom4te.cache/requests 45 additions, 45 deletions

autom4te.cache/requests
autom4te.cache/traces.0 2 additions, 2 deletions

autom4te.cache/traces.0
configure.ac 1 addition, 1 deletion

configure.ac
share/FindLustre.cmake 19 additions, 3 deletions

share/FindLustre.cmake
src/Makefile 1 addition, 1 deletion

src/Makefile
src/automata.ml 25 additions, 3 deletions

src/automata.ml
src/backends/C/c_backend_common.ml 20 additions, 4 deletions

src/backends/C/c_backend_common.ml
src/backends/C/c_backend_src.ml 108 additions, 53 deletions

src/backends/C/c_backend_src.ml
src/backends/Horn/horn_backend.ml 2 additions, 1 deletion

src/backends/Horn/horn_backend.ml
src/basic_library.ml 3 additions, 3 deletions

src/basic_library.ml
src/causality.ml 7 additions, 6 deletions

src/causality.ml
src/liveness.ml 8 additions, 2 deletions

src/liveness.ml
src/lustreSpec.ml 5 additions, 0 deletions

src/lustreSpec.ml
src/machine_code.ml 1 addition, 1 deletion

src/machine_code.ml
src/main_lustre_compiler.ml 12 additions, 8 deletions

src/main_lustre_compiler.ml
src/myocamlbuild.ml 1 addition, 1 deletion

src/myocamlbuild.ml
src/optimize_machine.ml 97 additions, 10 deletions

src/optimize_machine.ml
src/parser_lustre.mly 1 addition, 1 deletion

src/parser_lustre.mly

with 368 additions and 156 deletions

0% or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment