README

   1 isa, a tool for Integer Set Analysis
   2
   3 Some common commands:
   4
   5 - extract a polyhedral model from test.c
   6
   7         c2pdg test.c
   8
   9   The polyhedral model is stored in test.yaml
  10
  11 - convert to a process network
  12
  13         pn < test.yaml > test_pn.yaml
  14
  15 - write out C code again for a (possibly transformed) polyhedral model
  16
  17     sloog -domains test_pn.yaml test_d.spd test_t.spd
  18     s2c test_t.spd