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: explicitly keep track of any equalities found
2009-06-07
Sv
e
n
V
erdoolae
g
e
isl_map
_
coale
s
c
e: remove e
x
t
r
a divs introduc
e
d by i
s
l_map_a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n
Verdoolaege
add isl_map_coa
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
add isl_set_p
r
oduct
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolae
g
e
export
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoo
l
a
e
ge
isl_m
a
p_c
o
nvex_hul
l
:
h
andle unbounded
,
but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
p
rivately export isl_mat_unimodular_c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_tab
.
c: add
i
sl_
t
ab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdo
o
laeg
e
isl
_
map_convex_
h
ull: avoid introducing lineality spa
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Ver
d
oo
l
aege
add two more conve
x
hull test c
a
ses
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdo
o
laege
isl
_
m
a
p_
c
onvex_hull: remove lineali
t
y spa
c
e if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
g
e
add
isl_
b
asic_set_is_univers
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add isl_se
t
_get_
d
im
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
Verdo
o
la
e
ge
isl_
c
on
v
ex_
h
ull
.
c: up
d
at
e
wrap_fa
c
et to the fa
c
t
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdool
a
e
g
e
i
s
l_convex_hull
.
c
: fi
x
typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_c
o
al
e
sce
.
c: fix
t
ypo in
c
omm
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_tab
.
c: fix typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
ad
d
isl_
b
asic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doo
l
aege
isl_basic_map_gist: no
r
mal
i
ze div
s
(if an
y
) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
basic_map_s
i
mplify: re
m
o
v
e duplicate divs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add i
s
l_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
change calli
n
g convention of
isl_basic_map_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_map
_
simp
l
ify
.
c: uset
_
gist: break ea
r
ly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_sim
p
lify
.
c:
uset_gist: break
e
a
r
ly if intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoolaege
add isl_basic_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
isl_ta
b
.
c: store number of
e
qualities amon
g
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
i
s
l_
m
a
t
_extend: properly extend matrices with reorder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl_m
a
p_gist: handle
s
ome special c
a
ses
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdo
o
laege
add is
l
_ma
p
_
univer
s
e
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
add
isl_ba
s
ic_m
a
p_fas
t
_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
dool
a
ege
i
s
l_b
a
s
ic_map_gist:
r
epl
a
ce by
ne
w
version base
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoola
e
ge
isl_map_simplify
.
c: comp
u
te_elimi
n
a
t
io
n
_i
n
dex: do
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
ad
d
is
l
_map_i
m
plici
t
_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_basic_
s
et_free_e
q
u
ality
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
isl_map_convex_hull: mark result
as not
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
con
v
ex_hull: coal
e
sce set
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
add
isl_se
t
_coa
l
esce
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l_input_om
e
ga
.
c: basic_map_read: accept
"+" in constr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
rdoola
e
ge
ad
d
isl_basic_set
_
a
l
lo
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
add i
s
l_set_alig
n
_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
ool
a
e
g
e
uset
_
affine_hul
l
: ignore
d
i
rections in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
s
l_basic_map_
i
mplici
t
_equ
a
lities: perform Ga
u
s
sian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
isl_affine
_
hull
.
c: outside_point
:
check fo
r
obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
laege
pr
i
vately export isl_ba
s
i
c_set_conta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
aege
isl_ctx: ad
d
nego
n
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_vec_dump:
h
an
d
l
e
N
ULL ve
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: extrac
t
uset_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdo
o
laege
isl_mat_transpose: hand
l
e non-re
c
tangular m
a
trices
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
ola
e
ge
isl_map_simple_h
u
ll: compute affine h
u
ll
b
efore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
ge
isl_map_simp
l
e_hull
:
mar
k
resul
t
a
s not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_bo
u
nded_sim
p
le_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoo
l
aege
i
sl_map_
a
ff
i
ne_hull: detect equalitie
s
of i
n
teger
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl_basic_ma
p
_dup: copy flags of
original
to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_basic_map_e
x
tend_dim: move responsibi
l
i
ty
of
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
aege
isl_b
a
sic_map_extend_
d
i
m
: o
n
ly extend cons
t
raint m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_sol
v
e_lp: use tableaus inst
e
ad of c
a
lling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdool
a
e
ge
i
s
l_solve_lp: accept affine o
b
j
e
ct function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoola
e
ge
isl_map_s
i
mple_hull: use h
a
sh t
a
ble
s
and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
i
s
l_c
o
nvex_hull
.
c: extract out us
e
t_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_co
n
vex
_
hull
.
c: exten
d
: avoid wrap
p
ing around alr
e
a
d
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conve
x
_hull
.
c: in
t
ro
d
uce
proto_
h
ull ba
s
ed on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_c
o
nvex_hull
.
c
:
move initial
hull con
s
truction i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
i
sl_convex_hull
.
c: move
c
omputatio
n
of
b
o
unds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
isl_map_co
n
vex_hull: check for boundedness us
i
ng recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erdoolaege
isl_basic_map_convex_hull:
u
se tableau
t
o detec
t
re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
do
o
lae
g
e
isl_tab
.
c:
d
on't d
e
tect equa
l
ities while se
t
t
ing up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
add isl
_
se
t
_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaege
privately
export isl_basic
_
{s
e
t
,
m
a
p
}
_normalize_cons
t
r
aints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
ad
d
isl_b
a
si
c
_s
e
t_ex
t
e
n
d_dim
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl_bas
i
c_map_eliminate_vars: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_b
a
sic_map_elim
i
nate_var
s
: remove all dep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add
i
sl_
h
ash_t
a
b
le_alloc and isl_hash_table
_
free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
eg
e
isl_ha
s
h_table_init: take
m
i
n
i
mal size i
n
s
t
ead of nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
ola
e
ge
isl_{b
a
sic_,}set_prei
m
age: d
r
op ctx
a
r
gum
e
nt
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
g
e
isl_basi
c
_map_interse
c
t: r
e
u
s
e sa
m
p
l
e val
u
e of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
d
o
olaege
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_constraint_div: perform r
e
quired refere
n
ce
i
n
c
re
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Ver
d
oolaege
isl_ba
s
ic_
m
a
p
:
p
ut
i
neq
u
alities before
equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
o
o
la
e
g
e
add isl_seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
isl_ctx
.
h:
m
ake FL
_
ISSET return a
boole
a
n value
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoo
l
a
ege
rename
F_ and FL_ macros to ISL_F_ an
d
ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Ver
d
o
olaege
add isl_mat_swap
_
cols
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
is
l
_mat_dump
:
a
ls
o
i
n
de
n
t N
U
LL mat
commit
|
commitdiff
|
tree
2009-03-08
S
v
en V
e
rdoolae
g
e
add isl_calloc_t
y
p
e
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
i
s
l
_
map_convex
_
hull:
nor
m
a
li
z
e map
first
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaege
isl_set_preimage:
c
lea
r
ISL
_
SET_NORMALIZ
E
D flag
commit
|
commitdiff
|
tree
2009-02-23
Sven
Verdoo
l
aege
a
d
d isl
_
basic_m
a
p_detec
t
_eq
u
alities
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoola
e
ge
ex
p
ort isl_basic_map_is_equa
l
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
a
dd isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
add i
s
l_
d
im
_
range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
a
ege
add i
s
l_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl
_
basic_m
a
p_a
d
d_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoo
l
aeg
e
isl_map_pi
p
lib
.
c: isl_map
_
from_qua
s
t
: properly
k
eep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoola
e
ge
c
hange calling conven
t
i
o
n
of isl
_
bas
i
c_
m
ap_{equal,less
_
at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
ad
d
isl_map_copy_basic_map and isl_map_drop_basic
_
ma
p
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaeg
e
add isl_map_from_r
a
n
g
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
eg
e
add isl_map_
f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ver
d
oolaege
change cal
l
i
n
g conventi
o
n of
is
l
_map
_
empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoola
e
ge
i
sl_map_in
t
ersec
t
_{doma
i
n
,rang
e
}: allow intersectio
n
.
.
.
commit
|
commitdiff
|
tree
next