repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_map_no_piplib.c: add missing include
2009-09-06
S
ven Verdoola
e
ge
isl_map_no_piplib
.
c:
a
dd mi
s
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
a
e
ge
ax_create_stdint_h
.
m4: prot
e
c
t
some limits f
r
om
r
edefinition
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
oo
l
aege
p
olyto
p
e_scan
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
f
ix r
e
turn type of isl_div_fre
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_map
_
sim
p
lify
.
c: drop return from void function
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doolaege
isl_map_sim
p
lify
.
c: add missin
g
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
i
sl_convex_hul
l
.
c:
u
s
e is
l
_seq_
g
et
_
has
h
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
e
rd
o
olaege
dec
l
are flex
a
rr
a
y
s
of
si
z
e 1 to silenc
e
s
un co
m
pil
e
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ol
a
ege
change is
l
_basic_map_empty i
n
te
r
face for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
AX_SUBMODULE:
mention def
a
u
l
t ty
p
e of
lib
r
ary to use
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
configure
.
a
c: use
A
X_SUBMODULE
for gmp for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
separate out conf
i
g head
e
r from
isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven
V
erdoolaege
pil
p
solver: don't igno
r
e feasibil
i
ty test
on context
commit
|
commitdiff
|
tree
2009-09-01
Sven
V
erdoolaege
isl
_
basic_map_gauss: try not to
remove any div definiti
o
ns
commit
|
commitdiff
|
tree