More work on SocExec and lic2soc. Now all memoryless stuff seems to work includind node call. (6233a722) · 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

6233a722

Commit 6233a722 authored 12 years ago by Erwan Jahier

Downloads
- Patches
- Plain Diff

More work on SocExec and lic2soc. Now all memoryless stuff seems to work includind node call.

parent fcf472a6

No related branches found

No related tags found

No related merge requests found

Changes 15

Hide whitespace changes

Inline Side-by-side

Showing

Makefile 2 additions, 0 deletions

Makefile
src/compile.ml 2 additions, 3 deletions

src/compile.ml
src/lic2soc.ml 111 additions, 102 deletions

src/lic2soc.ml
src/lic2soc.mli 3 additions, 1 deletion

src/lic2soc.mli
src/soc.ml 45 additions, 8 deletions

src/soc.ml
src/socExecEvalPredef.ml 103 additions, 136 deletions

src/socExecEvalPredef.ml
src/socExecEvalPredef.mli 2 additions, 3 deletions

src/socExecEvalPredef.mli
src/socExecValue.ml 18 additions, 3 deletions

src/socExecValue.ml
src/socExecValue.mli 16 additions, 1 deletion

src/socExecValue.mli
src/socPredef.ml 46 additions, 38 deletions

src/socPredef.ml
src/socPredef.mli 2 additions, 2 deletions

src/socPredef.mli
src/socUtils.ml 56 additions, 50 deletions

src/socUtils.ml
src/socUtils.mli 5 additions, 5 deletions

src/socUtils.mli
test/lus2lic.sum 1 addition, 1 deletion

test/lus2lic.sum
test/lus2lic.time 2 additions, 2 deletions

test/lus2lic.time

with 414 additions and 355 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