Adrien Guatto
e34ec2a229
Temporary fix.
2010-07-23 13:48:10 +02:00
Adrien Guatto
3698105ccf
C back-end: yet another fix for array literals
2010-07-08 12:49:14 +02:00
Adrien Guatto
7918332353
Temporary fix for array literals.
2010-07-08 12:44:34 +02:00
Cédric Pasteur
d594ace895
This case is unused
2010-07-07 17:03:36 +02:00
Adrien Guatto
0712378133
Fixed output structure allocation in C backend
2010-07-07 14:44:43 +02:00
Cédric Pasteur
c123000eef
Always generate a f_out struct
...
Generate it even if the node has no output. It
should be noted that it is impossible to call
a node without an output in an Heptagon program.
This is only useful to provide a simple interface
eg for the generation of main().
2010-07-07 09:58:23 +02:00
Adrien Guatto
0fbaa0217b
Fixed missing include dir in minils/_tags
2010-07-06 13:35:11 +02:00
Léonard Gérard
65c12884bd
SConst -> Sconst
2010-07-06 11:12:14 +02:00
Léonard Gérard
075cab202a
_tags fix.
2010-07-05 16:10:00 +02:00
Adrien Guatto
3dfdf680ee
myocamlbuild.ml fix for bytecode
2010-07-05 15:15:24 +02:00
Adrien Guatto
2d8e02d844
Fix: typo size_constr -> size_constrs
2010-07-05 12:09:35 +02:00
Adrien Guatto
6b4881ccd0
Revamped testing framework
2010-07-02 16:03:04 +02:00
Adrien Guatto
1113fd7ec1
Yet another refactoring fix
2010-07-02 15:45:50 +02:00
Adrien Guatto
5a6a3c74ac
Fixed refactoring errors.
2010-07-02 15:38:11 +02:00
Adrien Guatto
eaafc5db05
C backend: better array printing
2010-07-02 15:30:46 +02:00
Léonard Gérard
d44cd3571b
enforce_style fix.
2010-07-01 20:01:23 +02:00
Léonard Gérard
0ae39e8698
Good static Constructors names.
...
Conflicts:
compiler/global/static.ml
compiler/heptagon/analysis/typing.ml
compiler/heptagon/heptagon.ml
compiler/heptagon/parsing/scoping.ml
compiler/minils/mls_utils.ml
2010-07-01 20:00:46 +02:00
Léonard Gérard
de16b4f178
typo Mls_{P->p}arser
2010-07-01 19:41:07 +02:00
Adrien Guatto
a7e34a0a17
C backend: added missing #include
2010-07-01 15:41:07 +02:00
Adrien Guatto
3714cd2a39
C back-end: main() generation updated to the lastest calling convention.
2010-07-01 15:21:11 +02:00
Adrien Guatto
83f02ad86f
C backend: moved main() to its own file.
2010-07-01 14:44:08 +02:00
Léonard Gérard
b93b176383
Mls parsing error handling adapted to menhir
2010-06-30 18:46:40 +02:00
Cédric Pasteur
9448ed23a1
Formatting fixes
2010-06-30 17:30:48 +02:00
Cédric Pasteur
79fb193206
New calling convention in generated code
...
Functions take as arg:
- the inputs
- a 'f_out' structure: if there is at least one
input (whatever their type are)
- a 'f_mem' structure: containing memories and
contexts for child nodes. This is created only for
node (not for fun). A node declared statefull
without any memory will have an empty structure.
2010-06-30 17:30:48 +02:00
Léonard Gérard
7e29ba4057
?? nothing
2010-06-30 17:25:00 +02:00
Adrien Guatto
d0b222b003
Working Menhir parser with --table
2010-06-30 17:00:07 +02:00
Léonard Gérard
562c0ab602
re re Parsing.
2010-06-30 15:45:40 +02:00
Léonard Gérard
6ab18a65ec
Parsing..... again.
2010-06-30 15:45:40 +02:00
Léonard Gérard
92afdbfb98
Mls parsing to ammend.
2010-06-30 15:45:40 +02:00
Adrien Guatto
7ab2efea40
Cleaning tool
2010-06-30 15:36:07 +02:00
Adrien Guatto
6e9cd7f490
Fixed missing error reporting.
2010-06-30 14:11:13 +02:00
Adrien Guatto
7d6ed5d30f
Fixed parse error reporting
2010-06-30 14:04:17 +02:00
Cédric Pasteur
01d0cd02c3
Remove bounds hack in Eselect_dyn
...
We no longer need to store the bounds as the
bounds check expression is generated from MiniLS
code where the type is directly available.
2010-06-30 13:46:46 +02:00
Cédric Pasteur
b4419a6760
Better deal with memory less nodes
...
There are now 3 kinds of nodes: Eprim : primitive
nodes, Enode: nodes with memory, Efun: nodes
without memory.
Typing now sets correct eq_statefull and b_statefull
for equations and blocks. Resets are only added
when a node with memory is called.
The calling convention is the generated code needs
to be modified so that we can remove the context
for nodes without memory.
2010-06-30 13:37:54 +02:00
Léonard Gérard
2af3686af2
Mls printer fix.
2010-06-30 03:25:08 +02:00
Léonard Gérard
0c5a8d8ffe
compilers refactoring. and bug fix of heptc vs heptcheck.
2010-06-29 19:21:07 +02:00
Léonard Gérard
2127a1c2d4
Mls printing fix.
2010-06-29 19:21:07 +02:00
Léonard Gérard
88732ef2a9
parsing warning removed.
2010-06-29 19:21:07 +02:00
Léonard Gérard
7c0c2e0415
v_name -> v_ident for idents....
2010-06-29 19:21:01 +02:00
Léonard Gérard
eca36de94b
Moved mlsparsing stuff to minils/parsing.
2010-06-29 19:18:50 +02:00
Adrien Guatto
4159845401
Added manual style checking script.
2010-06-29 11:21:31 +02:00
Adrien Guatto
f35bf95458
Indentation fixes!
2010-06-29 11:18:50 +02:00
Adrien Guatto
ef55c8f9fd
Fixed forgotten AST change in MiniLS.
2010-06-29 11:12:04 +02:00
Léonard Gérard
b595dee62f
Small usefull heptc wrapper.
2010-06-28 18:06:39 +02:00
Léonard Gérard
0f2d046d59
Gros blop pour que Mlsc compile.
...
-* Séparation du fichier minils avec création de mls_utils
-* Lexer et Parser qui fonctionnent (pas complets encore)
-* Use of menhir with --explain pour debug du parser
-* Quelques refactoring (ident/name...)
2010-06-28 18:06:39 +02:00
Cédric Pasteur
3a80061392
Fix compilation
2010-06-28 16:15:44 +02:00
Cédric Pasteur
9105b54c1f
Fix for causality
...
Tuples should behave like ands for nodes that
are not reads or writes of a single variable
2010-06-28 16:12:14 +02:00
Adrien Guatto
04fcf5a826
C compilation script: tell GCC to use C99 mode.
2010-06-28 15:18:16 +02:00
Adrien Guatto
ff07d77667
Assertion generation for C back-end.
2010-06-27 23:28:38 +02:00
Adrien Guatto
5db45bd497
Generated C programs now accept a max step command-line argument.
2010-06-27 23:28:38 +02:00