/ - Repository - Lustrec-Tests

lustrec-tests @ d93979b7

Name	Revision	Age	Author	Comment
github_issues	0b109a10	over 3 years	Pierre-Loïc Garoche	Scheduling issue
regression_tests	2d37a1e1	over 3 years	Pierre-Loïc Garoche	Renaminig lustre contracts from ensures to guar...
sandbox	81306cb7	almost 4 years	Pierre-Loïc Garoche	Tiny example for zustre debugging
stateflow_json	184630f0	almost 4 years	Bourbouh	add json regression tests
tests	5dfe059d	over 3 years	Pierre-Loïc Garoche	Cocospec
vhdl_json	d93979b7	over 3 years	Arnaud Dieumegard	Update of vhdl samples files

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

Also available in: Atom