Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 2d37a1e1

Name Size Revision Age Author Comment
  regression_tests 2d37a1e1 about 2 years Pierre-Loïc Garoche Renaminig lustre contracts from ensures to guar...
  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 5dfe059d about 2 years Pierre-Loïc Garoche Cocospec
  vhdl_json 222162a5 about 2 years Arnaud Dieumegard Correct version of the two_counters exported js...

Latest revisions

# Date Author Comment
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

bc44cd9e 09/26/2018 02:52 PM Arnaud Dieumegard

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

222162a5 09/26/2018 02:51 PM Arnaud Dieumegard

Correct version of the two_counters exported json file

6c964a9b 09/25/2018 01:08 PM Pierre-Loïc Garoche

Cocospec files

489a769e 09/25/2018 01:07 PM Arnaud Dieumegard

Added two_counters example

d6042e96 09/24/2018 02:22 PM Arnaud Dieumegard

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

47142ed7 09/24/2018 02:22 PM Arnaud Dieumegard

Counters, programmable pulse, d-latch VHDL examples

dd62ff27 09/14/2018 04:27 PM Pierre-Loïc Garoche

Improving integration with CDash

View all revisions | View revisions

Also available in: Atom