Gwenaël Delaval
|
5440bb3129
|
Logico-numerical DCS example
|
7 years ago |
|
Gwenaël Delaval
|
f284ff2872
|
Reachability example
Reachability example: use of reax to chech reachability of states.
|
7 years ago |
|
Gwenaël Delaval
|
0a65ffc8e2
|
Update of example Extern_C
|
9 years ago |
|
Gwenaël Delaval
|
f720c1844f
|
Added example heptreax
Example heptreax, use of ReaX controller synthesis tool for verification
and controller synthesis.
|
9 years ago |
|
Gwenaël Delaval
|
d5ee87b7ed
|
Added example Markov
Example Markov : simulation of a Markov chain.
Use of a Random module, external call to C rand() function.
|
9 years ago |
|
Gwenaël Delaval
|
f2c4507ea4
|
Bug correction in extern_C example
|
11 years ago |
|
Gwenaël Delaval
|
d193d3320b
|
Added example "migration" (Bouhadiba et al, Emsoft 2011)
|
12 years ago |
|
Gwenaël Delaval
|
a0e0bd2dcc
|
Radio transmitter example
Radio transmitter example, from Nicolas Berthier's thesis
With controller synthesis
Generic Makefile including controller synthesis handling
|
12 years ago |
Léonard Gérard
|
38933a789a
|
small fixes
|
13 years ago |
Cédric Pasteur
|
c61371de5d
|
Fixed the Mc_memalloc example
Replaced some ifs by merges. The previous code
was incorrect.
|
13 years ago |
|
Cédric Pasteur
|
0c29505821
|
Inlined example with linearity annotations
|
13 years ago |
|
Cédric Pasteur
|
4c9a7a42a6
|
Fixed linearity annotations
This is a bug in the compiler. It should not
be accepted.
|
13 years ago |
|
Cédric Pasteur
|
5e39091321
|
Some work on the build script for examples
|
13 years ago |
|
Cédric Pasteur
|
168a161690
|
Correct inlined version
|
13 years ago |
|
Cédric Pasteur
|
26ad2739dd
|
Inlined version of mission control
|
13 years ago |
|
Cédric Pasteur
|
346b223a94
|
Mission control example with inlining
|
13 years ago |
|
Cédric Pasteur
|
d786803a6e
|
Use heptc script directly
|
13 years ago |
|
Cédric Pasteur
|
4648f7fbab
|
Scade example with linear annotations
|
13 years ago |
|
Cédric Pasteur
|
02c350de9a
|
Small fixes for the example
|
13 years ago |
|
Cédric Pasteur
|
880303b1cf
|
Added a simple main for the example
|
13 years ago |
|
Cédric Pasteur
|
f3e9d738a0
|
Made the Scade example compile in C
|
13 years ago |
|
Cédric Pasteur
|
ace0cec555
|
Made the Scade example compile
|
13 years ago |
Adrien Guatto
|
4de7ecac98
|
Wrote wrapper macros for C interoperability.
|
14 years ago |
Cédric Pasteur
|
e9da3c0313
|
Added an example ported from SCADE
All the files compile. The code generation was
not tested yet.
|
14 years ago |
|
Cédric Pasteur
|
4e5617588c
|
Updated the example
|
14 years ago |
|
Cédric Pasteur
|
ac8dce35dc
|
Added an example of how to import external functions
|
14 years ago |