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: properly handle empty basic sets
2009-06-07
Sven Ve
r
doolaege
isl_basic_
m
ap_d
e
te
c
t_equali
t
ies: pr
o
perly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
e
rd
o
olae
g
e
isl_basic_map_is_empty: explicitly
m
ark b
a
sic se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdool
a
ege
isl_map
.
c: order
_
divs: swap with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
i
s
l_map_c
o
a
lesce: remo
v
e extra
d
ivs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoolaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
olaege
add is
l
_se
t
_product
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
e
x
p
o
rt i
s
l_map
_
di
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl
_
m
a
p_co
n
ve
x
_hu
l
l: handle unbound
e
d, b
u
t p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolae
g
e
p
r
ivately export isl_mat_unimo
d
ul
a
r
_complete
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
V
e
rdoola
e
g
e
i
s
l_tab
.
c: add
i
s
l_tab_get_samp
l
e_value
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoola
e
ge
i
sl_map_
c
onvex_hull: avoid introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
add two more convex hul
l
test case
s
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
er
d
oolaege
isl
_
map_convex_hull
:
remo
v
e linea
l
ity
space if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
add isl_b
a
si
c
_set_is_
u
ni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
add isl_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoo
l
aege
isl_
c
on
v
ex_hull
.
c: update
w
rap_f
a
cet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaeg
e
isl_co
n
vex
_
h
ull
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verd
o
olaege
isl
_
coalesce
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_ta
b
.
c:
fix typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoola
e
ge
configu
r
e
.
in: set A
C
_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoola
e
ge
add isl_basi
c
_set_get_
d
im
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
isl_basic_m
a
p_gi
s
t: n
o
rma
l
ize d
i
vs (if an
y
)
in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
g
e
isl_basi
c
_map
_
simpl
i
fy: remove dupli
c
ate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
ad
d
i
s
l
_ba
s
ic_se
t
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
er
d
oolae
g
e
c
h
ange calling conventio
n
of
i
s
l_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
isl
_
ma
p
_simplify
.
c
:
uset_g
i
st: break ear
l
y if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_m
a
p_
s
impli
f
y
.
c: uset_g
i
st: break early if
i
nters
e
ction
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
lae
g
e
add
isl_bas
i
c_set_
f
a
s
t_is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
update p
i
p
l
ib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdo
o
laeg
e
is
l
_tab
.
c: store n
u
mber
o
f equalities
a
mon
g
the constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_m
a
t_e
x
tend: properly extend
m
atri
c
es with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_map_
g
ist: handle some special ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
a
d
d
isl
_
map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add
i
s
l_
b
asic_map_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
doolaege
isl_ba
s
ic_map_gist: replace by new version based o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ma
p
_s
i
m
plif
y
.
c: compute_eliminati
o
n_inde
x
: do
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_map_
i
mplicit_equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olae
g
e
add is
l
_basic_
s
et_
f
re
e
_e
q
uali
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_m
a
p
_c
o
nvex_hull:
m
ark
r
esult as
n
ot having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
c
o
nvex_hull
:
c
oales
c
e set firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doo
l
aege
a
d
d isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_inp
u
t_omeg
a
.
c: ba
s
ic_map_read
:
accept "+" in
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdo
o
laege
ad
d
i
sl_b
a
sic_se
t
_alloc_
d
iv
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
add isl_set_alig
n
_divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
uset_affine_hull
:
igno
r
e di
r
ection
s
i
n
affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
isl
_
basic_
m
ap_
i
mpl
i
cit_equ
a
litie
s
: perform
Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ve
r
doolaege
i
s
l_aff
i
ne_hull
.
c: outside_point: check
for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
priva
t
el
y
expor
t
isl_bas
i
c_set_con
t
ains
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
is
l
_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl
_
vec_dump:
h
a
ndle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_affine_
h
ull
.
c:
extra
c
t uset_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
la
e
ge
isl_mat_transpose: handle non-rectangular ma
t
rices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map
_
s
imple_h
u
l
l
:
c
omp
u
te affine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_
m
ap_s
i
mple
_
hull:
ma
r
k r
e
sult as not having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
ae
g
e
add i
s
l_set
_
bou
n
ded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
ool
a
ege
isl_map_affin
e
_h
u
ll: detec
t
equalities o
f
integer af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ba
s
i
c
_
map_du
p
: copy flags of o
r
igi
n
al to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_extend_dim:
m
ove
respons
i
bility of c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
g
e
isl_basic_map_extend_dim: on
l
y exte
n
d const
r
aint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_so
l
v
e
_lp: u
s
e
t
a
b
l
eaus instead o
f
calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolae
g
e
i
s
l_solve_l
p
: accept
a
ffine object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
lae
g
e
isl_map_simpl
e
_hull: use hash tables and t
a
bleaus
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
do
o
la
e
g
e
isl_co
n
vex
_
h
ull
.
c
:
extract out use
t
_s
i
mple_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_convex_hull
.
c: extend: avoid wrap
p
i
ng aroun
d
a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
i
s
l_convex
_
hull
.
c
: introduce proto_hull based
o
n obviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_convex_hull
.
c:
m
ove initia
l
hull co
n
struc
t
ion into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdool
a
ege
i
s
l_conve
x
_hull
.
c: move c
o
mputation of
bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_
c
onvex_h
u
l
l
:
c
h
e
c
k
for bo
u
nde
d
n
e
ss using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
isl_basic_map_convex_hull: use table
a
u to detect
re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_a
f
fine_hull
.
c: use tableau t
o
d
e
tect implicit equal
i
t
i
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
ae
g
e
isl_tab
.
c
: don't d
e
tect e
q
u
alities while setti
n
g up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
a
d
d internal
rep
r
esentation
o
f LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
pri
v
ately
e
x
port
i
s
l
_basi
c
_{set,map}
_
normalize_con
s
tra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_basic_set_ex
t
end_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_bas
i
c_map_elim
i
nate_
v
a
rs:
clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
isl_basi
c
_ma
p
_eliminate_
v
ars: remove all dep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_h
a
sh_table_alloc and
i
sl
_
hash_table_fr
e
e
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
er
d
oo
l
aege
isl_hash_
t
able_init: tak
e
minimal size instead of
n
umber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_{b
a
sic_,}set_pr
e
i
m
age: drop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erd
o
olaege
i
s
l_bas
i
c_map_
i
ntersect:
reuse sa
m
ple va
l
ue
o
f eithe
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
basic_set_has_defining
_
inequalities: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
oolaege
isl_constraint_div: perform required r
e
ferenc
e
incr
e
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Ver
d
oo
l
aege
i
s
l_basic_m
a
p:
pu
t
inequalities before equalitie
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
add
i
sl_seq_n
o
rm
a
l
i
ze
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaeg
e
isl_ctx
.
h: make FL_ISSET
r
eturn
a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
rdoolaeg
e
rename
F
_ and FL_
m
acros
t
o IS
L
_F_
a
n
d
ISL_FL_ to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
a
dd isl_mat_
s
wap_col
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_mat
_
dump:
a
lso indent NU
L
L mat
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
add isl_call
o
c_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
s
l_
m
a
p_c
o
n
vex_
h
ull: normalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
oolaege
i
s
l_s
e
t_preimage: clear
ISL_SET_
N
ORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Ve
r
doolaege
add is
l
_basic_m
a
p_detect_equali
t
ie
s
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verdoola
e
ge
add isl_map_re
m
ove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
exp
o
rt isl_b
a
sic_map_
i
s_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
d
oolaege
add isl
_
b
asic_m
a
p_r
e
m
o
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolae
g
e
add
isl_d
i
m_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl_map_product
commit
|
commitdiff
|
tree
next