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_apply_{domain,range}: drop redundant divs in result
2009-06-07
Sven V
e
rdoolaege
add is
l
_
seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l
_basic_
m
ap
_
detect_equalit
i
es:
properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basi
c
_map_is_e
m
pty
:
explicitly mark
basic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c:
o
rder_
d
ivs: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
isl_map_c
o
alesc
e
: remove extra d
i
v
s introduced b
y
isl_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Verdoolaege
add isl_map
_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n
Ve
r
d
o
o
laege
add
i
sl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
exp
o
rt isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_map_c
o
nvex_hu
l
l: handl
e
unb
o
unded, but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
ol
a
ege
priv
a
tely
export
i
sl_mat_unimodular_com
p
l
ete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl_tab
.
c: add isl_tab_get_sample_val
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ver
d
oolaege
i
s
l_map_convex_h
u
ll:
avoid introducin
g
lineali
t
y sp
a
ces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolae
g
e
add two more conve
x
hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
i
s
l
_
map_conve
x
_hull: remove lineality sp
a
ce
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
e
g
e
add isl_basic_se
t
_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
s
l
_
co
n
v
e
x_
h
ull
.
c: up
d
ate wrap_facet
to the
f
act we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
doolaege
isl_
c
onvex_hull
.
c: f
i
x typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
g
e
isl_c
o
alesce
.
c
:
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_ta
b
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoo
l
aege
add i
s
l_basi
c
_set_
g
et_
d
im
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdo
o
lae
g
e
isl_basic_map
_
gi
s
t: normalize divs (if any) in
c
onte
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
i
sl_basi
c
_map_simplify: remove duplic
a
te d
i
vs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
add isl_basi
c
_
se
t
_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
change callin
g
convention of isl_bas
i
c_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simpli
f
y
.
c
:
u
s
et_gist: b
r
eak early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
i
s
l_map
_
simplify
.
c
:
uset_gist:
b
r
e
a
k early
if intersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
e
rdoolaege
add
i
s
l
_
basic_set_fast
_
is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verd
o
ola
e
ge
up
d
ate
p
iplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
tab
.
c: stor
e
n
umber of equalities
a
mong
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_extend: pr
o
per
l
y extend matric
e
s with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl_map_gist: handle some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add isl_map_unive
r
s
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoo
l
ae
g
e
add isl_
b
asic_map
_
f
a
s
t_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
d
oolaege
isl
_
basic_
m
ap_gist: replace by ne
w
v
e
rsion ba
s
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_map_simpl
i
fy
.
c:
c
ompute_
e
liminatio
n
_in
d
ex: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
add isl
_
map_im
p
l
icit_equaliti
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add isl_basic_se
t
_
f
ree_equalit
y
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl_
m
ap_co
n
v
e
x_hull: m
a
rk result as
n
ot having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
conv
e
x_hull
:
coale
s
ce set
f
irst
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
a
dd
isl_set_co
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_input_omega
.
c: basic_m
a
p_
r
e
ad: accept
"
+" i
n
c
on
s
traints
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoo
l
aege
add isl
_
basi
c
_
s
et
_
a
l
loc
_
div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
eg
e
a
dd
i
s
l_set_align
_
divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
u
s
et_af
f
ine_hull: ignore directions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_
m
ap_implicit_equalities: perfor
m
Gau
s
sia
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
affine_hull
.
c
:
outside_po
i
nt:
c
hec
k
fo
r
o
b
v
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
priv
a
tely export isl_basic
_
se
t
_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_
c
t
x
: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_vec_dump: ha
n
dl
e
NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_affine_hull
.
c: extract use
t
_
a
ffine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_
m
at_transpose: ha
n
d
l
e non-rectangular
m
atr
i
ces
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Ve
r
doola
e
ge
is
l
_map_simpl
e
_hu
l
l: compute
a
ffine hull before ali
g
ning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl
_
map_simple_hull: mark
r
esult as no
t
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
a
d
d isl_set_bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_affine_hull: d
e
t
e
ct
e
q
u
alities
o
f integer affin
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
bas
i
c_map_du
p
: c
o
py flags of orig
i
nal to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_extend_dim:
move responsibility
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaeg
e
i
s
l_b
a
sic_m
a
p_extend_dim: only ex
t
e
nd constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_solve_lp:
u
se tableaus instead
o
f
calling p
i
p
l
ib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaeg
e
isl_s
o
lve_lp: accep
t
a
f
f
i
ne object
f
unction instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdool
a
ege
isl_map_si
m
ple_hull:
use hash ta
b
les and tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_convex_hull
.
c: extrac
t
out u
s
e
t
_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_conv
e
x_h
u
ll
.
c
:
e
xtend: avoid
w
rap
p
ing around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
i
sl_c
o
n
v
e
x
_
hull
.
c: in
t
r
od
u
ce p
r
oto_hu
l
l based
on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
lae
g
e
is
l
_convex_
h
ull
.
c: move initi
a
l hull
c
on
s
t
ructi
o
n into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl
_
conv
e
x_hull
.
c
: m
o
ve computation of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
d
ool
a
ege
is
l
_map_convex_hull: ch
e
c
k for
b
oundedness using
r
eces
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolae
g
e
i
sl_basic
_
m
a
p_convex_hu
l
l:
use t
a
bleau to det
e
ct redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c
:
don't
detect equalities wh
i
le setting u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
isl_mat_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
add isl
_
set_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
pri
v
ately exp
o
rt isl_ba
s
ic_{set,map}_nor
m
alize
_
constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
add
isl_bas
i
c_set_extend_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_m
a
p_eliminate_vars: c
l
ear div
s
first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
eg
e
isl_basic_map_eliminate_
v
a
rs: remov
e
all
de
p
endent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_
h
a
s
h_tab
l
e_alloc an
d
i
sl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl_has
h
_table_init: take minima
l
size inste
a
d of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
_
{basic_,
}
s
et_p
r
eima
g
e:
d
rop
c
tx
a
r
gument
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
l
aege
isl_basic_ma
p
_intersect: reus
e
s
a
mple valu
e
o
f either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
ad
d
i
s
l_int_g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l
_
constraint
_
div: perform
requ
i
re
d
reference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdool
a
ege
isl_b
a
sic_map: put inequalities befor
e
equal
i
t
ies
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
olaege
a
dd isl
_
seq_normali
z
e
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
isl_ctx
.
h: make FL_ISSET retur
n
a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
r
e
na
m
e F
_
an
d
F
L
_ mac
r
o
s
t
o
ISL_F_ an
d
I
S
L_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
add isl_mat_
s
wap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
rdoolaege
is
l
_ma
t
_dump: als
o
in
d
e
n
t NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add
isl_c
a
llo
c
_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_map_co
n
vex
_
hull: normalize m
a
p f
i
rst
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
isl_set_preimag
e
: cle
a
r ISL_SET_N
O
RMALIZED
f
l
ag
commit
|
commitdiff
|
tree
2009-02-23
Sven
V
erdoolaege
add is
l
_basic_ma
p
_detect_eq
u
alities
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
erdo
o
laege
export
isl_basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Ver
d
o
o
laege
a
dd isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
ola
e
ge
a
d
d
i
sl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
o
o
laege
add
i
sl_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_basic_map_add_constr
a
int
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
isl_m
a
p
_piplib
.
c: isl_map_from_quast
:
proper
l
y keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolae
g
e
cha
n
ge calling
c
onvention of isl_b
a
sic_
m
ap_{
e
qua
l
,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add isl
_
m
a
p_cop
y
_basic_map and isl_
m
a
p_drop_basic
_
map
commit
|
commitdiff
|
tree
next