e0d1900f3a
Version 1.05.00
...
- Option -simple-scheduler active for scheduling post-ctrln code generation
- Handle implication operator in Sigali backend
- Compatibility with reatk >= 0.14
6 years ago
8872bb3998
Do not remove sub-directories in `Compiler_utils.clean_dir'
6 years ago
95c9eb699b
Version 1.04.00
7 years ago
4274b21733
Version 1.03.04
7 years ago
35bce1d5e8
Added simple scheduler with -simple-scheduler option
...
Scheduler_simple module: simplest possible scheduler, with
only topological sort and without any "smart" algo/heuristic.
7 years ago
e4f51fea68
Switch to non-deprecated String functions
...
Use of String.*_ascii non-deprecated versions.
NB: Heptagon becomes available only for Ocaml versions >= 4.03.0.
7 years ago
2f18926bf4
Clean up documentation comments
7 years ago
5b215f832b
Version 1.03.02
7 years ago
a0e97b82ea
CtrlNbac backend: systematic sink state, outputs as local variables
...
Changes in CtrlNbac back-end :
- systematic sink state, only in ctrln code
- sink state "ok" removed (useless as was coded)
- no sink state in minils code
- outputs in ctrln are local variables, no longer state variables
8 years ago
5e277fcc8a
Version 1.03.01
8 years ago
05150f2078
[ctrl-n] Suppression of type declarations in Heptagon controller
...
TODO : move type declarations in separated module.
8 years ago
4f0ef44ebd
Version 1.03.00
8 years ago
19911506de
Removal of warnings
8 years ago
4552f62872
Version 1.02.00
9 years ago
14a7b67a70
New option to force abstraction of infinite-domain state variables in ctrln export
...
Also add an option to silence related warnings
9 years ago
2d874f8070
New option to silence warnings about untranslatable constructs
9 years ago
61f043856a
Version 1.01.00
9 years ago
2d00f0a91c
Fix sink state variable generation in Controllable-Nbac export.
10 years ago
0afdb16c57
Requalify enumeration types only when exporintg to Controllable-Nbac.
10 years ago
39aa0e13c1
Ugly fix for handling enumerated types when exporting to Controllable-Nbac.
...
To avoid cyclic module dependencies (that show up when trying to
compile, e.g, the generated C code), enumerated types declared in the
main program are now "moved" into the module containing the generated
controllers.
10 years ago
be21bf31d8
Insertion of call to controller(s) when exporting to Controllable-Nbac node.
...
To enable recovery of parameter and output ordering by `ctrl2ept', the
Controllable-Nbac generation procedure now declares a new module
dedicated to the encapsulation of the controller functions yet to be
synthesized.
Handling of type declarations are probably buggy.
10 years ago
bc17d71e3f
New tool `ctrl2ept' for translating ReaX's output functions into Heptagon
...
Compilation of the tool is dependent on the presence of the
`reatk.ctrlNbac' library.
10 years ago
541dd83fca
Optional compilation of Controllable-Nbac-related modules and tools.
10 years ago
99ab12aa13
Fixed warnings.
10 years ago
850e8522dd
Merge branch 'decade' into ctrl-n
10 years ago
8650ac5695
Version 1.00.06
10 years ago
9c4b3f3267
Version 1.00.05
10 years ago
c61e01f19b
Correct handling of comparison operators in Sigali
...
- bug fix: comparison between two non-constant integer expressions in Sigali
- bug fix: correct handling of "=" and "<>" operators in Sigali
11 years ago
808b9772f3
Merge branch 'decade' into ctrl-n
11 years ago
71497a82b2
Corrected bug in inline_extvalues
...
Inline_extvalues: added local variables of contracts into environments
11 years ago
216550c0d1
Fixed warnings & documentation comments.
...
- gitignore: ignore files generated by `configure' script.
11 years ago
5b98f9cdf6
Version 1.00.02
...
Added CHANGES file
11 years ago
c0b84bd186
Abstraction of integers for Sigali
...
Correction of abstraction for Sigali: integer equations comprising no
integer variables should not be abstracted
11 years ago
a00620ca19
Fixed interference of fast memories
...
A fast memory should be considered alive during
the whole step function when its clock is false.
11 years ago
e7f85d6b25
Configuration for binary release
...
- custom bytecode compilation
- added suffix (OS, cpu) in binary distrib
12 years ago
ce2e2bdcd0
Added -nbvars option for performance evaluation
12 years ago
ef536f412d
Added option -nosink (CS optimisation)
...
The -nosink option suppress the sink state of sigali equations.
This optimizes the controller synthesis, but work only
when the synthesis objective instantaneoulsy depends only
on the current state (and not on current inputs).
12 years ago
355998bab3
Fix printf typing
12 years ago
ef00823cf7
Added Marc as co-author
12 years ago
58086190eb
Headers and license file for GPL
...
Headers for every source file (excluding examples), mentioning
authors, copyright and license (GPL)
COPYING file with GPLv3 content.
12 years ago
8815a2cd03
Better handling of clocks in memalloc
...
- We can do a better allocation if we take into
account 'when' in extvalues
(test/good/memalloc_clocks.ept shows the
improvement)
- Fixed a bug with memalloc on records: if we
translate:
o = { a with .f = u }
to
o = a; o.f = u
then we cannot share u and o.f
12 years ago
8153bc4eb5
Fixed Tomato: did not reconstruct internal clocks of extvalues
12 years ago
fc1edf91f0
OOPS forgot compiler_timings
12 years ago
e05f3732a0
Timing framework.
12 years ago
76ae2f4518
Loop unrolling.
12 years ago
cad8a0149f
Option to perform type inference on all types
13 years ago
54cde301f6
C code generation for printf
13 years ago
2fc0435393
Added simple printf
...
Typing and clocking done
13 years ago
fdab1ac55c
Strict-SSA option to switch array encoding.
13 years ago
ca711274c0
Remove infusion from the default optima options.
13 years ago
Gwenaël Delaval
Nicolas Berthier
Nicolas Berthier
Cédric Pasteur
Guillaume Baudart
Adrien Guatto
Léonard Gérard