Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 9b45f3df

Name Size Revision Age Author Comment
  github_issues 0b109a10 about 2 years Pierre-Loïc Garoche Scheduling issue
  regression_tests 9b45f3df about 2 years Pierre-Loïc Garoche renamed mode as mode_ to avoid collision with t...
  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 17566465 about 2 years Arnaud Dieumegard Update of makefile

Latest revisions

# Date Author Comment
9b45f3df 11/15/2018 07:40 PM Pierre-Loïc Garoche

renamed mode as mode_ to avoid collision with the mode keyword of cocospec.

f4893943 11/15/2018 07:33 AM Pierre-Loïc Garoche

Script now compare the output with ones compiled with the same options

b5c4cae5 11/14/2018 06:40 PM Pierre-Loïc Garoche

Moved to cocospec contract

94da9360 11/14/2018 06:39 PM Pierre-Loïc Garoche

Restructured mpfr folder tests to rely on highlevel strategies

ff8f35e0 11/14/2018 06:37 PM Pierre-Loïc Garoche

Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files

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

View all revisions | View revisions

Also available in: Atom