a7e3f4a973
Added test for clocking in automata
2012-01-25 18:13:43 +01:00
e83a4f343b
Tests: memalloc
2012-01-25 10:10:17 +01:00
340d6efd26
remove unwanted file tt.ept
2011-12-12 10:56:47 +01:00
54cde301f6
C code generation for printf
2011-12-12 10:36:24 +01:00
2fc0435393
Added simple printf
...
Typing and clocking done
2011-12-12 10:36:24 +01:00
2d9bf2c553
BUG Probleme grave de scheduling, cf [ff].
2011-12-06 15:44:20 +01:00
fe1f02402b
Test to watch sampling of returned stateful exps.
2011-12-06 15:44:20 +01:00
45fbd18fe8
Fix automaton initialization.
2011-11-28 15:12:27 +01:00
05750352f8
pat_ty ne semble pas fiable. Voir t19.ept
2011-11-25 18:55:12 +01:00
38933a789a
small fixes
2011-11-21 09:10:27 +01:00
646cfab82b
Enforce style : no tab, no trailing whitespace.
2011-11-21 03:26:27 +01:00
3bc5824175
Old pip using array slices.
2011-11-21 03:26:26 +01:00
551b19546d
Good stream downscaler v1.
2011-11-21 03:26:26 +01:00
ee3bc4bf6f
downscaled close to finished.
2011-11-18 12:33:37 +01:00
3e64635f95
optimize the control at the end to maximize profit
...
Indeed, some examples showed that memory allocation could trigger a profit-full deadcode removal for the control. See Downscaler.down avec -flatten.
2011-11-03 00:43:36 +01:00
76109b553a
Add -O option to enable optims.
2011-11-02 17:23:23 +01:00
fd40bcefcf
Correct check to compile the java
...
Note that it is really slow compared to something like :
javac -cp ../../../lib/java */*.java
which compiles everything together instead of relaunching the compiler by hand in each subdir.
2011-11-02 16:08:54 +01:00
5593ffdc91
small test found in my computer.
2011-11-02 08:44:58 +01:00
6ba0e7b2b3
Don't remove local variables in causality
...
A dependency between two variables can be caused
by a local variable
2011-10-26 16:14:02 +02:00
ffe2b23a82
new sheduler by default
2011-10-23 17:42:26 +02:00
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.
2011-10-19 16:31:40 +02:00
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.
2011-10-17 15:28:04 +02:00
1aac6f7be4
Fixed bug in unicity check in linear typing
...
Test case included
2011-10-07 11:59:13 +02:00
9427117fe1
Fixed linear typing of accumulators
2011-09-09 11:29:24 +02:00
08437bf448
Fixed linear typing of nested calls
2011-09-08 14:27:24 +02:00
7bf5f3f323
Fixed typing of iterator
2011-09-08 14:10:55 +02:00
2105d7ad18
Fix for linear types and automata
2011-09-08 10:45:19 +02:00
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.
2011-09-07 17:51:31 +02:00
626b6cad3f
New tests
...
- ckannot.ept : bug with clock annotations handling in Normalize (corrected)
- threestates.ept : handling of merges in Normalize (corrected)
2011-08-04 23:47:28 +02:00
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
2011-08-04 13:37:33 +02:00
69a5ad8df8
Fixed code generation of n-dim static arrays
...
Also added some tests.
2011-07-21 11:19:07 +02:00
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
2011-07-21 08:50:45 +02:00
7d9e31a83b
Tomato checking in check.sh
2011-07-08 11:56:38 +02:00
0518ecafe6
Merge branch 'multidimensional' into decade
...
Conflicts:
compiler/obc/c/cgen.ml
compiler/obc/java/java_main.ml
2011-07-08 11:36:46 +02:00
5837f3906f
Multidimensional iterators in java.
2011-06-28 17:50:42 +02:00
9e881550a7
test iterators.
2011-06-28 17:50:42 +02:00
b73e6502a6
resets are now without constraint.
2011-05-26 15:56:59 +02:00
1d6feeef54
some more tests
2011-05-26 15:56:59 +02:00
2a2b363bf7
Real asynchronous resets.
2011-05-26 15:56:59 +02:00
96272339e4
some tests.
2011-05-26 15:56:59 +02:00
74cc367a0e
correct base_clock and signature.
2011-05-26 15:56:59 +02:00
07e5279bff
two small tests.
2011-05-26 15:56:59 +02:00
40fcb4d73e
improve syntax
2011-05-26 15:56:58 +02:00
88497a2da3
parsing clocks.
2011-05-26 15:56:58 +02:00
caa149ac39
Tests for memory allocation and linear typing
2011-05-25 09:12:15 +02:00
285abc48bf
Fixed some bugs
2011-05-25 09:12:12 +02:00
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.
2011-05-10 20:28:39 +02:00
b0a0100ad7
Fixed check script: we now see that our C backend isn't bug-free...
2011-04-27 10:52:07 +02:00
70e2ce08a2
Correction of check script
2011-04-20 12:28:38 +02:00
eb164f4268
More complete check script
...
Added options to check scrit:
test of boolean pass, deadcode, tomato
added caml compilation test
2011-04-20 12:28:37 +02:00
Adrien Guatto