Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 47142ed7

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 47142ed7 about 2 years Arnaud Dieumegard Counters, programmable pulse, d-latch VHDL exam...

Latest revisions

# Date Author Comment
47142ed7 09/24/2018 02:22 PM Arnaud Dieumegard

Counters, programmable pulse, d-latch VHDL examples

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)

View all revisions | View revisions

Also available in: Atom