5593ffdc91
small test found in my computer.
13 years ago
6ba0e7b2b3
Don't remove local variables in causality
...
A dependency between two variables can be caused
by a local variable
13 years ago
ffe2b23a82
new sheduler by default
13 years ago
72cac326a8
Fixed normalization of fby
...
We should normalize not only outputs but also
other fbys to generate correct code. The test shows
a program that was compiled incorrectly.
13 years ago
04b8853a1d
Added a new reinit operator
...
It has type:
reinit: t at r * t -> t at r
It can be used to put a constant value in a
location.
13 years ago
1aac6f7be4
Fixed bug in unicity check in linear typing
...
Test case included
13 years ago
9427117fe1
Fixed linear typing of accumulators
13 years ago
08437bf448
Fixed linear typing of nested calls
13 years ago
7bf5f3f323
Fixed typing of iterator
13 years ago
2105d7ad18
Fix for linear types and automata
13 years ago
81947eca40
Made linearity field not optional
...
This helped solve a few bugs with linear types,
for instance when using automata.
The intermediate code is not well-typed (wrt to
linear types only), after the encoding of automata.
13 years ago
626b6cad3f
New tests
...
- ckannot.ept : bug with clock annotations handling in Normalize (corrected)
- threestates.ept : handling of merges in Normalize (corrected)
13 years ago
c57b71b6aa
Merge branch 'bzr' into decade
...
- Added Boolean module (enum types to boolean vectors)
- Added Hept_clocking analysis, called before Boolean
- Added z3z target from minils (sigali format)
- Bug corrections in Normalize, Normalize_mem
Conflicts:
compiler/heptagon/analysis/typing.ml
compiler/heptagon/heptagon.ml
compiler/heptagon/parsing/hept_parser.mly
compiler/heptagon/parsing/hept_parsetree.ml
compiler/heptagon/parsing/hept_scoping.ml
compiler/main/hept2mls.ml
compiler/main/heptc.ml
compiler/main/mls2seq.ml
compiler/minils/minils.ml
compiler/minils/transformations/normalize_mem.ml
test/check
13 years ago
69a5ad8df8
Fixed code generation of n-dim static arrays
...
Also added some tests.
13 years ago
7d95b95ed7
Merge branch 'memalloc' into decade
...
Conflicts:
compiler/global/signature.ml
compiler/heptagon/analysis/typing.ml
compiler/heptagon/hept_printer.ml
compiler/heptagon/hept_utils.ml
compiler/heptagon/heptagon.ml
compiler/heptagon/parsing/hept_parser.mly
compiler/heptagon/parsing/hept_parsetree.ml
compiler/heptagon/parsing/hept_scoping.ml
compiler/heptagon/transformations/switch.ml
compiler/main/hept2mls.ml
compiler/minils/minils.ml
compiler/minils/mls_printer.ml
compiler/obc/c/cgen.ml
compiler/obc/control.ml
compiler/utilities/misc.mli
13 years ago
7d9e31a83b
Tomato checking in check.sh
13 years ago
0518ecafe6
Merge branch 'multidimensional' into decade
...
Conflicts:
compiler/obc/c/cgen.ml
compiler/obc/java/java_main.ml
13 years ago
5837f3906f
Multidimensional iterators in java.
13 years ago
9e881550a7
test iterators.
13 years ago
b73e6502a6
resets are now without constraint.
13 years ago
1d6feeef54
some more tests
13 years ago
2a2b363bf7
Real asynchronous resets.
13 years ago
96272339e4
some tests.
13 years ago
74cc367a0e
correct base_clock and signature.
13 years ago
07e5279bff
two small tests.
13 years ago
40fcb4d73e
improve syntax
13 years ago
88497a2da3
parsing clocks.
13 years ago
caa149ac39
Tests for memory allocation and linear typing
13 years ago
285abc48bf
Fixed some bugs
13 years ago
1d390848fe
real good switch fix.
...
The order switch then reset was wrong, since some reset reset slower inner blocks and equations, to have reset correct after switch it would have been necessary to sample the reset condition correctly (use r when c) using the level_ck... anyway the order seems now irrelevant considering code size.
13 years ago
b0a0100ad7
Fixed check script: we now see that our C backend isn't bug-free...
13 years ago
70e2ce08a2
Correction of check script
13 years ago
eb164f4268
More complete check script
...
Added options to check scrit:
test of boolean pass, deadcode, tomato
added caml compilation test
13 years ago
46ed02416b
Convolutions and pip working.
13 years ago
2fdf2855d3
Added a new truncated select operator
...
a[>e<] returns the element in the array at index
e, a[0] if e < 0 and a[n-1] if e >= n
13 years ago
99eeacbceb
Added mapi iterator
...
The last argument of the iterated function is the
index of the element in the array.
13 years ago
eb150fada8
Goal image filters
13 years ago
36061f4518
fixed tests to the new iterator syntax.
...
Changed (( and )) to (< and >) since it's very common to write )) !
13 years ago
b913edcd5e
Decade alpha1
...
On the road to beta is the new Minils AST, for now :
* Heptagon and Obc AST changes,
* Java code generation,
* Recursives Qualnames,
* Various bug fixes,
* Added partial application for iterators,
For instance:
... = map<<n>> (f<<se>>)((t1, t1'))(t2, t3)
is translated to:
for(int i =...)
... = f(t1, t1', t2[i], t3[i])
13 years ago
6b720e6c23
Merge branch 'java'
...
Conflicts:
.gitignore
compiler/global/global_printer.ml
compiler/main/mls2obc.ml
13 years ago
b8b16a7355
blop
13 years ago
6428ff81f0
array1 testing.
13 years ago
cab8bb706e
backport from async.
13 years ago
159bab2a55
async constants.
13 years ago
86f743318b
Fixes and basic Java main.
13 years ago
d9ed1de9c5
java exemple
14 years ago
8f4411e145
Recursives Qualnames.
...
In order to have a correct handling of inner classes in Java, and to prepare for modules inside modules.
14 years ago
09419a77a5
again
14 years ago
82250b7536
check cleaned up.
14 years ago
a832cc5c25
Small clocking test
14 years ago
1ed4941101
Cleaner check.
14 years ago
c2d172af48
check changes.
14 years ago
207de4d6e7
Added some tests.
14 years ago
bdcdbddb09
Added initialization bad tests and correct good/t1
14 years ago
9e06021b6d
Corrected good tests to pass initialization check.
14 years ago
9743bced77
added another example
14 years ago
aa3923cb56
Small 'check' cosmetic.
...
debugger_script updated.
14 years ago
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
fb678481ce
Test-case for case-local name clashes
14 years ago
9860e02f53
Small test for statics, params and consts.
14 years ago
a9066fc1f9
$id$ removed.
14 years ago
0bca1e210b
New test with automata and arrays
14 years ago
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
d3fea3aad3
Added test for alias types
14 years ago
6c8a83f8c4
Added test for foldi
14 years ago
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
5e737d0094
location change. Heptc works with menhir.
14 years ago
312f8085ce
Test runner: fixed missing C99 option
14 years ago
b5ba524c3e
Test runner: bug-fixes and updates
14 years ago
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
c8fb0a03dd
Removed test for controllables
14 years ago
a158977188
Fix examples with changes in lexer
14 years ago
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
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
6b4881ccd0
Revamped testing framework
14 years ago
5f1b63b33a
Fix bug with locations
14 years ago
12251f960e
Add lib/pervasives.epi, tests, tools
14 years ago
Léonard Gérard
Cédric Pasteur
Gwenaël Delaval
Adrien Guatto
Cédric Pasteur