Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ master

# Date Author Comment
0ac53ee0 11/22/2019 03:09 AM Pierre-Loïc Garoche

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

82c328c1 11/22/2019 03:09 AM Pierre-Loïc Garoche

seal target

033be72c 11/22/2019 03:08 AM Pierre-Loïc Garoche

Seal targets

43dfd684 11/22/2019 03:07 AM Pierre-Loïc Garoche

Added function pure real

63185cd3 11/21/2019 11:53 PM hbourbou

add lm challenges

7b8a8e7b 11/21/2019 11:53 PM hbourbou

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

2a5c9911 11/05/2019 12:11 AM Pierre-Loïc Garoche

array example with spec

3d9babd4 09/05/2019 08:29 AM Pierre-Loïc Garoche

Clock issue

333948c1 07/16/2019 01:36 AM hbourbou

add simpler triplex example

db87e34d 07/11/2019 08:41 PM Pierre-Loïc Garoche

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

43460259 07/11/2019 08:40 PM Pierre-Loïc Garoche

New folder for extraction testing

15c932a9 07/05/2019 03:07 AM Hamza Bourbouh

add ada_diff.py

b745c1a8 07/04/2019 05:14 PM Pierre-Loïc Garoche

Renamed main node as top

ea143160 07/04/2019 02:19 AM Pierre-Loïc Garoche

Missing dep for ADA targets

5d9f326b 07/04/2019 01:53 AM Pierre-Loïc Garoche

Solving issue in the ADA test cases

9bb9b710 07/01/2019 03:14 PM Claude SODOKIN

rapport de stage modèle word

7befce21 06/27/2019 01:28 PM Claude SODOKIN

base3_correct intégré et simulé ous vivado

5616240d 05/07/2019 09:44 AM Arnaud Dieumegard

Added some vhdl examples for vhdl->lustre translation and a first proposition of encoding

35f264d8 05/06/2019 02:46 PM Claude SODOKIN

Premier exemple de code VHDL

e45f370e 03/22/2019 01:46 AM hbourbou

add case where emf order is not good

160ddb22 03/22/2019 01:40 AM hbourbou

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

b58cc410 03/22/2019 01:39 AM hbourbou

add examples with clock

9ca1404d 03/22/2019 12:45 AM Pierre-Loïc Garoche

Updated scripts (emf->json)

ffe46d5f 03/21/2019 09:41 PM Pierre-Loïc Garoche

Top level contracts are comments

3debaf88 03/21/2019 09:38 PM Pierre-Loïc Garoche

Removed mode labels

2a9aa5e1 03/21/2019 09:29 PM Pierre-Loïc Garoche

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

4784e95f 03/21/2019 09:29 PM Pierre-Loïc Garoche

Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax

f0e4e301 03/21/2019 09:28 PM Pierre-Loïc Garoche

Moved files content in a single file

6ccfcb12 03/21/2019 08:25 PM hbourbou

add regulators cocospec example

b8c35852 03/21/2019 05:16 PM Pierre-Loïc Garoche

Merge branch 'guarantees'

61a7e719 03/21/2019 05:15 PM Pierre-Loïc Garoche

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

85dbaa74 03/21/2019 05:15 PM Pierre-Loïc Garoche

Merge branch 'master' into guarantees

bd3f748f 03/21/2019 05:12 PM Pierre-Loïc Garoche

guarantee(s)

99a9d521 03/21/2019 12:32 AM hbourbou

remove corrupted lustre files

17b2e00a 03/20/2019 02:48 AM hbourbou

add ADA strategy and call it in Simulink folder

36b093bd 03/19/2019 03:21 AM hbourbou

cleanup src_many_files, regenerate input/output references

cd1faebc 03/16/2019 04:00 PM Pierre-Loïc Garoche

No temporary file on repo!

f470cec6 03/14/2019 08:27 PM hbourbou

add more cocospec examples

1e3ae41f 02/24/2019 11:24 PM Bourbouh

add another contract example

dd2eeba6 02/24/2019 11:21 PM Bourbouh

add another contract example

a0f656ac 12/12/2018 11:28 AM Arnaud Dieumegard

Added JSON files for valencia VHDL tests

78957d3d 12/11/2018 02:39 PM Arnaud Dieumegard

Major update of vhdl tests

90da642a 12/10/2018 03:25 PM Arnaud Dieumegard

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

d93979b7 12/10/2018 03:24 PM Arnaud Dieumegard

Update of vhdl samples files

0f87afc0 12/10/2018 03:11 PM Arnaud Dieumegard

Samples cleaning

4748b215 12/04/2018 09:40 PM hbourbou

add more simulink tests

b03d5034 11/21/2018 03:44 AM hbourbou

add include test

6f6af7b8 11/16/2018 09:53 PM hbourbou

update zustre reference

16400d02 11/16/2018 04:13 AM Pierre-Loïc Garoche

Updated ref output

58eac50a 11/16/2018 12:54 AM Pierre-Loïc Garoche

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

c34a50ff 11/16/2018 12:49 AM Pierre-Loïc Garoche

Better naming

8451150a 11/15/2018 08:49 PM hbourbou

add output references

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

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

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

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

1fd649ea 06/22/2018 10:28 PM Pierre-Loïc Garoche

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

2e549261 06/22/2018 08:33 PM Bourbouh

add Kind2Results

4b18af93 06/22/2018 08:56 AM Pierre-Loïc Garoche

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

4f47032a 06/22/2018 08:54 AM Pierre-Loïc Garoche

Updates some expected outputs

ddc8cb0f 06/22/2018 08:51 AM Bourbouh

add zustre results

184630f0 06/14/2018 01:21 AM Bourbouh

add json regression tests

952e86fa 06/09/2018 11:06 AM Bourbouh

add helpful_functions to the modules folder

fd5381b7 05/30/2018 11:49 AM Bourbouh

stopwatch

75bb7d62 05/29/2018 09:56 AM Pierre-Loïc Garoche

Simple test to show cex with zustre

d895591e 01/31/2018 10:01 AM Pierre-Loïc Garoche

More functions

a603f261 01/31/2018 09:58 AM Pierre-Loïc Garoche

More tests

8af9a0b9 01/31/2018 06:13 AM Pierre-Loïc Garoche

New machine types related test cases

762f339c 12/20/2017 03:52 PM Bourbouh

add new format

b9724665 12/19/2017 02:24 AM Bourbouh

add json example for SF IR

5bed65ad 12/13/2017 05:32 PM Pierre-Loïc Garoche

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

67d911bc 12/13/2017 05:32 PM Pierre-Loïc Garoche

MPFR and EMF checks