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

e41592cf

Commit e41592cf authored 10 years ago by Temesghen Kahsai

Downloads
- Patches
- Plain Diff

Bug fixed (454), more on travis

parent a1ea5749

No related branches found

No related tags found

Loading

Changes 15

Hide whitespace changes

Inline Side-by-side

Showing

.travis.yml 4 additions, 1 deletion

.travis.yml
autom4te.cache/requests 19 additions, 19 deletions

autom4te.cache/requests
bin/lustrec 0 additions, 0 deletions

bin/lustrec
regression_tests/local_inline.lus 3 additions, 3 deletions

regression_tests/local_inline.lus
regression_tests/stateful_assert.lus 1 addition, 1 deletion

regression_tests/stateful_assert.lus
src/Makefile 1 addition, 1 deletion

src/Makefile
src/backends/Horn/horn_backend.ml 0 additions, 1 deletion

src/backends/Horn/horn_backend.ml
src/main_lustre_compiler.ml 7 additions, 5 deletions

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

src/myocamlbuild.ml
src/normalization.ml 2 additions, 2 deletions

src/normalization.ml
src/scheduling.ml 24 additions, 24 deletions

src/scheduling.ml
test/Makefile 4 additions, 2 deletions

test/Makefile
test/horn_regression.list 5 additions, 0 deletions

test/horn_regression.list
test/regression.sh 78 additions, 0 deletions

test/regression.sh
test/test-compile.sh 38 additions, 6 deletions

test/test-compile.sh

with 187 additions and 66 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