source-git / isl

Clone
Source Code
GIT

Blame isl-0.14/test_inputs/application.omega

c8 master
  1.   b13764820b9ddca112fb19d13b9be64a23c5bada
  2.   isl-0.14
  3.   test_inputs
  4.   application.omega
Blob History Raw
Packit fb9d21 
{[x]}
Packit fb9d21 
{[x] -> [y] : y = 2x}
Packit fb9d21 
{[y]: Exists ( alpha : 2alpha = y)}

Powered by Pagure 5.13.3

SSH Hostkey/Fingerprint | Documentation