Léonard Gérard
3cc1652425
Minils and signature tweaked further.
14 years ago
Léonard Gérard
50bd90183d
Good static Constructors names.
14 years ago
Adrien Guatto
ed280669ec
Efields and Etuple are op
14 years ago
Léonard Gérard
d58e83a985
Proposition 1.
14 years ago
Adrien Guatto
3698105ccf
C back-end: yet another fix for array literals
14 years ago
Adrien Guatto
7918332353
Temporary fix for array literals.
14 years ago
Cédric Pasteur
d594ace895
This case is unused
14 years ago
Adrien Guatto
0712378133
Fixed output structure allocation in C backend
14 years ago
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().
14 years ago
Adrien Guatto
0fbaa0217b
Fixed missing include dir in minils/_tags
14 years ago
Léonard Gérard
65c12884bd
SConst -> Sconst
14 years ago
Léonard Gérard
075cab202a
_tags fix.
14 years ago
Adrien Guatto
3dfdf680ee
myocamlbuild.ml fix for bytecode
14 years ago
Adrien Guatto
2d8e02d844
Fix: typo size_constr -> size_constrs
14 years ago
Adrien Guatto
6b4881ccd0
Revamped testing framework
14 years ago
Adrien Guatto
1113fd7ec1
Yet another refactoring fix
14 years ago
Adrien Guatto
5a6a3c74ac
Fixed refactoring errors.
14 years ago
Adrien Guatto
eaafc5db05
C backend: better array printing
14 years ago
Léonard Gérard
d44cd3571b
enforce_style fix.
14 years ago
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
14 years ago
Léonard Gérard
de16b4f178
typo Mls_{P->p}arser
14 years ago
Adrien Guatto
a7e34a0a17
C backend: added missing #include
14 years ago
Adrien Guatto
3714cd2a39
C back-end: main() generation updated to the lastest calling convention.
14 years ago
Adrien Guatto
83f02ad86f
C backend: moved main() to its own file.
14 years ago
Léonard Gérard
b93b176383
Mls parsing error handling adapted to menhir
14 years ago
Cédric Pasteur
9448ed23a1
Formatting fixes
14 years ago
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.
14 years ago
Léonard Gérard
7e29ba4057
?? nothing
14 years ago
Adrien Guatto
d0b222b003
Working Menhir parser with --table
14 years ago
Léonard Gérard
562c0ab602
re re Parsing.
14 years ago
Léonard Gérard
6ab18a65ec
Parsing..... again.
14 years ago
Léonard Gérard
92afdbfb98
Mls parsing to ammend.
14 years ago
Adrien Guatto
7ab2efea40
Cleaning tool
14 years ago
Adrien Guatto
6e9cd7f490
Fixed missing error reporting.
14 years ago
Adrien Guatto
7d6ed5d30f
Fixed parse error reporting
14 years ago
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.
14 years ago
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.
14 years ago
Léonard Gérard
2af3686af2
Mls printer fix.
14 years ago
Léonard Gérard
0c5a8d8ffe
compilers refactoring. and bug fix of heptc vs heptcheck.
14 years ago
Léonard Gérard
2127a1c2d4
Mls printing fix.
14 years ago
Léonard Gérard
88732ef2a9
parsing warning removed.
14 years ago
Léonard Gérard
7c0c2e0415
v_name -> v_ident for idents....
14 years ago
Léonard Gérard
eca36de94b
Moved mlsparsing stuff to minils/parsing.
14 years ago
Adrien Guatto
4159845401
Added manual style checking script.
14 years ago
Adrien Guatto
f35bf95458
Indentation fixes!
14 years ago
Adrien Guatto
ef55c8f9fd
Fixed forgotten AST change in MiniLS.
14 years ago
Léonard Gérard
b595dee62f
Small usefull heptc wrapper.
14 years ago
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...)
14 years ago
Cédric Pasteur
3a80061392
Fix compilation
14 years ago
Cédric Pasteur
9105b54c1f
Fix for causality
...
Tuples should behave like ands for nodes that
are not reads or writes of a single variable
14 years ago