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_map_compute_divs: drop obviously redundant divs first
2009-06-11
S
v
en Verdoolaege
isl_map_comp
u
te_divs: dro
p
obviously redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_ma
p
_pip
l
ib
.
c:
e
xtremum_on: detect equalities f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdool
a
ege
isl_pip
_
basic_map_compute_divs
:
remove some
e
q
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
o
o
laege
isl
_
pip_basic_map_comp
u
t
e
_
d
i
vs: sep
a
rat
e
o
ut dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verd
o
o
l
aege
isl_basic_s
e
t_preimage
:
handle divs in in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_input_om
e
ga
.
c: make variable_{free,
n
ew} static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
i
sl_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
isl
_
basic
_
m
a
p_sim
p
lify: de
t
ec
t
div
c
onstr
a
int
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoola
e
ge
isl_ba
s
ic_map_dro
p
: properly h
a
ndle dimensions of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
ad
d
is
l
_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verd
o
olaege
a
d
d isl_seq_
f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_basic_map_det
e
ct_equal
i
tie
s
: properly hand
l
e em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_ba
s
ic_
m
a
p
_is_empt
y
: exp
l
icitly m
a
rk basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c: order_divs
:
swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
i
s
l_map_coalesc
e
: remove extra
d
ivs intr
o
duced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
olaege
a
d
d
i
sl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verd
o
olaege
add isl_set_produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl_ma
p
_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
isl
_
map_conve
x
_hull: handle unboun
d
ed, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
p
ri
v
a
t
ely exp
o
rt
isl_
m
at_unim
o
d
u
l
a
r_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c:
add isl_tab_get_sampl
e
_v
a
lu
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl_
m
ap_conve
x
_hull: avoid
i
n
t
r
o
d
ucing l
i
n
e
ality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
add
two
m
ore convex
h
ull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_map_convex
_
hull: remove lineality
space if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
Verdoola
e
g
e
a
d
d isl_basic_set_is_univ
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
i
sl
_
s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
i
s
l_co
n
v
ex_hull
.
c:
u
pdate wrap_facet to
t
he fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_convex_hull
.
c:
f
i
x
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
S
ven Ve
r
d
oolaege
i
sl_coalesce
.
c: fix typ
o
in
comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoola
e
ge
isl_tab
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
add isl_basic_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_
b
as
i
c_map_
g
ist:
n
or
m
alize div
s
(if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oo
l
aege
i
sl_basic
_
map_simplify
:
remove duplicate
divs
b
efor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
doola
e
ge
add isl_ba
s
ic_
s
et_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
chang
e
c
allin
g
convention of isl_basi
c
_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
i
s
l_map_si
m
plify
.
c: uset_
g
ist: b
r
eak early i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_sim
p
lify
.
c: uset_gist:
br
e
ak early if
i
ntersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add i
s
l_basic_
s
et_fast_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaeg
e
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_
t
ab
.
c: store
n
u
m
b
e
r of
equali
t
ies amo
n
g the cons
t
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_mat_extend:
p
roperly extend matr
i
c
e
s
w
ith reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdo
o
la
e
ge
isl_map_
g
ist: handle some special ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d i
s
l_map_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_basic_m
a
p_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
bas
i
c_map_g
i
s
t
:
r
eplace by new version bas
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
i
s
l_map_simpl
i
fy
.
c: compute_e
l
i
m
ination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
a
d
d
isl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
oolaege
add isl_basic_
s
et
_
free_equali
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl
_
map_conve
x
_hull
:
ma
r
k result as no
t
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oola
e
ge
con
v
ex_hull
:
coalesce set
fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
add isl_set_coale
s
c
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
ol
a
ege
isl_
i
nput_
o
mega
.
c
: bas
i
c_
m
a
p
_rea
d
:
a
cce
p
t
"+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
a
dd i
s
l_basic_set_al
l
o
c
_
div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
s
l_set
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoola
e
ge
uset
_
affine_hull: ign
o
re directions
in affine hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_basic_map_im
p
licit
_
equalities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
i
s
l_affine_hull
.
c: ou
t
s
i
de_p
o
int:
c
h
eck for
o
b
v
iou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
privately exp
o
r
t isl_b
a
si
c
_set_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
d
o
o
l
aege
isl_ctx:
add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
sl_vec_dump: han
d
le NULL
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoola
e
g
e
isl_affine_hull
.
c: ext
r
act
u
set
_
a
f
fine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl
_
mat_transpos
e
: handle non-rectangular
m
atrices
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl
_
map_simple_hull: compute affine hull before alig
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_sim
p
le_hull:
m
ark result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_bounded_simple
_
hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
sl_ma
p
_
affine
_
hull: detect equ
a
l
ities
o
f
inte
g
er aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_bas
i
c
_map
_
dup: c
o
py fla
g
s of original to dupl
i
cate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_m
a
p
_ex
t
end
_
dim: move
r
esponsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaeg
e
isl_basic_map_extend_dim: only
e
xtend con
s
t
raint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
isl_solve_lp: us
e
tableaus inst
e
ad of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
isl_solve_lp: ac
c
ept affin
e
object func
t
i
o
n instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
isl_map_simple_hull: use hash tabl
e
s and ta
b
leaus
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_convex_h
u
ll
.
c
: extract out uset_simple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaege
isl_convex_hull
.
c: extend: avoid wrapping around
already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
is
l
_
conv
e
x_hull
.
c
: introduce proto_h
u
ll
b
ased on obviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl_con
v
e
x_hul
l
.
c
:
move initial
hul
l
c
o
n
struction int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_
c
onve
x
_
h
ull
.
c:
mov
e
co
m
putation
o
f bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_convex_hull:
check for boun
d
edness usi
n
g recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_basic_map_c
o
nvex_hull: use
tableau to detect red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdool
a
ege
isl_tab
.
c: don't detect equa
l
itie
s
while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_m
a
t_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolae
g
e
a
d
d i
s
l_set_
d
i
m
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
privatel
y
e
x
port isl_basic_{set,map}_normal
i
ze
_
c
on
s
train
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_ba
s
ic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
is
l
_basic_map_elimi
n
ate_var
s
: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
isl_basic_map
_
elim
i
nate_vars: remove
all d
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_hash_table
_
alloc and i
s
l_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_ha
s
h
_
table_init:
t
a
ke minimal size instea
d
of
number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verd
o
olaege
isl_{
b
asic_,}set_preimage
:
drop
ctx argume
n
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_
m
ap
_
intersect: reuse s
a
mple value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
isl_constrai
n
t_div: perform
r
equired
reference incr
e
ase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_basic_map: put in
e
q
ual
i
ties bef
o
re equalitie
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
add isl
_
seq_normal
i
z
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_ctx
.
h: ma
k
e FL_ISSET return a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
rename F_ an
d
FL_ m
a
cros to ISL_F
_
and IS
L
_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
l
a
ege
add isl_mat_swap_col
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
isl_mat_du
m
p: also ind
e
n
t NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_ca
l
lo
c
_type
commit
|
commitdiff
|
tree
next