Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 4784e95f

Name Size Revision Age Author Comment
  github_issues 0b109a10 almost 6 years Pierre-Loïc Garoche Scheduling issue
  regression_tests bd3f748f over 5 years Pierre-Loïc Garoche guarantee(s)
  sandbox 81306cb7 about 6 years Pierre-Loïc Garoche Tiny example for zustre debugging
  stateflow_json 184630f0 over 6 years Bourbouh add json regression tests
  tests 4784e95f over 5 years Pierre-Loïc Garoche Small modifications to have the tests ok: we do...
  vhdl_json a0f656ac almost 6 years Arnaud Dieumegard Added JSON files for valencia VHDL tests

Latest revisions

# Date Author Comment
4784e95f 03/21/2019 09:29 PM Pierre-Loïc Garoche

Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
f0e4e301 03/21/2019 09:28 PM Pierre-Loïc Garoche

Moved files content in a single file
b8c35852 03/21/2019 05:16 PM Pierre-Loïc Garoche

Merge branch 'guarantees'
61a7e719 03/21/2019 05:15 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
85dbaa74 03/21/2019 05:15 PM Pierre-Loïc Garoche

Merge branch 'master' into guarantees
bd3f748f 03/21/2019 05:12 PM Pierre-Loïc Garoche

guarantee(s)
99a9d521 03/21/2019 12:32 AM hbourbou

remove corrupted lustre files
17b2e00a 03/20/2019 02:48 AM hbourbou

add ADA strategy and call it in Simulink folder
36b093bd 03/19/2019 03:21 AM hbourbou

cleanup src_many_files, regenerate input/output references
cd1faebc 03/16/2019 04:00 PM Pierre-Loïc Garoche

No temporary file on repo!

View all revisions | View revisions

Also available in: Atom