« Previous | Next » 

Revision 2a4f4170


Added by Axel Belinfante over 8 years ago

script jtorxsa + updated writers to be non-recursive

- jtorxsa writes suspension automaton to stdout
- changed writers to no longer call unfold recursively,
because then we run out of stack for big LTSes

TODO have a look at the writers that are not changed now


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences