/ - Repository - Lustrec-Tests

lustrec-tests @ 6ba539c0

Name	Revision	Age	Author	Comment
regression_tests	2e549261	almost 4 years	Bourbouh	add Kind2Results
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	4f47032a	almost 4 years	Pierre-Loïc Garoche	Updates some expected outputs
vhdl_json	6ba539c0	almost 4 years	Arnaud Dieumegard	Added test laucher for lustre generation

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

Also available in: Atom