Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 1a2296da

Name Size Revision Age Author Comment
  regression_tests 2e549261 over 2 years Bourbouh add Kind2Results
  sandbox 81306cb7 over 2 years Pierre-Loïc Garoche Tiny example for zustre debugging
  stateflow_json 184630f0 over 2 years Bourbouh add json regression tests
  tests 4f47032a over 2 years Pierre-Loïc Garoche Updates some expected outputs
  vhdl_json 1a2296da about 2 years Arnaud Dieumegard Update of d-latch sample

Latest revisions

# Date Author Comment
1a2296da 08/27/2018 05:38 PM Arnaud Dieumegard

Update of d-latch sample

6ba539c0 07/31/2018 02:34 PM Arnaud Dieumegard

Added test laucher for lustre generation

1c688dd0 07/30/2018 06:27 PM Arnaud Dieumegard

Continue even if generation fails

33a42553 07/30/2018 06:07 PM Arnaud Dieumegard

Makefile update for new version of lustrei with command line parameters

928e4486 07/30/2018 06:07 PM Arnaud Dieumegard

Test file update for typo

26dc0008 07/27/2018 05:46 PM Arnaud Dieumegard

Added example from some courses

ddabd63e 07/26/2018 06:12 PM Arnaud Dieumegard

Updated tests for lustrei vhdl import

52162cf5 07/25/2018 04:18 PM Arnaud Dieumegard

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

2051e520 07/25/2018 04:18 PM Arnaud Dieumegard

Added tests for vhdl import and export (pp)

81306cb7 06/22/2018 10:29 PM Pierre-Loïc Garoche

Tiny example for zustre debugging

View all revisions | View revisions

Also available in: Atom