Gwenaël Delaval
|
5440bb3129
|
Logico-numerical DCS example
|
2017-03-16 11:59:47 +01:00 |
|
Gwenaël Delaval
|
f284ff2872
|
Reachability example
Reachability example: use of reax to chech reachability of states.
|
2017-03-16 11:59:02 +01:00 |
|
Gwenaël Delaval
|
0a65ffc8e2
|
Update of example Extern_C
|
2015-09-17 17:20:31 +02:00 |
|
Gwenaël Delaval
|
f720c1844f
|
Added example heptreax
Example heptreax, use of ReaX controller synthesis tool for verification
and controller synthesis.
|
2015-09-17 16:21:05 +02:00 |
|
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.
|
2015-09-17 11:17:29 +02:00 |
|
Gwenaël Delaval
|
f2c4507ea4
|
Bug correction in extern_C example
|
2013-01-25 15:41:34 +01:00 |
|
Gwenaël Delaval
|
d193d3320b
|
Added example "migration" (Bouhadiba et al, Emsoft 2011)
|
2012-12-11 08:20:04 +01:00 |
|
Gwenaël Delaval
|
a0e0bd2dcc
|
Radio transmitter example
Radio transmitter example, from Nicolas Berthier's thesis
With controller synthesis
Generic Makefile including controller synthesis handling
|
2012-06-29 02:28:42 +02:00 |
|
Léonard Gérard
|
38933a789a
|
small fixes
|
2011-11-21 09:10:27 +01:00 |
|
Cédric Pasteur
|
c61371de5d
|
Fixed the Mc_memalloc example
Replaced some ifs by merges. The previous code
was incorrect.
|
2011-10-17 18:13:59 +02:00 |
|
Cédric Pasteur
|
0c29505821
|
Inlined example with linearity annotations
|
2011-10-04 14:47:46 +02:00 |
|
Cédric Pasteur
|
4c9a7a42a6
|
Fixed linearity annotations
This is a bug in the compiler. It should not
be accepted.
|
2011-10-04 13:51:36 +02:00 |
|
Cédric Pasteur
|
5e39091321
|
Some work on the build script for examples
|
2011-10-04 11:30:21 +02:00 |
|
Cédric Pasteur
|
168a161690
|
Correct inlined version
|
2011-09-15 17:20:49 +02:00 |
|
Cédric Pasteur
|
26ad2739dd
|
Inlined version of mission control
|
2011-09-15 11:23:16 +02:00 |
|
Cédric Pasteur
|
346b223a94
|
Mission control example with inlining
|
2011-09-14 15:54:34 +02:00 |
|
Cédric Pasteur
|
d786803a6e
|
Use heptc script directly
|
2011-09-09 17:05:02 +02:00 |
|
Cédric Pasteur
|
4648f7fbab
|
Scade example with linear annotations
|
2011-09-09 16:31:41 +02:00 |
|
Cédric Pasteur
|
02c350de9a
|
Small fixes for the example
|
2011-09-07 13:24:08 +02:00 |
|
Cédric Pasteur
|
880303b1cf
|
Added a simple main for the example
|
2011-09-06 15:01:33 +02:00 |
|
Cédric Pasteur
|
f3e9d738a0
|
Made the Scade example compile in C
|
2011-09-06 14:30:30 +02:00 |
|
Cédric Pasteur
|
ace0cec555
|
Made the Scade example compile
|
2011-09-05 16:03:39 +02:00 |
|
Adrien Guatto
|
4de7ecac98
|
Wrote wrapper macros for C interoperability.
|
2010-07-29 10:43:32 +02:00 |
|
Cédric Pasteur
|
e9da3c0313
|
Added an example ported from SCADE
All the files compile. The code generation was
not tested yet.
|
2010-07-28 14:17:54 +02:00 |
|
Cédric Pasteur
|
4e5617588c
|
Updated the example
|
2010-07-27 11:32:58 +02:00 |
|
Cédric Pasteur
|
ac8dce35dc
|
Added an example of how to import external functions
|
2010-07-27 11:12:33 +02:00 |
|