repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_pip: allow existentially quantified variables in the context
[isl.git]
/
.gitignore
blob
99a7db388e7b0966fcd7273661405d9d8e2642f9
1
# ignore objects and archives
2
*.[oa]
3
*.lo
4
*.la
5
6
.deps/
7
.libs/
8
Makefile
9
Makefile.in
10
aclocal.m4
11
autom4te.cache/
12
config.guess
13
isl_config.h
14
isl_config.h.in
15
isl_config.h.in~
16
compile
17
config.log
18
config.status
19
config.sub
20
configure
21
depcomp
22
doc/Makefile
23
doc/Makefile.in
24
gitversion.h
25
include/isl/config.h
26
include/isl/stdint.h
27
include/stamp-h2
28
include/isl/stamp-h2
29
install-sh
30
isl-uninstalled.pc
31
isl-uninstalled.sh
32
isl.pc
33
isl.pc.in
34
isl_bound
35
isl_cat
36
isl_closure
37
isl_pip
38
isl_polyhedron_detect_equalities
39
isl_polyhedron_minimize
40
isl_polyhedron_sample
41
isl_polytope_scan
42
isl_test
43
libtool
44
ltmain.sh
45
m4/libtool.m4
46
m4/ltoptions.m4
47
m4/ltsugar.m4
48
m4/ltversion.m4
49
m4/lt~obsolete.m4
50
missing
51
stamp-h1
52
test-driver
53
54
bound_test.sh
55
pip_test.sh