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_equalities.c: drop redundant error handling
2009-03-23
S
v
en Ver
d
oolaege
isl_mat_
e
xtend
:
properly exte
n
d m
a
tri
c
es with
reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_gist:
h
andle some
s
p
ecial cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
la
e
g
e
add
i
sl_map_univer
s
e
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
add isl_basic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_basic_map_gist: replace
b
y new version b
a
sed on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
is
l
_map_simplify
.
c
: compute_eliminati
o
n_in
d
ex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
add
i
sl_map_im
p
l
ic
i
t_equaliti
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
doolaege
add i
s
l_
b
asic_set
_
f
ree_equ
a
l
ity
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdool
a
eg
e
isl_
m
ap_convex_hul
l
:
mark result a
s
not having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
co
n
vex_hul
l
: coalesce
set
fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
ad
d
is
l
_
set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_input_
o
mega
.
c
: basic_
m
ap_read: ac
c
e
p
t
"
+" in constr
a
int
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolae
g
e
add isl_basic
_
set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add
isl_set_a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
uset_affine_hull:
i
gnore direct
i
o
n
s
in affine hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
is
l
_basic_ma
p
_impli
c
i
t
_
e
qualities: pe
r
form Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_a
f
fin
e
_
hull
.
c
: ou
t
side_po
i
nt: c
h
eck for ob
v
i
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately expo
r
t
i
sl_basic_se
t
_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
la
e
ge
is
l
_ctx: add
negone
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
is
l
_vec_dump:
ha
n
dle NUL
L
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_a
f
fine_hull
.
c: extract uset
_
aff
i
n
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
o
o
laege
is
l
_mat_transpose: hand
l
e non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_map_sim
p
le
_
hull: co
m
pu
t
e affine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_simple_h
u
ll: mark
r
esu
l
t
as
not
h
avi
n
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
eg
e
add is
l
_se
t
_bounded_
s
imple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
ola
e
ge
isl_map_
a
ffine
_
hull: detect equa
l
ities of integ
e
r
a
ffi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
isl_b
a
sic_map_dup: co
p
y fla
g
s of origina
l
t
o
dup
l
icate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
i
sl
_
basic_map_e
x
tend_dim: move res
p
onsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_b
a
s
ic_map_
e
x
t
end_dim: only extend constraint mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
sol
v
e
_lp: use tab
l
e
a
us instead of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_solve_lp: accept aff
i
ne obje
c
t f
u
nction inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl_map_simpl
e
_hull:
u
se hash table
s
a
n
d t
a
bleaus
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaege
is
l
_c
o
nvex_h
u
ll
.
c: extr
a
ct
o
ut us
e
t_simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_
convex_hu
l
l
.
c: e
x
ten
d
: avoid
wrapping around
a
lr
e
ady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
isl_co
n
vex_hu
l
l
.
c:
i
ntroduce prot
o
_
h
ull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
isl_con
v
ex_hull
.
c
:
m
ove initia
l
hull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_conve
x
_hull
.
c:
m
ove com
p
ut
a
ti
o
n
o
f bounds
i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
s
l_ma
p
_c
o
nvex_hull: c
h
eck for boundedn
e
ss usin
g
recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_basic
_
map_c
o
nvex_hull: us
e
t
a
bleau
to
d
etect redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_aff
i
n
e
_hull
.
c: use
tableau to dete
c
t implicit equalit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaege
isl_
t
ab
.
c: don't d
e
te
c
t
eq
u
alit
i
es
w
hi
l
e setting
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
ad
d
internal
r
epres
e
ntatio
n
of LP
t
able
a
us
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
a
d
d
isl_m
a
t_exten
d
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
privately export isl_basic_{set,map}_norm
a
lize_
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_basic_
s
et
_
e
x
tend_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaege
isl_ba
s
i
c_map_e
l
i
mi
n
at
e
_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
dool
a
ege
isl_ba
s
i
c
_map_eli
m
i
n
ate_vars
:
remove
a
ll depen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoo
l
aege
add is
l
_h
a
sh_table_alloc and isl_hash_t
a
b
l
e_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_h
a
s
h_table_init: take minimal si
z
e inst
e
a
d of
n
um
b
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
isl
_
{b
a
sic_,}set_preimage:
d
r
o
p ct
x
argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_basic_map_intersec
t
:
r
e
u
se
s
ampl
e
value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_b
a
s
ic_set
_
has_def
i
ning_inequaliti
e
s
:
f
i
x
typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_c
o
nst
r
aint_d
i
v
:
perform requ
i
red
reference increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_basic_ma
p
: put inequalities before equalitie
s
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
add isl_seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_
c
tx
.
h: ma
k
e FL_ISSET return a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
r
e
name F_
an
d
F
L_ macr
o
s to
I
SL_F
_
and ISL_
F
L_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdo
o
laege
add i
s
l_mat_
s
wap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
isl_mat_d
u
mp: also i
n
dent
N
U
LL
m
at
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verd
o
olaege
add isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_map
_
convex_hull: norma
l
ize
map first
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
isl_set_p
r
eimag
e
: cl
e
ar ISL_
S
ET_
N
ORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sv
e
n Verdo
o
la
e
ge
add isl_basic_map_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoo
l
aege
add isl_map_
r
emove
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
d
o
o
l
aege
export i
s
l_basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add isl
_
basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
ad
d
isl_dim_
r
ange
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add i
s
l_m
a
p_produc
t
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
er
d
oolaege
add isl_ba
s
ic_m
a
p_
a
dd_cons
t
raint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
isl
_
map_piplib
.
c: isl_map_from_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaeg
e
c
h
a
n
ge calling co
n
v
e
ntion o
f
isl_basic_map_{equal,less_a
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl
_
map_copy_basic_map and isl_map_
d
ro
p
_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
e
rdool
a
e
g
e
a
dd isl_map_f
r
om_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change calling con
v
ention of i
s
l_map_e
m
p
t
y and ad
d
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
la
e
ge
isl_map_in
t
ers
e
ct_{domain,ran
g
e}
:
allow intersection
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolae
g
e
i
s
l_map_inter
s
ect: allow intersection with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
doolaege
isl_
b
asic
_
map_affine_hull: f
i
x
searc
h
for intege
r
poi
n
ts
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoo
l
aege
isl_basic_map
_
ov
e
rlying_se
t
: don't add d
i
v
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
lae
g
e
i
s
l_d
i
m
.
c: update n_name (o
n
ly) when ch
a
n
g
ing name
s
commit
|
commitdiff
|
tree
2009-02-15
S
ven Verdool
a
ege
fix s
e
r
ious error
in isl_m
a
t
_parameter_c
o
m
p
res
s
ion
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdo
o
laege
export isl_basic
_
map_inters
e
ct_range
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoolae
g
e
add
i
s
l
_basic_map_
f
loordiv
commit
|
commitdiff
|
tree
2009-02-11
S
ven
V
erdool
a
ege
a
dd isl_basic_
m
a
p_fa
s
t_is_fix
e
d
commit
|
commitdiff
|
tree
2009-02-11
S
v
e
n Verdoolaege
add
i
sl_basic
_
map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sven Ver
d
oolaege
add i
s
l_basic_m
a
p_sum
commit
|
commitdiff
|
tree
2009-02-10
Sven Verdool
a
ege
add isl_map_fix_
s
i, a generaliz
a
tio
n
of
isl_bas
i
c_m
a
p_fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoo
l
aege
isl
_
map_simp
l
i
fy
.
c: re
m
ove_d
u
pli
c
ate_divs: re
m
ove d
i
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoolaege
isl_basi
c
_map_gauss: b
e
caref
u
l not to introduc
e
circ
u
lar
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
en V
e
rdool
a
ege
a
dd fun
c
tions f
o
r set
t
ing i
s
l_divs
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Ve
r
doolaege
isl_map_from_quas
t
:
d
o
n't thr
o
w
a
way any bottom l
e
aves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolae
g
e
isl_map_simplify
.
c:
n
or
m
alize_divs: fix use
of varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
aege
isl_mat_variabl
e
_
compression: fix use a
f
ter free
commit
|
commitdiff
|
tree
2009-02-03
Sv
e
n V
e
r
doo
l
aege
isl_map_simplify
.
c: normalize_div
s
: ensure enough e
x
istentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sve
n
V
e
rdoolaege
isl_hash_ta
b
le_
r
emove: update number of entries
commit
|
commitdiff
|
tree
2009-01-22
Sven Verdoolaege
isl_map_
s
imple
_
hu
l
l
: plug memor
y
leak
commit
|
commitdiff
|
tree
2009-01-09
Sven Verd
o
olaege
add st
d
::ostream &operato
r
<
<
(std::ostream &os, isl
_
i
nt
.
.
.
commit
|
commitdiff
|
tree
next