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
change calling convention of isl_basic_map_{equal,less_at,more_at}
2008-10-13
S
ven V
e
r
d
o
olaege
add isl
_
map_de
l
tas
commit
|
commitdiff
|
tree
2008-10-13
Sven Verd
o
olae
g
e
add isl_b
a
si
c
_
set_c
o
mpare_at
commit
|
commitdiff
|
tree
2008-10-13
Sven
V
erdoola
e
g
e
clear rational
flags from resulting conv
e
x
hull
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdo
o
lae
g
e
isl_
b
asic_map_is_em
p
ty: don
'
t compute sample for rational
.
.
.
commit
|
commitdiff
|
tree
2008-10-13
Sven Verdoolaege
convex_hull:
u
se elim
i
nation ba
s
ed
c
onvex hull
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sve
n
V
erd
o
o
l
a
ege
w
rap_facet: missing error path
commit
|
commitdiff
|
tree
2008-10-12
S
v
en Verdoolaege
is
l
_conve
x
_h
u
ll: f
i
x construction of
init
i
al facet
commit
|
commitdiff
|
tree
2008-10-12
Sv
e
n Ver
d
oo
l
aege
isl_basic_map_el
i
mina
t
e
_v
a
rs: remove
a
l
l redundant
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sv
e
n Verdoolaege
add isl_bas
i
c_set_
r
e
m
ove_dims
commit
|
commitdiff
|
tree
2008-10-12
S
v
e
n
V
e
rdoolaege
add isl_set_copy_basic_set and isl_set_drop_b
a
sic_set
commit
|
commitdiff
|
tree
2008-10-12
Sven Verd
o
ola
e
ge
isl_convex_hull
.
c: make sure we
d
on
'
t overalloc
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven V
e
rdoolaeg
e
isl_basic_map_affine_hull: allow computation of affine
.
.
.
commit
|
commitdiff
|
tree
2008-10-12
Sven Verdoola
e
ge
i
s
l_convex_hull: fix memory l
e
ak in
error path
commit
|
commitdiff
|
tree
2008-10-11
S
v
e
n
V
e
r
dool
a
ege
a
dd i
s
l_
s
et_r
e
move_dims
commit
|
commitdiff
|
tree
2008-10-11
Sven Ver
d
oolaege
a
d
d
i
s
l_set_{from,to}_underlyi
n
g_set
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
er
d
o
olaege
a
d
d
isl_basic_set_f
r
om_underlyi
n
g
_
set
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_basi
c
_map_ov
e
rlyi
n
g
_set: fix possib
l
e NULL access
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl
_
set_dump: dump
m
ore inform
a
tion
commit
|
commitdiff
|
tree
2008-10-11
Sven Ver
d
oolaege
add isl_
s
et_ex
t
end
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
erdool
a
e
ge
a
dd isl_set_
i
n
ter
s
ec
t
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdo
o
laege
a
dd isl_set_from_m
a
p
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_map_to_pol
y
lib: return e
m
pty pol
y
hedron
instead
.
.
.
commit
|
commitdiff
|
tree
2008-10-11
Sven Ve
r
d
oolaege
i
sl_map_pol
y
li
b
.
c: si
m
plify sets after conversion
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-10-11
S
ve
n
V
erdo
o
laege
i
sl_set_
a
l
l
oc: add check o
n
n
umbe
r
of basic sets
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdo
o
laege
isl_equalities
.
c: add mi
s
sing inc
l
ude
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
declare is
l
_
b
asic_map_drop_inequality
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_map_polyli
b
.
c: add missing include
commit
|
commitdiff
|
tree
2008-10-11
Sven V
e
r
doolaege
i
sl_sam
p
le_pip
l
ib
.
c:
ad
d
mis
s
i
ng i
n
clude
commit
|
commitdiff
|
tree
2008-10-11
Sven Verd
o
o
l
a
ege
isl_map_piplib
.
c: fix some warnings
commit
|
commitdiff
|
tree
2008-10-11
S
v
e
n
Verdool
a
ege
isl_map_piplib
.
c: add missing
i
nc
l
ude
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
erdoolaeg
e
de
c
lare isl_basic
_
map_
d
rop_equality
commit
|
commitdiff
|
tree
2008-10-11
Sve
n
Verd
o
olaege
isl_inp
u
t_om
e
ga
.
c: add missing include
commit
|
commitdiff
|
tree
2008-10-11
Sve
n
Ver
d
o
olaege
isl_mat
.
c: fix some warnings
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolae
g
e
dec
l
are isl_seq_com
b
i
ne
commit
|
commitdiff
|
tree
2008-10-11
S
v
en
Verdoolaege
declare isl_gmp_h
a
sh
commit
|
commitdiff
|
tree
2008-10-11
Sven Verdoolaege
isl_
s
amp
l
e
.
c:
add missing include
commit
|
commitdiff
|
tree
2008-10-11
Sven
V
e
rdoolae
g
e
add struct
_
c
t
x fie
l
d to isl_set and is
l
_map
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
isl_{basic
_
,}set_read_from_file: allow user to
specify
.
.
.
commit
|
commitdiff
|
tree
2008-09-08
Sven V
e
rdool
a
ege
add i
s
l_set_rea
d
_from_f
i
l
e
for reading unio
n
s of poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2008-09-04
Sven Verdoo
l
aege
isl
_
bas
i
c_set_read_from_file:
p
artial support for Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-09-03
Sven Ve
r
d
o
olaege
a
d
d test_in
p
ut
s
to the distribution
commit
|
commitdiff
|
tree
2008-09-03
Sven Verdoolaege
add isl_samp
l
e_piplib
.
h to the distribution
commit
|
commitdiff
|
tree
2008-09-03
Sven Verdoolaege
Makefile
.
am: only includ
e
pip
l
i
b
in distrib
u
tion
i
f
.
.
.
commit
|
commitdiff
|
tree
2008-09-03
Sven
V
e
rdoolaege
Makefile
.
am: re
m
ove
reference to (re)
m
oved header files
commit
|
commitdiff
|
tree
2008-08-26
Sv
e
n Verdool
a
ege
ad
d
isl_set_compu
t
e_divs
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
er
d
o
olaege
add isl_set_f
i
x_dim_si
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoo
l
a
e
g
e
isl_map_apply_rang
e
: m
a
rk
result of
1
ba
s
ic set as
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
isl_m
a
p_dump: print flags
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaeg
e
i
s
l_b
a
sic_map_affine_hull: compute integer affine hull
commit
|
commitdiff
|
tree
2008-08-25
Sv
e
n
V
e
rdo
o
lae
g
e
sample
:
remove lineality and skew into
posi
t
ive o
r
thant
commit
|
commitdiff
|
tree
2008-08-25
Sve
n
Ver
d
oolaege
add
t
riv
i
al affine hull t
e
st
commit
|
commitdiff
|
tree
2008-08-25
Sve
n
V
erdoolaege
add convex
h
ull computat
i
on
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaeg
e
r
e
m
ove obviously r
e
dundant di
v
s b
a
sed on in
e
qualiti
e
s
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
erdoolaege
isl_map_affine_hull: perform aff
i
ne hull on underlyi
n
g set
commit
|
commitdiff
|
tree
2008-08-25
S
ven Verdoolaege
affhull:
s
implify b
e
fore finalize
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoola
e
ge
extract isl_map_align_
d
i
v
s
f
rom isl
_
affine_h
u
ll
.
c
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
erdoolaege
a
d
d isl_map_remov
e
_empty_parts
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
extract out isl_b
a
sic_map
_
implicit_equalities from
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoola
e
g
e
isl_map_affine_h
u
ll: add
missing cow
commit
|
commitdiff
|
tree
2008-08-25
Sven Verd
o
olaege
rename
i
sl_map_affine_hul
l
.
c to i
s
l
_
affine_hull
.
c
commit
|
commitdiff
|
tree
2008-08-25
S
ven Verdoolaege
a
d
d
i
s
l
_
basic_set
_
read_from
_
file
commit
|
commitdiff
|
tree
2008-08-25
Sven Ver
d
oolaege
link in polylib library in builddir
commit
|
commitdiff
|
tree
2008-08-25
Sven Verd
o
o
l
aege
keep cache of blocks of isl_ints
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdool
a
ege
add some missing tests for invalid inpu
t
commit
|
commitdiff
|
tree
2008-08-25
Sven
Ve
r
doola
e
ge
Ens
u
re all elem
e
n
t
s in
a constraints are z
e
roed out
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
ve
n
Verdoolaege
isl_basic_
m
ap_is_
e
mpty
:
keep
s
ample found for pos
s
ible
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
v
e
n Verdoolae
g
e
remove_duplicat
e
_constraints: also d
e
te
c
t implic
i
t
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Ver
d
ool
a
e
g
e
isl_
b
asic_set
_
samp
l
e:
s
pecial case
0
D
and 1D sets
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
erdoola
e
ge
isl_basic_set_sample: r
e
move equali
t
ies f
i
rs
t
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
simplify const
r
aints after
com
b
ining const
r
a
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
ve
n
V
e
rdoo
l
aege
remo
v
e spuri
o
us ; from isl_a
s
sert definitio
n
commit
|
commitdiff
|
tree
2008-08-25
S
v
en Ver
d
oola
e
ge
r
e
impl
e
ment i
s
l_basic_map_is_empty in terms of isl_bas
i
c_set
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
i
sl_bas
i
c_m
a
p_se
t
_to_empty: remove supe
r
flu
o
us che
c
k
commit
|
commitdiff
|
tree
2008-08-25
Sven
V
e
rdoolaege
isl_basi
c
_{map,set}:
explicitly s
t
ore
c
onstraints defining div
commit
|
commitdiff
|
tree
2008-08-25
Sven V
e
rdoo
l
aege
avoi
d
preproc
e
ssor conditiona
l
s
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
isl_basic_map_is_empt
y
: spec
i
al case known
e
mpty
ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Verdoolaege
remove remnants of old "primiti
v
e" namin
g
commit
|
commitdiff
|
tree
2008-08-25
Sven Ve
r
d
o
o
l
a
e
ge
isl_map_s
u
b
t
ract: simplify and
f
ina
l
ize parts b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
S
ven Verdo
o
laege
is
l
_
bas
i
c
_ma
p
_
g
auss: h
a
nd
l
e
r
e
d
u
ndant or confli
c
ting
.
.
.
commit
|
commitdiff
|
tree
2008-08-25
Sven Ve
r
doolaege
Fix typo
i
n isl_m
a
p_affin
e
_
hull
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
aege
Fix
s
erio
u
s bug in normalize_constraints
commit
|
commitdiff
|
tree
2008-08-07
S
v
en Verdoolaege
I
n
itial ve
r
sion of the
integer se
t
library
commit
|
commitdiff
|
tree