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
uset_affine_hull: ignore directions in affine hull of recession cone
2009-03-20
Sv
e
n Verdoola
e
ge
u
s
et_
a
ffi
n
e_hull: ignore
d
irections
i
n af
f
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ve
r
doolaeg
e
isl_
b
asic_map_implicit_equalit
i
es: perform
G
a
ussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_affin
e
_hull
.
c
:
outside
_
poi
n
t: che
c
k for obviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
pr
i
vatel
y
expor
t
isl_basi
c
_set_con
t
ain
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
s
l_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_v
e
c_
d
ump: handle N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_affine_hull
.
c: extract
u
set_af
f
ine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verd
o
olaege
isl_mat_t
r
anspo
s
e: handle non-rectan
g
ular
m
atr
i
ces
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_simple_hull: comp
u
te affi
n
e
hull befo
r
e alig
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
map_si
m
ple_hull: mark result as not h
a
ving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
add
i
sl
_
set_
b
ounded_simp
l
e_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p_a
f
fi
n
e_hull: detect equalities of
int
e
ger affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
la
e
ge
i
s
l_basic_ma
p
_dup:
c
opy flags of
origin
a
l to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_ma
p
_extend_dim: mo
v
e responsibilit
y
of c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_basic_map_ex
t
end_d
i
m: o
n
ly exte
n
d constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
sl_solve_lp: use tabl
e
aus instead of calli
n
g pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aege
isl_solve_lp: accept affine object fu
n
ction
instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ma
p
_si
m
p
le_hull: use hash tab
l
es
and tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_convex_hull
.
c:
e
xtract
out uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doola
e
ge
i
s
l_con
v
e
x_hull
.
c: ex
t
e
n
d: avoid
w
rapp
i
n
g
around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
sl_con
v
ex_hull
.
c: introduce p
r
oto
_
hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_conve
x
_
h
ull
.
c: mov
e
init
i
al hull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
isl_convex_hull
.
c: move comp
u
tati
o
n of
b
ounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
a
ege
isl
_
map_conv
e
x_hull: check for bounded
n
ess using recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_basic_map_c
o
nvex_hull: use table
a
u t
o
detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
o
olaege
i
s
l
_
tab
.
c: don
'
t de
t
ect equa
l
ities while s
e
tting u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_mat_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
add
i
s
l
_set_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
privately export
i
sl_basic_{set,map}_norm
a
lize
_
c
o
n
straints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
add isl_basic_set_ext
e
nd_di
m
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoola
e
ge
isl_basic_map_elim
i
n
a
te_vars:
c
lea
r
d
iv
s
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_basic
_
map_elimin
a
te_vars: re
m
ov
e
all
dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
add isl_has
h
_
table_a
l
lo
c
and isl_h
a
sh_tabl
e
_free
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aege
isl_hash
_
ta
b
le_ini
t
:
take minimal
si
z
e in
s
tead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
i
s
l_{basic_,}set_preimage: drop ctx a
r
gument
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oo
l
a
e
ge
i
s
l_basic_
m
ap_intersect: r
e
use sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add
isl_int_g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
isl
_
constrain
t
_div
:
perform required ref
e
rence increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaeg
e
isl
_
basic_map: put ine
q
ualities before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add is
l
_se
q
_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl
_
ctx
.
h: make FL_ISSET re
t
urn a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
ren
a
me
F_ and FL_ macros to ISL
_
F_ an
d
I
S
L_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaeg
e
add
isl_mat_swap_c
o
ls
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
is
l
_mat_dump: also indent
NULL
m
at
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
o
o
l
a
e
ge
add isl_c
a
lloc_ty
p
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
i
sl_m
a
p_c
o
nvex_hull: normalize
m
a
p first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolae
g
e
isl_set_preim
a
ge: clear ISL_
S
ET_NORMAL
I
ZED flag
commit
|
commitdiff
|
tree
2009-02-23
S
ven Verdoola
e
ge
add isl_basic_map_d
e
tect_equ
a
lities
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoola
e
ge
expor
t
isl_b
a
s
i
c_map
_
is_equa
l
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
add i
s
l_d
i
m_ran
g
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl_map_product
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add isl_
b
asic_map_add_c
o
n
str
a
int
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
Verdoolaege
isl_map_pi
p
lib
.
c: i
s
l_map_fro
m
_quast
:
properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
ch
a
n
ge callin
g
co
n
vention of isl_bas
i
c_
m
ap_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
Verd
o
olaege
add
i
sl_map_c
o
py_basic
_
map and isl_map_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
a
d
d isl_ma
p
_f
r
o
m
_rang
e
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verd
o
olaege
add isl
_
m
a
p
_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
change calling
convention of isl_map_empt
y
a
n
d
a
dd
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
o
olaege
isl_m
a
p_i
n
t
ersect_{domain,ran
g
e}
:
allow intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
is
l
_
m
a
p_
i
nt
e
rsect: allow
intersecti
o
n with
p
ure parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doola
e
ge
i
s
l_ba
s
ic_ma
p
_affine_hul
l
:
fix search for integer p
o
ints
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_basic_map_
o
ver
l
ying
_
set:
don't add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
i
s
l
_dim
.
c: u
p
d
ate n_n
a
m
e
(only) when changing na
m
es
commit
|
commitdiff
|
tree
2009-02-15
Sven
Verdool
a
ege
fix serious e
r
ror in isl_m
a
t_p
a
rame
t
er_compression
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n Verdoo
l
aege
export
i
sl_basic_map_
i
n
ters
e
ct_range
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaege
add isl_basic_map_floordi
v
commit
|
commitdiff
|
tree
2009-02-11
S
v
e
n
V
erdoolaege
add isl_basic_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n Verdoolae
g
e
add isl_basic_ma
p
_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Ver
d
ool
a
ege
add isl_basic_map_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdoo
l
aeg
e
add isl_ma
p
_fix
_
si, a generalization of isl_basic_map_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ver
d
oolaege
isl_map_simplify
.
c: remove_duplica
t
e_
d
ivs: remove d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaege
isl_bas
i
c_map_gauss: be
c
areful n
o
t to introduce circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erd
o
o
l
aege
a
d
d functions for setting isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Ve
r
doolaege
i
sl_map_from_
q
uast: d
o
n'
t
throw
a
way any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_
m
ap_simplify
.
c
:
normal
i
ze_divs: fix us
e
of v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdo
o
l
aege
isl_mat_va
r
iable_compression: fix use after
fre
e
commit
|
commitdiff
|
tree
2009-02-03
Sven Verdoolaege
isl_m
a
p_sim
p
l
ify
.
c: normalize_divs: ensure enough e
x
istentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven V
e
rd
o
o
l
aege
isl_
h
ash_table_remove: upda
t
e num
b
er of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoola
e
g
e
isl
_
m
a
p_simple_h
u
ll
:
plu
g
m
e
m
ory leak
commit
|
commitdiff
|
tree
2009-01-09
S
v
e
n Verd
o
ola
e
ge
add
s
td:
:
ostrea
m
&op
e
rator<<(std::ostream &os, isl
_
int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sv
e
n Verdool
a
ege
norm
a
lize
d
iv
s
invo
l
ved i
n
eq
u
alities
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdool
a
ege
i
sl_
m
ap_underl
y
i
n
g_set: drop n
a
mes from dimesion
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoolaege
ad
d
i
s
l_mat_parameter_compression
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verdoolaege
isl_equ
a
l
ities
.
c: extract and export
i
s
l
_
m
a
t
_
va
r
iab
l
e_compr
e
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
S
v
e
n Verdoolaege
add isl_b
a
s
i
c_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven V
e
rdool
a
e
ge
add isl
_
m
a
t_right_kernel
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
Verd
o
olaeg
e
add
i
sl_mat_c
o
l_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
isl_map_simp
l
ify
.
c:
e
xtract out simp
l
ify an
d
rel
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoolaege
i
sl_constr
a
in
t
: a
d
d lim
i
ted support f
o
r addi
n
g
divs
commit
|
commitdiff
|
tree
2009-01-06
S
ven Verd
o
olaege
change calling conventions
o
f
i
sl_basic_set_has
_
d
efining
_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven V
e
rdoolaege
add
i
s
l
_basic_{set,ma
p
}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Ve
r
d
oolaege
isl_basi
c
_map_
g
ist: also
explo
i
t equalities
i
n
giste
d
se
t
commit
|
commitdiff
|
tree
2008-12-28
Sve
n
Ve
r
doolaege
isl_basic_map_overlyi
n
g_set: si
m
plify re
s
ulting basic map
commit
|
commitdiff
|
tree
2008-12-23
Sve
n
Verdoolaege
add is
l
_div ab
s
t
raction, sim
i
l
a
r to isl_constraint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
isl
_
basi
c
_
set_compare_at: combine constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
ven V
e
rdoolaege
isl_
m
ap_u
n
derlyin
g
_set:
align divs before calling
t
his
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdool
a
ege
is
l
_
ba
s
ic_ma
p
_ove
r
lying_set: properly handle divs
in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven
V
erdoolaege
i
s
l_basic_ma
p
_align
_
d
i
v
s
: d
o
n't ma
k
e a
s
su
m
ptions on
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdoolaege
av
o
id increas
i
n
g
"extra" without also extending the
.
.
.
commit
|
commitdiff
|
tree
next