Gwenal Delaval
1e46c2a73c
Makefile : removed target "all" from target "install"
...
On some systems, the targets "all" and "install" must be
made with different rights. Then "all" cannot be a dependendy of
"install", especially since ocamlbuild try to read/modify some
files even if there is no compilation to perform.
2012-06-06 15:55:23 +02:00
Gwenal Delaval
bb0bc8bfe5
Added local assume/guarantee
...
Added local assume/guarantee in contracts.
No syntax associated to these local asume/guarantee: internal use only.
2012-05-29 14:14:46 +02:00
Adrien Guatto
8153bc4eb5
Fixed Tomato: did not reconstruct internal clocks of extvalues
2012-03-30 14:47:47 +02:00
Léonard Gérard
61e14546df
Interf scheduling tries harder with arrays
2012-03-19 17:45:06 +01:00
Adrien Guatto
fc1edf91f0
OOPS forgot compiler_timings
2012-03-07 17:51:06 +01:00
Adrien Guatto
834e16cad5
Fix: replace opt with native in build system
2012-03-07 17:48:30 +01:00
Adrien Guatto
e05f3732a0
Timing framework.
2012-03-07 17:48:08 +01:00
Adrien Guatto
f09792485e
Hept2mls: fixed missing enter_node
2012-03-07 17:48:08 +01:00
Adrien Guatto
9640acb3a4
More efficient ident handling.
2012-03-07 17:48:08 +01:00
Adrien Guatto
6870ea62c9
Inlining: fix issue with nesting of blocks.
2012-03-07 17:48:08 +01:00
Adrien Guatto
3e8e54f42b
Perform inlining before causality/init analysis.
2012-03-07 17:48:08 +01:00
Adrien Guatto
44d3a639e5
Internal error for unknown clocks.
2012-03-02 17:12:30 +01:00
Adrien Guatto
3b0ebf2dbf
print_ident: use the function from Idents
2012-03-02 17:12:30 +01:00
Adrien Guatto
557d00f501
Inlining: do not forget when, merge or last.
2012-03-02 17:12:30 +01:00
Adrien Guatto
ba1b134640
Static evaluation of modulo.
2012-03-02 14:11:19 +01:00
Adrien Guatto
699b3c68e9
Tomato: bug fix, node inputs were not properly considered different.
2012-03-01 14:46:33 +01:00
Léonard Gérard
8a78bc7d7d
Add [external] in the signatures. fix callgraph acordingly.
2012-02-21 16:07:29 +01:00
Léonard Gérard
c1b8e47ffb
Fixed escape of string in java
2012-02-21 14:39:35 +01:00
Adrien Guatto
070d2eab55
Revert "Changed linear typing for merge."
...
This reverts commit 0abb050a23
2012-02-14 14:36:47 +01:00
Adrien Guatto
fc08800be6
Improved Emacs mode
2012-02-12 01:09:25 +01:00
Adrien Guatto
b00eab153c
heptc script: compile C code in addition to Java.
2012-02-12 00:11:27 +01:00
Adrien Guatto
6afb0a4f52
Heptagon mode for GNU/Emacs.
2012-02-11 23:51:50 +01:00
Adrien Guatto
5ac3a7f028
Redisable interference of scalars during scheduling
2012-02-10 11:33:09 +01:00
Adrien Guatto
0abb050a23
Changed linear typing for merge.
...
The new rule accepts that some branches of a linearly typed merge have linear
type Top, provided that at least one has type "lin". E.g.:
node f(x : int at r) returns (o : int at r)
var ck : bool;
let
ck = true;
o = merge ck (x whenot ck) 0;
tel
is now deemed valid.
2012-02-09 16:23:36 +01:00
Cédric Pasteur
6e2e2a9f47
Fixed bug in interference computation
...
To know the variables read by an equation, we should
only look at the clock of variables. Otherwise,
there could be a problem for node calls that
define new clocks.
2012-02-09 11:48:36 +01:00
Cédric Pasteur
7866321089
Fixed bug in interference
2012-02-09 11:06:28 +01:00
Adrien Guatto
f43fcb78f6
Only inline integer extvalues when unrolling
2012-02-08 18:31:51 +01:00
Adrien Guatto
ec0274cc82
C backend: do not inline consts by default.
2012-02-08 17:49:21 +01:00
Adrien Guatto
fa09d86dc1
Unrolling in C backend.
2012-02-08 17:47:28 +01:00
Adrien Guatto
76ae2f4518
Loop unrolling.
2012-02-08 16:16:41 +01:00
Adrien Guatto
3aeb499cc2
Re-enable interference for enums
2012-02-08 11:13:02 +01:00
Cédric Pasteur
f66c9045df
Special case for merge in the scheduling
...
For merge equations, the generated code will be
on a different rate than the activation clock of
the equation.
2012-02-01 11:19:25 +01:00
Adrien Guatto
1cb4b1154b
Memory allocation: do not share enums (and thus clocks).
2012-01-30 17:48:47 +01:00
Adrien Guatto
946a1f8228
Inline extvalues: do not inline array literals.
2012-01-30 16:37:42 +01:00
Adrien Guatto
1910e7f868
Static exp evaluation: missing +. and -.
2012-01-26 13:42:03 +01:00
Adrien Guatto
84ca123361
Extvalue inlining: rogue debug message.
2012-01-26 13:23:01 +01:00
Adrien Guatto
964f6ca605
Extvalue inlining: fix point computation
2012-01-26 13:21:17 +01:00
Adrien Guatto
a7e3f4a973
Added test for clocking in automata
2012-01-25 18:13:43 +01:00
Adrien Guatto
53de6cd915
Bug fix in extvalue inlining
2012-01-25 16:11:22 +01:00
Adrien Guatto
bca8664d2f
Tomato: do not forget eq_base_ck when reconstructing
2012-01-25 13:19:09 +01:00
Adrien Guatto
998b3b0b89
Generate C89
2012-01-25 12:42:14 +01:00
Adrien Guatto
e83a4f343b
Tests: memalloc
2012-01-25 10:10:17 +01:00
Cédric Pasteur
2f993a602c
Fixed base clock in code generation
...
Put the base clock inside the equation where it
belongs.
2012-01-25 09:34:58 +01:00
Cédric Pasteur
db5f55b221
Fixed when of stateful exp with memalloc
...
As the expression inside the when will be called
on a faster rhythm, we have to make sure not to
share it with a variable on the slow clock.
We do this by creating a new equation for the
stateful exp.
2012-01-25 09:33:08 +01:00
Cédric Pasteur
3f80f844c7
Schedule with clocks first
...
First optimize clocks and then look at life ranges
2012-01-24 15:33:54 +01:00
Cédric Pasteur
06e997e0c8
Fix for -mall
...
Do not share memories and outputs if they are not
arrays, as it might make the register allocation
by the C compiler less efficient.
2012-01-24 10:29:05 +01:00
Cédric Pasteur
b1bd6dbd57
Compare clock repr
...
Not sure this is necessary but it doesn't hurt to
check twice.
2012-01-23 16:03:01 +01:00
Cédric Pasteur
2b59ec754a
Fix for memories with no uses
...
Add a fake use to make sure they interfere with
other memories and outputs
2012-01-23 16:02:34 +01:00
Adrien Guatto
cad8a0149f
Option to perform type inference on all types
2012-01-23 13:36:24 +01:00
Léonard Gérard
0aad3ac466
eclipse stuff
2011-12-15 20:02:38 +01:00
