Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

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

Snippets Groups Projects

0cbf0839

Commit 0cbf0839 authored 11 years ago by Pierre Loic Garoche

Downloads
- Patches
- Plain Diff

Moved files to trunk in lustre_compiler

parent 0f649de9

No related branches found

No related tags found

No related merge requests found

Changes 979

Expand all Hide whitespace changes

Inline Side-by-side

Showing

LICENSE-LGPL.txt 504 additions, 0 deletions

LICENSE-LGPL.txt
Makefile 38 additions, 0 deletions

Makefile
README.lustrec 32 additions, 0 deletions

README.lustrec
TODO.org 31 additions, 0 deletions

TODO.org
_oasis 22 additions, 0 deletions

_oasis
_tags 10 additions, 0 deletions

_tags
configure 8 additions, 0 deletions

configure
include/StdIn.java 297 additions, 0 deletions

include/StdIn.java
include/io_frontend.c 82 additions, 0 deletions

include/io_frontend.c
include/io_frontend.h 28 additions, 0 deletions

include/io_frontend.h
myocamlbuild.ml 459 additions, 0 deletions

myocamlbuild.ml
setup.ml 5254 additions, 0 deletions

setup.ml
src/Print.ml 90 additions, 0 deletions

src/Print.ml
src/Print.mli 131 additions, 0 deletions

src/Print.mli
src/access.ml 109 additions, 0 deletions

src/access.ml
src/basic_library.ml 166 additions, 0 deletions

src/basic_library.ml
src/c_backend.ml 840 additions, 0 deletions

src/c_backend.ml
src/causality.ml 391 additions, 0 deletions

src/causality.ml
src/clock_calculus.ml 781 additions, 0 deletions

src/clock_calculus.ml
src/clock_predef.ml 50 additions, 0 deletions

src/clock_predef.ml

with 9323 additions and 0 deletions

Loading

0% Loading 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