isl_basic_map_remove_redundancies: sort constraints
[isl.git] / doc / 
treecd12faee8e26291cc2b5860bd04877f40b09553d
drwxr-xr-x   ..
-rw-r--r-- 2027 CodingStyle
-rw-r--r-- 713 Makefile.am
-rw-r--r-- 2172 SubmittingPatches
-rw-r--r-- 80561 implementation.tex
-rw-r--r-- 16648 isl.bib
-rw-r--r-- 2687 manual.tex
-rwxr-xr-x 207 mypod2latex
-rw-r--r-- 1838 reading.tex
-rw-r--r-- 384318 user.pod