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_basic_map_detect_equalities: properly handle empty basic sets
2009-06-07
Sven Verdoola
e
ge
i
s
l_ba
s
ic_
m
ap_detect_equa
l
i
tie
s
: properly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verd
o
o
l
aege
isl_basic_map_is_empty: e
x
p
licitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Ver
d
oolaege
isl
_
ma
p
.
c: order_d
i
vs: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl_map_coalesce: remove extra
d
ivs intr
o
duced by
i
sl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en
V
e
r
do
o
laege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven V
e
rdoolaege
add
i
sl_s
e
t_product
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolae
g
e
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
i
sl
_
map_con
v
ex_hu
l
l: handl
e
unbounde
d
,
but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
privately ex
p
ort is
l
_mat_u
n
im
o
du
l
ar
_
complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c: add isl_tab_ge
t
_sam
p
le
_
value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl
_
m
a
p_conv
e
x_h
u
l
l:
a
void intro
d
ucing linealit
y
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add two
m
ore co
n
vex hul
l
test cases
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoo
l
aege
isl_map_convex_hull: remov
e
lineal
i
ty space i
f
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rdool
a
ege
a
dd i
s
l
_
b
asic_se
t
_is
_
u
n
iverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
oola
e
ge
add isl_set_get
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
er
d
o
o
laege
i
sl_
c
onvex_hul
l
.
c: up
d
ate wrap_
f
ac
e
t
t
o
the
f
a
ct
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
isl
_
conve
x
_hull
.
c:
fix
typo
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
isl_co
a
l
e
sce
.
c: fix typo i
n
co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_tab
.
c: f
i
x typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdool
a
ege
configu
r
e
.
in: set A
C
_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolae
g
e
add
i
s
l
_basic_set_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
isl_basic
_
map_
g
ist: norma
l
ize divs (i
f
an
y
) in context
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdoolaege
isl_ba
s
ic
_
map_s
i
mplif
y
: remo
v
e duplicate div
s
before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoo
l
a
e
ge
a
dd
isl_
b
asic_se
t
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
c
h
ange calling convention of
isl_basi
c
_
ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_
m
a
p_simplif
y
.
c: uset_gist:
b
reak
e
arly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoolaege
isl_ma
p
_simplify
.
c: uset_gist:
b
re
a
k early if
i
ntersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaeg
e
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
V
e
rdoolaeg
e
isl_tab
.
c: store num
b
er of equ
a
li
t
ies among the con
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_mat_ex
t
e
n
d:
prop
e
rly extend m
a
trices
with
reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl
_
map_gist: hand
l
e some special
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd
i
s
l_map_un
i
ve
r
se
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
add isl_basi
c
_m
a
p
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
is
l
_ba
s
ic_ma
p
_g
i
st: rep
l
ace by new ve
r
sion based
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
a
ege
isl_
m
a
p
_
simplify
.
c: compute_elimination_index:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
add isl_m
a
p_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_basic_
s
et_free_equal
i
ty
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_convex_hul
l
: mark res
u
lt as not ha
v
ing a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
convex_hu
l
l
:
coal
e
sce
set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
add
i
sl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_input_om
e
ga
.
c
:
basic_map_read: acc
e
p
t "+" in
constra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
rd
o
olaege
add isl_basic_
s
et
_
alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add
i
sl_
s
e
t
_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
us
e
t_
a
ffine_hull: ign
o
re directi
o
ns in
a
ffine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_b
a
sic
_
map_implicit_equalities
:
pe
r
form Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_affine_
h
ull
.
c: outside_p
o
int
:
check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
priva
t
ely export isl_basic_set_con
t
a
ins
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
vec_d
u
mp:
h
a
n
dle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l
_affine_hull
.
c: extract uset_
a
ffine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_trans
p
ose: handle non-rectang
u
lar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_simple_hull
:
compute
a
ffine hu
l
l
b
efore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
isl_map_simple_hu
l
l: mark
result as not having
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add
isl_set_bou
n
d
e
d
_
si
m
p
l
e_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l_map
_
affine_hull: detect
equali
t
ie
s
of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_
b
asic_map_d
u
p: copy f
l
ags of or
i
ginal to dup
l
icat
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basic_ma
p
_
exten
d
_dim: mov
e
responsibil
i
ty
o
f cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_basic_m
a
p
_ext
e
nd_d
i
m: only
e
xtend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
o
ola
e
ge
isl_solve
_
lp: use tableaus instead of c
a
lling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_so
l
ve_l
p
: accept aff
i
ne
o
bject function in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
i
sl_
m
a
p
_
s
impl
e
_hull:
use hash tables and tabl
e
aus
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doola
e
ge
i
sl_convex_hul
l
.
c: extrac
t
out use
t
_
s
imple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoo
l
aege
isl_conv
e
x
_
hull
.
c: extend: avoid wrapping aroun
d
alr
e
ad
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_convex_hull
.
c: introduce pr
o
t
o
_
hull ba
s
ed on
o
bvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
convex_hull
.
c: move initial
h
ull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
e
rdoola
e
ge
isl_convex_hull
.
c:
m
ove co
m
putation
o
f
bo
u
nds
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
i
s
l
_
map_convex_hul
l
: check for bound
e
dness us
i
ng reces
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_map_conve
x
_hull:
us
e
t
a
bleau to detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_affine_
h
u
l
l
.
c: use tabl
e
au
t
o detect imp
l
icit equaliti
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaege
isl_tab
.
c
: don
'
t
d
etect equalit
i
es wh
i
le s
e
t
ting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add inte
r
nal re
p
re
s
entation
of L
P
t
a
bleaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
a
d
d
isl_mat_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
a
dd is
l
_set_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Ve
r
dool
a
e
ge
priv
a
tely expo
r
t isl_basic_{
s
et,map
}
_normalize
_
c
o
nstraints
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
add isl_basic_set_ex
t
end_dim
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_bas
i
c_map_eliminate_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_ba
s
i
c_map_eliminat
e
_vars: rem
o
ve all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doo
l
aege
add isl_h
a
sh_table_al
l
o
c
and isl_hash
_
table_free
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
l
a
ege
isl_h
a
sh_table_init: ta
k
e mini
m
al size i
n
stead of
n
u
m
b
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
isl_{basic
_
,}set_preim
a
ge: drop ctx argu
m
ent
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
b
a
sic_
m
ap_int
e
r
s
ect: reuse sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_
s
e
t_has_de
f
ining_inequali
t
ies: fi
x
typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_cons
t
raint_div: perform required reference in
c
r
ease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
ola
e
g
e
i
sl
_
basic
_
map: put inequalities before eq
u
alities
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
o
olaege
add isl_seq_
n
ormalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
isl_ctx
.
h: mak
e
FL_ISSET return a boolean value
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
erdoolaege
rename F_ an
d
FL
_
m
a
cr
o
s to ISL
_
F
_ and ISL_
F
L_ to
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_mat_swap
_
c
o
l
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolae
g
e
isl_mat_dump: also
i
ndent NU
L
L
mat
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
a
dd isl_c
a
lloc_type
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
isl_map_conv
e
x_hull: n
o
rmali
z
e
m
ap first
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdo
o
la
e
ge
isl_set
_
preimage: clear ISL_SET
_
NORMALIZED
flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add
isl_
b
asic_m
a
p_detect_equalit
i
e
s
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
rdoolaege
add
i
s
l
_map_r
e
move
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
export isl_basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_basic_
m
a
p_remo
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
add
i
sl_dim_
r
ange
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaeg
e
a
d
d isl_map_product
commit
|
commitdiff
|
tree
next