/tests - Repository - Lustrec-Tests

lustrec-tests/tests @ 3debaf88

Name	Size	Revision	Age	Author	Comment
adrien		604d5b37	over 7 years	Pierre-Loïc Garoche	Import tests in fresh repo
arrays_arnaud		604d5b37	over 7 years	Pierre-Loïc Garoche	Import tests in fresh repo
automata		46fa5a52	over 6 years	Pierre-Loïc Garoche	Cex of unschedulable node
clocks		604d5b37	over 7 years	Pierre-Loïc Garoche	Import tests in fresh repo
cocospec		3debaf88	about 4 years	Pierre-Loïc Garoche	Removed mode labels
cocospec-orig		6c964a9b	over 4 years	Pierre-Loïc Garoche	Cocospec files
ctl		f36a76f7	about 6 years	Pierre-Loïc Garoche	Added Jack and John's example: rendezvous maneuver
external_code		9aa80a95	over 6 years	Pierre-Loïc Garoche	Example of integration of S-function code into ...
kind_fmcad08		16bf5d3c	almost 6 years	Pierre-Loïc Garoche	Improved zustre output comparison
lego_robot		16bf5d3c	almost 6 years	Pierre-Loïc Garoche	Improved zustre output comparison
linear_ctl		bd3f748f	about 4 years	Pierre-Loïc Garoche	guarantee(s)
lusic		dd2eeba6	over 4 years	Bourbouh	add another contract example
safety		604d5b37	over 7 years	Pierre-Loïc Garoche	Import tests in fresh repo
silly		4f47032a	almost 5 years	Pierre-Loïc Garoche	Updates some expected outputs
tcm		604d5b37	over 7 years	Pierre-Loïc Garoche	Import tests in fresh repo
teme		c79336a0	over 6 years	Hamza Bourbouh	add strategie 1
tuples		604d5b37	over 7 years	Pierre-Loïc Garoche	Import tests in fresh repo
zustre		fd5381b7	about 5 years	Bourbouh	stopwatch

Latest revisions

#			Date	Author	Comment
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
bd3f748f			03/21/2019 05:12 PM	Pierre-Loïc Garoche	guarantee(s)
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
5dfe059d			10/05/2018 07:53 PM	Pierre-Loïc Garoche	Cocospec

Also available in: Atom