127 Commits (master)

Author SHA1 Message Date
Léonard Gérard 1ed4941101 Cleaner check. 14 years ago
Léonard Gérard c2d172af48 check changes. 14 years ago
Léonard Gérard 207de4d6e7 Added some tests. 14 years ago
Léonard Gérard bdcdbddb09 Added initialization bad tests and correct good/t1 14 years ago
Léonard Gérard 9e06021b6d Corrected good tests to pass initialization check. 14 years ago
Cédric Pasteur 9743bced77 added another example 14 years ago
Léonard Gérard aa3923cb56 Small 'check' cosmetic.
debugger_script updated.
14 years ago
Léonard Gérard c4a926f489 Correct Mapfold !! Or at least much more than before.
Still not sure whether the notion of main_nodes is correct.
A parametrized node not used right in the module gets removed.
Is that the wanted behaviour ?
14 years ago
Adrien Guatto fb678481ce Test-case for case-local name clashes 14 years ago
Léonard Gérard 9860e02f53 Small test for statics, params and consts. 14 years ago
Léonard Gérard a9066fc1f9 $id$ removed. 14 years ago
Adrien Guatto 0bca1e210b New test with automata and arrays 14 years ago
Cédric Pasteur 8f4220e08d Made Eupdate dynamic
Modifying an array with
 [ a with [i] = v ]
should expected a dynamic (not static) value
for i (nothing happens if i is in the wrong range).
This is the same behaviour as in Scade and it is 
useful eg to modify an array in a foldi.
14 years ago
Cédric Pasteur d3fea3aad3 Added test for alias types 14 years ago
Cédric Pasteur 6c8a83f8c4 Added test for foldi 14 years ago
Cédric Pasteur 493f49fe04 Added iterator fusion
For now it only deals with maps but it can be
easily extended. See test/good/itfusion.ept for 
examples of sequences that can be optimised.
14 years ago
Léonard Gérard 5e737d0094 location change. Heptc works with menhir. 14 years ago
Adrien Guatto 312f8085ce Test runner: fixed missing C99 option 14 years ago
Adrien Guatto b5ba524c3e Test runner: bug-fixes and updates 14 years ago
Cédric Pasteur 66078effbd Added support for tuples in normalize
- (v1, v2, ... ) fby (e1, e2, ...) is translated to
(v1 fby e1, v2 fby e2, ...)

This has made the code even more complex. This will
need to be refactored at some point.
14 years ago
Cédric Pasteur c8fb0a03dd Removed test for controllables 14 years ago
Cédric Pasteur a158977188 Fix examples with changes in lexer 14 years ago
Cédric Pasteur 9e7c013fe2 Completion_mapfold
- Added it_gather combinator to create simply
a version of an iterating function using a gather
to combine accumulator values

Completion_mapfold and every_mapfold seems to work
14 years ago
Cédric Pasteur 87cb705fcb Added some tests file
- Arrays, parametrized nodes
- hierarchie.ept is a node with nested automaton
(generated a lot of variables, good test for 
performance)
14 years ago
Adrien Guatto 6b4881ccd0 Revamped testing framework 14 years ago
Cédric Pasteur 5f1b63b33a Fix bug with locations 14 years ago
Léonard Gérard 12251f960e Add lib/pervasives.epi, tests, tools 14 years ago