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 - perform dataflow analysis
  12
  13         da -i test.yaml
  14
  15   The results are stored in test_da.yaml
  16
  17 - print dependences
  18
  19         dump_dependences < test_da.yaml
  20
  21 - convert to a process network
  22
  23         pn < test.yaml > test_pn.yaml
  24
  25 - write out C code again for a (possibly transformed) polyhedral model
  26
  27     sloog -domains test_pn.yaml test_d.spd test_t.spd
  28     s2c test_t.spd