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_tab_add_valid_eq: keep track of whether equality is negated
2009-05-19
Sven Verdoolaege
exp
o
r
t isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdool
a
ege
isl_m
a
p_convex_hu
l
l: handle unbounde
d
,
b
ut pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verd
o
olaege
p
rivately export isl_mat_uni
m
odular_
c
omplet
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdo
o
l
a
e
g
e
isl
_
t
ab
.
c:
a
dd isl
_
ta
b
_ge
t
_sam
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
isl_map_convex_hull: avoid introduci
n
g
l
i
n
e
ality space
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olae
g
e
add two more convex hull test
cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoolae
g
e
isl_map_conv
e
x_hull:
r
emove
l
ineal
i
ty s
p
a
ce
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdo
o
laege
a
d
d isl_basic_s
e
t
_
i
s_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaeg
e
add i
s
l_se
t
_ge
t
_d
i
m
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n Verdo
o
l
aeg
e
i
s
l_co
n
vex_
h
ull
.
c
:
updat
e
w
r
ap_f
a
cet to th
e
fac
t
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
erdoolaege
isl_conve
x
_hul
l
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_coalesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_t
a
b
.
c
: fix
t
y
p
o i
n
comment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
dd isl_basic_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoo
l
aeg
e
isl_
b
a
sic_map_gist: norm
a
l
i
z
e divs (if an
y
)
in
c
o
n
text
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_simpl
i
fy: remo
v
e d
u
plicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
a
d
d
isl_b
a
sic_
s
et_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
c
h
ang
e
calling convention of isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_
m
ap_simplify
.
c:
u
set_gist: br
e
ak early if ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n V
e
rdoolaege
isl_m
a
p
_simpl
i
f
y
.
c
:
u
s
et_gist: break early i
f
intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
add
i
sl_basic_set
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
u
pdat
e
piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ve
r
d
oolaege
isl_tab
.
c: store
n
umber of
e
quali
t
ie
s
a
mong th
e
const
r
aint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaeg
e
i
s
l_ma
t
_
e
xtend
:
pro
p
erly ex
t
en
d
matrices
wi
t
h reordere
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_map
_
gi
s
t: ha
n
dle s
o
me
s
pecial cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
eg
e
a
d
d
isl_map_uni
v
erse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basi
c
_
m
a
p
_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_bas
i
c_map_g
i
st: re
p
lace by new v
e
rsi
o
n
based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
eg
e
isl_map_simplify
.
c:
c
om
p
ute_
e
limina
t
ion_inde
x
:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
d
o
olaege
add isl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
add is
l
_
basi
c
_set_free_eq
u
ality
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
er
d
oo
l
aege
isl_map_convex_hull:
m
ark
r
esult as
no
t
havi
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
conv
e
x_h
u
l
l: coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doola
e
g
e
ad
d
isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
s
l_in
p
ut_omega
.
c
:
basic_map_
r
ead: accept "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_
b
asic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_al
i
gn_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
ol
a
ege
uset_affine_hu
l
l: ignore di
r
e
ctions
i
n affin
e
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolae
g
e
isl_b
a
sic
_
map_implicit_equalitie
s
:
pe
r
f
o
rm Ga
u
ssian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
i
s
l_affine_hull
.
c:
outside_point: ch
e
ck for obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
privat
e
ly
export isl_basic_set_contai
n
s
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_c
t
x: a
d
d negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_vec_d
u
mp: handl
e
N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
e
ge
isl
_
affin
e
_hull
.
c: extract uset_affine_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_tra
n
spose: hand
l
e
n
on-recta
n
g
u
l
ar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
sl_map_sim
p
l
e
_hul
l
:
c
ompute affine hull b
e
f
o
re al
i
gning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
isl_map_simpl
e
_hull: mark result
as
not having a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_se
t
_bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
laege
isl_map_
a
f
fine_hull: de
t
ect equalities
o
f
int
e
ger
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
basi
c
_
map_dup:
c
opy
f
lags
o
f
original
t
o
d
upli
c
ate
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
basic_
m
a
p
_
extend_dim: move r
e
sponsib
i
l
i
t
y of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_b
a
sic_map_e
x
te
n
d_dim
:
onl
y
extend con
s
traint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l_solve_lp: use ta
b
l
eaus instead of calling pipl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
is
l
_solve_
l
p:
a
ccept affine obje
c
t function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_m
a
p_simpl
e
_hull: use ha
s
h tab
l
e
s and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: extract out
uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
c
onvex_h
u
ll
.
c: exte
n
d
:
avoid wrap
p
i
ng
a
round already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
isl_co
n
vex_hull
.
c:
i
ntroduce proto_hul
l
based on
obvio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: m
o
ve initia
l
h
ull co
n
st
r
uction
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_
h
ull
.
c: move computa
t
ion of boun
d
s into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl
_
map_convex_hull: check for bounde
d
ness u
s
ing
r
e
c
essi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_basic_
m
ap_convex_hul
l
: u
s
e tabl
e
au
to detect redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_t
a
b
.
c: don't de
t
ect equalities
w
hile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
i
s
l_
m
at_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
s
l_
s
e
t_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
pri
v
atel
y
e
x
port isl_basi
c
_{set,map
}
_
n
or
m
ali
z
e_co
n
s
train
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
a
dd
isl_basic_set_extend_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
isl_basic_map_
e
liminate_va
r
s: clear divs
f
ir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
b
asic_ma
p
_eliminate_
v
a
rs
:
remove
a
ll dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
d
o
ola
e
ge
add isl_has
h
_t
a
ble_alloc and isl_hash_table_fre
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_hash_table_init: take minimal
s
i
ze instead
o
f
number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_{basic_,}set_prei
m
ag
e
: dro
p
ct
x
ar
g
um
e
nt
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl_ba
s
ic_map_i
n
tersect: reuse sa
m
ple value of
e
ither
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
i
sl_constraint
_
di
v
:
pe
r
fo
r
m
r
equir
e
d
re
f
e
r
e
nce
incre
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_
b
a
sic_map: put inequaliti
e
s before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
V
erdo
o
lae
g
e
add
isl_seq_normal
i
ze
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
o
l
ae
g
e
i
s
l_c
t
x
.
h: make FL_ISSET retur
n
a
boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
r
e
n
ame F_ an
d
F
L_ macro
s
to ISL_F_
a
nd ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
add isl_
m
at_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
S
v
en V
e
rdoolaege
isl_
m
at
_
dump: a
l
so inden
t
NULL mat
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
add isl_ca
l
loc_
t
ype
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
isl_map
_
convex_hull: no
r
malize
map
first
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
r
doolaege
isl_set_p
r
e
i
mage
:
clear ISL
_
SET_NORMAL
I
ZED flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven Ve
r
doolaege
a
d
d isl_basic_map_de
t
ec
t
_
e
qualities
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
o
ol
a
ege
ex
p
ort isl_basic_ma
p
_
is_equ
a
l
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
a
dd
isl_bas
i
c_map_r
e
move
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
a
dd isl_dim
_
range
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdo
o
laege
add
i
sl_map_produ
c
t
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoola
e
ge
add isl_b
a
sic_map
_
add_
c
onstraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_map_piplib
.
c: isl_m
a
p_from_quast: prop
e
rly kee
p
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
change c
a
lling
con
v
ention of isl_ba
s
ic
_
map_{equ
a
l,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
add isl_map_copy_basic_map and
i
s
l_ma
p
_dr
o
p_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
add
isl_map_f
r
om
_
range
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n V
e
r
doolaege
add
isl_m
a
p_
f
ast_is_em
p
ty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
change
calling c
o
nve
n
tion of
i
sl_map_emp
t
y and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
isl
_
map_intersect_
{
domain,range}: allow
i
ntersect
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doola
e
ge
isl_map_in
t
er
s
ect: a
l
low inter
s
ection with p
u
re paramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
o
ola
e
ge
isl_basic_map
_
affine_hull: fix
s
earch for
i
nte
g
er points
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdo
o
lae
g
e
isl_basic_map
_
overlyi
n
g_set: don't add d
i
v constraints
.
.
.
commit
|
commitdiff
|
tree
next