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 Verdoolaege
isl_m
a
p
.
c:
o
r
der_d
i
vs: swap wi
t
h cor
r
ect
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doo
l
ae
g
e
isl_map_
c
oalesce: remove extra divs intr
o
duced by
isl_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolae
g
e
a
dd isl
_
m
a
p
_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
V
e
rdo
o
lae
g
e
expo
r
t
i
sl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_m
a
p_convex_hull: handl
e
u
n
b
ounded, bu
t
po
i
nted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolae
g
e
privately e
x
port
isl_mat_un
i
modula
r
_complete
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_tab
.
c: add isl_tab
_
get_samp
l
e_val
u
e
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
erdoo
l
aege
isl
_
map_convex_hull: avoid intro
d
ucing lineality
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add two more convex
hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_map_convex_hul
l
: remov
e
lineality space if
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
g
e
a
d
d is
l
_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
add i
s
l_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl_convex_hull
.
c: update wrap_fa
c
e
t
t
o the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coalesce
.
c: fix
typo
i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
isl_tab
.
c: fix typo
i
n
c
o
m
ment
commit
|
commitdiff
|
tree
2009-05-05
S
ven
V
er
d
o
olaege
configu
r
e
.
i
n
:
set
A
C
_CONFIG_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
add isl_basic_set_get_d
i
m
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
isl_ba
s
ic_m
a
p_gist: nor
m
al
i
ze di
v
s (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
ven
V
er
d
o
olaege
isl_basic_map_simpli
f
y: remove dup
l
icate di
v
s before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_ba
s
i
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
change callin
g
convention
o
f
isl_ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
sl_map_simplify
.
c
: uset_gist: break
early if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
isl_m
a
p_s
i
mplify
.
c
: uset_gist: bre
a
k early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
dd
i
sl_ba
s
ic_
s
et_fast
_
is
_
empty
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verd
o
o
laege
up
d
ate piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
i
sl_tab
.
c: store n
u
mber
of
equal
i
ties am
o
ng the con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
isl_mat_e
x
tend: properly extend matrices
with reordere
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_gist: h
a
ndle some sp
e
ci
a
l
c
ase
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
add i
s
l
_b
a
sic_map_fast_is_em
p
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aeg
e
isl_ba
s
ic_map_gist: replace by ne
w
ve
r
sion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_s
i
mp
l
if
y
.
c: compute
_
el
i
min
a
tion_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
add
isl_map_implicit_e
q
ualities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
ad
d
isl_basic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_co
n
vex
_
hull: mark r
e
su
l
t as not havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laeg
e
convex_hu
l
l
: coalesce set fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_se
t
_
c
oal
e
sce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_in
p
u
t_
o
mega
.
c: basi
c
_map_read: accept "+" in constra
i
nts
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
e
ge
add is
l
_ba
s
ic_set_all
o
c_
d
iv
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_set_al
i
gn_
d
ivs
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
u
s
et_affine_hull: ignor
e
di
r
e
c
ti
o
ns
i
n affin
e
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_
b
a
s
ic_map
_
i
m
plicit_equ
a
lities: perform Gau
s
s
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_
a
ffine_hull
.
c:
outside_po
i
n
t: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
p
ri
v
ately export isl_ba
s
ic_set_
c
on
t
ai
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
o
o
laege
i
sl_vec_dump:
h
andle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
i
sl_aff
i
ne_hull
.
c: extract uset_affi
n
e_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdo
o
laege
isl
_
mat_transpose: handle non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
sl_map_
s
i
mp
l
e_hull: compute affine hu
l
l bef
o
re
aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_m
a
p_simple_hull: mark re
s
ult as
n
ot having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_set_bounded_si
m
p
l
e_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map
_
a
f
fine_hull: dete
c
t
eq
u
ali
t
i
e
s of integer affin
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_basic_map_dup
:
c
o
py flag
s
of origin
a
l to d
u
plic
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
isl_basic_map_extend_dim: move responsibility
o
f
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
l
a
ege
i
s
l_basic_map_extend
_
dim: only e
x
t
e
nd con
s
t
r
aint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
is
l
_solve_lp: use tableaus
instea
d
of callin
g
pipl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_solve_lp: accept affine object
function inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl
_
m
ap
_
simple_hull: use hash tabl
e
s a
n
d
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c
:
extract out uset_sim
p
l
e
_h
u
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
conve
x
_hull
.
c: exten
d
:
avoid
w
r
apping around
alread
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
con
v
ex_hull
.
c:
introduc
e
pr
o
to_
h
ull based on
o
bviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_convex_
h
ul
l
.
c: move initial hull
co
n
structi
o
n
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_conv
e
x_hul
l
.
c:
m
ove computation of
boun
d
s into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_
m
ap_convex_hull: check for bo
u
nd
e
dness
usin
g
rec
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaeg
e
isl_basic_map_con
v
ex_
h
ull: use tableau to detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
r
d
o
olaege
isl_affine_hull
.
c: us
e
tableau t
o
detect impl
i
cit
e
qualities
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
isl_tab
.
c: don't de
t
ect equalities
w
hile setting u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add in
t
ernal representation of LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoola
e
ge
a
dd
isl_mat_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoo
l
a
e
ge
a
dd
i
sl_se
t
_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doo
l
a
e
ge
privately export
i
sl_
b
asic_{
s
et,ma
p
}_normalize_constrain
t
s
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
add i
s
l
_
basic_set_e
x
tend_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl
_
basic_m
a
p_
e
liminate_vars: clear
d
ivs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_b
a
sic_
m
ap_eliminate
_
vars: r
e
move all
dependen
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
add
is
l
_hash_table_alloc and isl_ha
s
h_t
a
b
le_fr
e
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_has
h
_tab
l
e_init: t
a
ke minimal
size inste
a
d o
f
number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
i
s
l
_
{basi
c
_,}
s
et_preima
g
e: drop c
t
x argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_basic_map_intersec
t
:
reuse s
a
mple value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
d
d
isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_basic_set_has_def
i
ning
_
inequa
l
ities: fix typ
o
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_constraint_div: perf
o
rm require
d
reference in
c
rease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
isl_basic_map: put inequ
a
lities befor
e
e
q
u
alities
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
add isl
_
seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
isl_ctx
.
h
:
make FL_ISSET return a boolean va
l
ue
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
rena
m
e F_ an
d
FL_
m
acros to ISL_F_ and ISL_
F
L_ to
a
void
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
add isl_mat_
s
wap_
c
o
ls
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Ver
d
oola
e
g
e
isl
_
ma
t
_dump: also i
n
dent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
S
v
en
V
erdoolaege
ad
d
i
sl_c
a
lloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_map
_
c
onvex_hull:
no
r
m
a
lize map first
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n
Verdoolaege
isl_set_preimage: cl
e
ar
ISL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven
V
e
rdoola
e
ge
add isl
_
b
a
s
i
c_map_detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
export isl_basic_map_is_eq
u
al
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add
i
s
l_ba
s
ic_map
_
remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoola
e
ge
a
d
d
i
sl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add is
l
_
m
a
p
_
product
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
a
dd
isl_basic_map_
a
dd_constra
i
nt
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add isl_dim_add
commit
|
commitdiff
|
tree
next