/ - Repository - Lustrec-Tests

lustrec-tests @ 2051e520

Name	Revision	Age	Author	Comment
regression_tests	d895591e	almost 3 years	Pierre-Loïc Garoche	More functions
sandbox	604d5b37	about 5 years	Pierre-Loïc Garoche	Import tests in fresh repo
stateflow_json	762f339c	about 3 years	Bourbouh	add new format
tests	fd5381b7	over 2 years	Bourbouh	stopwatch
vhdl_json	2051e520	over 2 years	Arnaud Dieumegard	Added tests for vhdl import and export (pp)

#	Date	Author	Comment
2051e520	07/25/2018 04:18 PM	Arnaud Dieumegard	Added tests for vhdl import and export (pp)
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

Also available in: Atom