Gwenaël Delaval
|
e4b0578b38
|
User manual update
|
7 years ago |
|
Gwenaël Delaval
|
73a3762895
|
Manual: control structures (present, reset)
|
8 years ago |
|
Gwenaël Delaval
|
8dbb283310
|
User manual for Heptagon+ReaX
|
9 years ago |
|
Gwenal Delaval
|
f5872cbcf4
|
Change URL for sim2chro in manual
- change URL for download of sim2chro (towards Lustre v4 distribution)
- added GTKWave in INSTALL
- change font of pdf manual
|
11 years ago |
|
Gwenal Delaval
|
17435fd012
|
Small changes on manual
|
11 years ago |
|
Gwenal Delaval
|
bb2c3c4060
|
Update of manual
- use of GTKWave
- appendix: interfaces of java 1.4 and 1.5 generated code
|
11 years ago |
|
Gwenal Delaval
|
3a9b332b9b
|
Heptagon manual: pdf version in repository
(to avoid laborious recompilations)
|
11 years ago |
|
Gwenaël Delaval
|
c39a0e058e
|
INSTALL file for distribution
|
11 years ago |
|
Gwenal Delaval
|
3c685b4c12
|
Manual: section on bugs and issues
|
12 years ago |
|
Gwenal Delaval
|
89ee2a8fb6
|
Manual: part on automata
Paragraphs about type of transitions
weak/strong, memoryles/with memory
|
12 years ago |
|
Gwenal Delaval
|
11493f3274
|
Manual
UpDown automaton (figure)
Changes in the structure: contracts within Section "Syntax and informal semantics"
|
12 years ago |
|
Gwenal Delaval
|
bea0c5ac7c
|
Manual: section on compilation and install
Manual: section on compilation, install, required tools and libraries
|
12 years ago |
Cédric Pasteur
|
09202bd9ec
|
Remove graphical syntax
|
12 years ago |
|
Cédric Pasteur
|
767883d578
|
Small fixes
|
12 years ago |
|
Cédric Pasteur
|
9e17900f13
|
Small section on linear annotations
|
12 years ago |
|
Cédric Pasteur
|
a2b694602f
|
Small section on clocks
|
12 years ago |
|
Cédric Pasteur
|
03acfc9bea
|
New sections in the manual
arrays, records, parametricity, etc.
|
12 years ago |
|
Gwenal Delaval
|
d36e988fb9
|
User manual: first version
|
12 years ago |