Next: Orangepath Synthesis Engines
Up: SPL Orangepath H2 Language
Previous: SSMG Refinement Algorithm
Index
Transactor Synthesis
The command line flag -xtor invokes the transactor synthesis
refinement algorithm. There are some example on the web site.
TODO: describe it more.
David Greaves
2009-08-20