remove some unecessary files and some dead code (acc5e191) · 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

acc5e191

Commit acc5e191 authored 2 years ago by

BRUN Lelio

Downloads
- Patches
- Plain Diff

remove some unecessary files and some dead code

parent e4b63bac

No related branches found

No related tags found

No related merge requests found

Changes 15

Hide whitespace changes

Inline Side-by-side

Showing

src/Makefile-lustresf.in 0 additions, 19 deletions

src/Makefile-lustresf.in
src/Makefile.in 0 additions, 61 deletions

src/Makefile.in
src/_tags.in 0 additions, 73 deletions

src/_tags.in
src/backends/Ada/ada_backend.ml 17 additions, 14 deletions

src/backends/Ada/ada_backend.ml
src/backends/EMF/EMF_backend.ml 2 additions, 1 deletion

src/backends/EMF/EMF_backend.ml
src/backends/EMF/EMF_backend.ml~ 0 additions, 1 deletion

src/backends/EMF/EMF_backend.ml~
src/lustrec.odocl 0 additions, 69 deletions

src/lustrec.odocl
src/machine_types.ml 8 additions, 7 deletions

src/machine_types.ml
src/machine_types.mli 0 additions, 0 deletions

src/machine_types.mli
src/optimize_machine.ml 65 additions, 64 deletions

src/optimize_machine.ml
src/tools/seal/seal_extract.ml 23 additions, 19 deletions

src/tools/seal/seal_extract.ml
src/tools/stateflow/common/datatype.ml 25 additions, 23 deletions

src/tools/stateflow/common/datatype.ml
src/tools/zustre/zustre_common.ml 32 additions, 27 deletions

src/tools/zustre/zustre_common.ml
src/utils/utils.ml 16 additions, 15 deletions

src/utils/utils.ml
tests 1 addition, 1 deletion

tests

with 189 additions and 394 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