You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Gwenaël Delaval 239e23211f Remove test t20.ept		6 years ago
..
ais.ept	Added tests - types, constants, contracts	10 years ago
alloc.ept	Added some main in tests	12 years ago
array1.ept	Added some main in tests	12 years ago
array2.ept	Added some main in tests	12 years ago
array_fill.ept	some more tests	13 years ago
array_iterators.ept	Added some main in tests	12 years ago
array_iterators2.ept	Added some main in tests	12 years ago
array_power.ept	Added some main in tests	12 years ago
auto.ept	improve syntax	13 years ago
auto_clock.ept	Tests addition	7 years ago
autohiera.ept	some more tests	13 years ago
autohiera2.ept	some more tests	13 years ago
autohiera3.ept	Adding tests	9 years ago
bad_updown.ept	Added some main in tests	12 years ago
ce.ept	Added tests - types, constants, contracts	10 years ago
ckannot.ept	Added some main in tests	12 years ago
clock_causality.ept	Added some main in tests	12 years ago
clocks.ept	Added some main in tests	12 years ago
const_record.ept	Tests addition	7 years ago
const_scope.ept	Tests addition	7 years ago
contract.ept	Added tests - types, constants, contracts	10 years ago
contract_automaton.ept	Added tests - types, constants, contracts	10 years ago
convolutions.ept	Added some tests	10 years ago
counter.ept	Added main to several tests	12 years ago
current.ept	Added main to several tests	12 years ago
downscale.ept	Added some tests	10 years ago
fbyfby2.ept	Added main to several tests	12 years ago
foldi.ept	Added main to several tests	12 years ago
foldi_arrays.ept	Added some tests	10 years ago
format.ept	C code generation for printf	13 years ago
grosauto_clock.ept	Added test for clocking in automata	12 years ago
hierarchie.ept	Added main to several tests	12 years ago
itfusion.ept	Added main to several tests	12 years ago
linear.ept	Added main to several tests	12 years ago
linear_automata.ept	Added main to several tests	12 years ago
linear_init.ept	Added main to several tests	12 years ago
linear_split.ept	Added main to several tests	12 years ago
linear_vars.ept	Added main to several tests	12 years ago
mapnot.ept	Added some tests	10 years ago
memalloc_clocks.ept	Added main to several tests	12 years ago
memalloc_record.ept	Added main to several tests	12 years ago
memalloc_simple.ept	Added main to several tests	12 years ago
minus_pre.ept	Tests addition	7 years ago
name_clash.ept	Test-case for case-local name clashes	14 years ago
norm.ept	Added main to several tests	12 years ago
or_keep.ept	some more tests	13 years ago
parametrize.ept	Added main to several tests	12 years ago
pip.ept	Added some tests	10 years ago
pip_slice.ept	Added some tests	10 years ago
pre_tuple.ept	Added main to several tests	12 years ago
quasi.ept	Added some tests	10 years ago
reinit.ept	Added main to several tests	12 years ago
sampling_stateful_output.ept	Added main to several tests	12 years ago
sampling_stateful_output2.ept	Added main to several tests	12 years ago
side_effet.ept	Added main to several tests	12 years ago
statics.ept	Added main to several tests	12 years ago
statics1.ept	Added test of options	12 years ago
statics2.ept	Added test of options	12 years ago
t.ept	some more tests	13 years ago
t1.ept	Added main to several tests	12 years ago
t2.ept	Some more main in tests	12 years ago
t2open.ept	Some more main in tests	12 years ago
t3.ept	Some more main in tests	12 years ago
t4.ept	Some more main in tests	12 years ago
t5.ept	Some more main in tests	12 years ago
t6.ept	Some more main in tests	12 years ago
t7.ept	Some more main in tests	12 years ago
t8.ept	Some more main in tests	12 years ago
t9.ept	Some more main in tests	12 years ago
t10.ept	Some more main in tests	12 years ago
t11.ept	Some more main in tests	12 years ago
t12.ept	Some more main in tests	12 years ago
t13.ept	Modified test t13.ept	12 years ago
t14.ept	Add lib/pervasives.epi, tests, tools	14 years ago
t15.ept	Some more main in tests	12 years ago
t16.ept	Some more main in tests	12 years ago
t17.ept	Some more main in tests	12 years ago
t18.ept	Some more main in tests	12 years ago
t19.ept	Some more main in tests	12 years ago
test.ept	Some more main in tests	12 years ago
threestates.ept	Some more main in tests	12 years ago
tt.ept	Some more main in tests	12 years ago
tttt.ept	Some more main in tests	12 years ago
tuple_args.ept	Added tests - types, constants, contracts	10 years ago
type_alias.ept	Some more main in tests	12 years ago
updown.ept	Some more main in tests	12 years ago
when_merge1.ept	Some more main in tests	12 years ago
xor.ept	Add test for xor operator	6 years ago