SynDEx v7 Tutorial Nicolas Dos Santos Christophe Gensoul Kim Hwa Khoo Christophe Macabiau Quentin Quadrat Daniel de Rauglaudre Yves Sorel C cile Stentzel December 16 2013 Contents Introductio 1 Example 1 algorithm architecture and adequatio 1 1 Themainalgorithm 0 00 02 2000 008 1 1 1 Definitionofasensoy 00 1 2 1 Definition of anoperato 020 eee es eee 1 3 1 Definition of operator sa Se eats EE isk ty Deed ECKE
Reference manual of SynDEx code generation Methodology and tools for generic code generation Yves Sorel Simon Nivault INRIA Rocquencourt BP 105 78153 Le Chesnay Cedex France yves sorel inria fr www syndex org Contents 1 General principles 2 Starring m4 2 1 MacrOs 0 La a BE Ge a Eee A ee Be A 2 1 1 Parameters of macros os oa ea paa e oea e a ee DADA QUON A ae E BS A hehe Ge BAe Sis a Ee 2 2 Predefined macros aii ii A A Bel es a ts Be 22M a AE aei ab a rr e
SynDEx v7 User Manual Julien Forget Christophe Gensoul Maxence Guesdon Christophe Lavarenne Christophe Macabiau Yves Sorel C cile Stentzel December 16 2013 Contents 1 1 The AAA methodology 1 2 SynDEx distributions 2 4 Save Close Quit 3 1 To use libraries 3 2 To create a library 4 Using the interface 4 1 Selectio KEEN 5 1 1 To create a definitio SC EE E EE be e 20 BETEN 20 A EE 20 VICO DIREZIONE ONERE