Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  github_issues 0b109a10 over 5 years Pierre-Loïc Garoche Scheduling issue
  regression_tests 72e9ca2d over 5 years Pierre-Loïc Garoche Renamed math in lustrec_math
  sandbox 81306cb7 over 5 years Pierre-Loïc Garoche Tiny example for zustre debugging
  stateflow_json 184630f0 over 5 years Bourbouh add json regression tests
  tests 5dfe059d over 5 years Pierre-Loïc Garoche Cocospec
  vhdl_json 17566465 over 5 years Arnaud Dieumegard Update of makefile

Latest revisions

# Date Author Comment
72e9ca2d 11/14/2018 06:35 PM Pierre-Loïc Garoche

Renamed math in lustrec_math

5a55fdd1 11/13/2018 04:15 PM Pierre-Loïc Garoche

Improved ctest configuration

02daae65 10/10/2018 04:06 PM Arnaud Dieumegard

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

17566465 10/10/2018 04:05 PM Arnaud Dieumegard

Update of makefile

3fd18385 10/10/2018 04:05 PM Arnaud Dieumegard

Update of test cases with new version of Linty VHDL parser

06358836 10/10/2018 04:04 PM Arnaud Dieumegard

Added makefile to launch tests

0b109a10 10/08/2018 05:14 PM Pierre-Loïc Garoche

Scheduling issue

2d37a1e1 10/08/2018 04:49 PM Pierre-Loïc Garoche

Renaminig lustre contracts from ensures to guarantees
Will require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)

5dfe059d 10/05/2018 07:53 PM Pierre-Loïc Garoche

Cocospec

c3af3032 09/28/2018 07:04 PM Bourbouh

add more contracts examples

View all revisions | View revisions

Also available in: Atom