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 faf707db4a Added test for bug [#14076] (initialization analysis) ... Bug [#14076]: node sum(x:int) returns (y:int) let y = x + (0 fby y); tel node main(x : int) returns (y : int) let y = 0 -> sum(pre x); tel is accepted whereas the node "sum" will memorize an absent value (pre x) and use it at next instant. Removed auto2.ept (duplicate of auto.ept)		7 years ago
..
bad_array_power.ept	Fixed code generation of n-dim static arrays	13 years ago
bad_flatten.ept	some more tests	13 years ago
bad_merge1.ept	Added some tests.	14 years ago
bad_merge2.ept	Added some tests.	14 years ago
bad_merge3.ept	Added some tests.	14 years ago
bad_param_ident.ept	Fix for linear types and automata	13 years ago
causality.ept	Add lib/pervasives.epi, tests, tools	14 years ago
clock_annot.ept	resets are now without constraint.	13 years ago
clock_causality.ept	some tests.	13 years ago
clock_dep.ept	some tests.	13 years ago
clocking.ept	Small clocking test	14 years ago
flatten.ept	Don't remove local variables in causality	13 years ago
linear_acc.ept	Fixed linear typing of accumulators	13 years ago
linear_autom.ept	Fix for linear types and automata	13 years ago
linear_causality.ept	Tests for memory allocation and linear typing	13 years ago
linear_fun.ept	Fixed bug in unicity check in linear typing	13 years ago
linear_init.ept	Fix for linear types and automata	13 years ago
linear_map.ept	Fixed typing of iterator	13 years ago
linear_mapfold.ept	Fixed linear typing of accumulators	13 years ago
side_effect.ept	Added test of options	12 years ago
t1.ept	Add lib/pervasives.epi, tests, tools	14 years ago
t2.ept	some more tests	13 years ago
t3.ept	some more tests	13 years ago
t4.ept	some more tests	13 years ago
t5.ept	some more tests	13 years ago
t6.ept	Add lib/pervasives.epi, tests, tools	14 years ago
t7.ept	Add lib/pervasives.epi, tests, tools	14 years ago
t8-causality.ept	Add lib/pervasives.epi, tests, tools	14 years ago
t9-initialization.ept	Added initialization bad tests and correct good/t1	14 years ago
t10-initialization.ept	Added initialization bad tests and correct good/t1	14 years ago
t11-initialization.ept	Recursives Qualnames.	13 years ago
t12-initialization.ept	Added test for bug [#14076] (initialization analysis)	7 years ago
when_merge1.ept	some more tests	13 years ago