Split PredefSemantics into 3 modules: PredefEvalType, PredefConst, (59e2cc71) · Commits · verimag / synchrone / lustre-v6 · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

L

lustre-v6
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

59e2cc71

Commit 59e2cc71 authored 16 years ago by Erwan Jahier

Downloads
- Patches
- Plain Diff

Split PredefSemantics into 3 modules: PredefEvalType, PredefConst,

and PredefEvalClock.

parent 3dd6695f

No related branches found

No related tags found

Loading

Changes 17

Hide whitespace changes

Inline Side-by-side

Showing

src/Makefile 6 additions, 2 deletions

src/Makefile
src/TODO 27 additions, 9 deletions

src/TODO
src/evalConst.ml 4 additions, 3 deletions

src/evalConst.ml
src/evalType.ml 3 additions, 2 deletions

src/evalType.ml
src/getEff.ml 3 additions, 3 deletions

src/getEff.ml
src/lazyCompiler.ml 2 additions, 2 deletions

src/lazyCompiler.ml
src/lustre.lus 38 additions, 48 deletions

src/lustre.lus
src/predef.ml 5 additions, 0 deletions

src/predef.ml
src/predefEvalClock.ml 28 additions, 0 deletions

src/predefEvalClock.ml
src/predefEvalClock.mli 3 additions, 0 deletions

src/predefEvalClock.mli
src/predefEvalConst.ml 242 additions, 0 deletions

src/predefEvalConst.ml
src/predefEvalConst.mli 16 additions, 0 deletions

src/predefEvalConst.mli
src/predefEvalType.ml 279 additions, 0 deletions

src/predefEvalType.ml
src/predefEvalType.mli 22 additions, 0 deletions

src/predefEvalType.mli
src/predefSemantics.ml 5 additions, 74 deletions

src/predefSemantics.ml
src/predefSemantics.mli 0 additions, 2 deletions

src/predefSemantics.mli
src/test/Makefile 7 additions, 4 deletions

src/test/Makefile

with 690 additions and 149 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