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
add isl_map_coalesce
2009-06-05
Sven Verdoolaege
a
dd
i
sl_m
a
p_co
a
lesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven Ver
d
o
olaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaeg
e
export isl_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull: h
a
n
d
le u
n
bounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
priva
t
e
ly
e
xport isl_
m
at_unimodular_comp
l
e
t
e
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
laeg
e
is
l
_tab
.
c:
ad
d
i
sl
_
t
a
b_get_sam
p
le
_
va
l
ue
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaeg
e
is
l
_map
_
convex_
h
ull: avoid intr
o
d
u
c
ing lineality sp
a
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
erdoolaege
add two
m
ore convex hull tes
t
ca
s
es
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_
c
o
n
v
e
x
_
hull: r
e
move
line
a
lity spa
c
e
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
o
olaege
ad
d
isl_basic_set_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
o
olaege
add isl_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
doolaege
isl_convex_h
u
ll
.
c: upda
t
e wrap_f
a
cet to t
h
e fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
ae
g
e
isl_convex
_
h
u
ll
.
c
: fix typo
i
n
comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_coalesce
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
isl
_
tab
.
c:
fix t
y
p
o
in comment
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolae
g
e
add isl_bas
i
c_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdo
o
laege
isl_basic_map_
g
ist: nor
m
alize divs (if
a
ny) in c
o
nte
x
t
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Ver
d
oo
l
aege
i
sl_basic_m
a
p_simplify: remove d
u
plicate divs bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdool
a
ege
add isl_basic_s
e
t_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
change calling co
n
ventio
n
o
f isl_basic
_
ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_map_s
i
mp
l
i
f
y
.
c: uset_gi
s
t: bre
a
k e
a
rly
if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ve
r
d
o
olae
g
e
isl_map_sim
p
lify
.
c: u
s
et_gi
s
t: break early
i
f intersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
a
dd
i
sl_basi
c
_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
upda
t
e pipl
i
b to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
rdoolaege
isl
_
tab
.
c: store
n
umber of eq
u
ali
t
ies among the c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_m
a
t
_ext
e
nd: properly extend mat
r
ices with re
o
rde
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_
m
ap_gist: handle som
e
special case
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
a
dd isl_basic
_
map_fas
t
_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_basic_map_gis
t
:
replace by new version
b
ased on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_s
i
m
p
lify
.
c:
compu
t
e_eliminati
o
n_index
:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_map_imp
l
icit_eq
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
a
dd is
l
_basic
_
set_fr
e
e
_
e
quali
t
y
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map_
c
onvex_hull: m
a
rk result as not
havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
c
o
nvex_hull:
c
oalesce set fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add
i
sl_set_coales
c
e
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
isl_input
_
omega
.
c: basic_map_read: accept "+"
i
n c
o
n
straints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_b
a
sic_set_al
l
oc_div
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_se
t
_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_a
f
fine_hul
l
:
i
gnore directions in affine
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
i
sl_basi
c
_map_implicit_equalit
i
e
s
:
p
e
rform Gaussia
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_affine_hull
.
c: outsi
d
e
_
po
i
n
t: ch
e
ck
f
or obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
p
r
i
v
ately export isl_b
a
sic_set_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
i
sl_
v
ec_du
m
p
:
handle N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_affi
n
e
_
hull
.
c:
e
x
tract uset_af
f
ine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
g
e
is
l
_mat_tr
a
nspose: handle
n
on-rectan
g
ular mat
r
ices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_simple
_
hull: compu
t
e aff
i
n
e hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
isl_map_simple_hull: mark re
s
u
l
t as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add
i
sl_set
_
bo
u
nded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_a
f
fine_hul
l
:
d
etect
equ
a
lities o
f
inte
g
er aff
i
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_du
p
: copy
f
lags
o
f original to duplicate
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaeg
e
i
s
l_basic
_
map_extend_dim:
move responsibility
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_basic_map_
e
xtend_
d
i
m
: only exte
n
d constrai
n
t m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
o
laege
i
s
l
_
so
l
v
e
_
l
p: use tableaus instead of
c
all
i
ng
p
ipl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_solve_lp:
accept affine object fun
c
tion instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
isl_map_
s
i
m
pl
e
_hull: use hash
tables and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
is
l
_co
n
vex_hull
.
c: e
x
tract out us
e
t_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: extend:
a
void wrapping arou
n
d a
l
re
a
dy
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
is
l
_c
o
nvex_hull
.
c: introduce
proto_hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
c
o
nvex_hul
l
.
c
:
mo
v
e initial hull const
r
uct
i
on into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_c
o
nvex
_
hull
.
c: move com
p
utation of boun
d
s i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_ma
p
_convex_hull: check for boundedness using re
c
ess
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdo
o
laege
isl_basic_map_co
n
vex_hul
l
:
use tableau to detect redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
is
l
_
tab
.
c: don't det
e
c
t equalities while setting
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaeg
e
ad
d
isl_mat_exte
n
d
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
o
olaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
pr
i
vat
e
l
y
export
isl
_
basic_{s
e
t,map
}
_norm
a
lize_constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_ba
s
ic_
s
et_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_basic_
m
a
p
_
elim
i
n
a
t
e_vars: clear divs
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
rdoolae
g
e
i
s
l
_ba
s
ic_
m
ap_eliminate_
v
ars: remov
e
all
dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
add isl_
h
ash
_
t
a
ble_all
o
c a
n
d isl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_ha
s
h_table_init: take minima
l
si
z
e
instead of numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_{basic_,}set_preima
g
e:
drop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
s
l
_basic_map_in
t
ersect:
r
euse sample valu
e
o
f
e
ither
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
add isl_in
t
_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_constraint_div: p
e
rform
r
equire
d
reference incr
e
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_b
a
sic_map:
put ine
q
ual
i
t
ies before equalities
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdo
o
l
a
e
ge
a
d
d isl_seq_n
o
rm
a
lize
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
isl_ct
x
.
h: make F
L
_ISSET ret
u
rn a
b
oolean
valu
e
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
er
d
oolaege
rename F_ and FL_ ma
c
r
os to ISL_F_ and ISL
_
FL
_
to a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add
isl_ma
t
_swa
p
_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
laege
i
sl_ma
t
_dump
:
also in
d
e
n
t
NULL m
a
t
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolae
g
e
add isl_
c
a
lloc
_
t
ype
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
s
l_map_
c
onvex_hul
l
:
normali
z
e ma
p
first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
g
e
isl_
s
et_p
r
eimag
e
: clear ISL_
S
E
T_NO
R
MALIZED
f
lag
commit
|
commitdiff
|
tree
2009-02-23
Sven
V
er
d
oolaege
add isl_basic_map_detect_equa
l
itie
s
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoo
l
ae
g
e
e
x
p
o
rt isl_b
a
sic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ve
r
dool
a
ege
add is
l
_basic
_
map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add i
s
l_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
add
isl_basic_m
a
p_a
d
d_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_map_piplib
.
c
:
isl_map_from_q
u
ast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change cal
l
ing conventi
o
n of isl_b
a
sic_map_
{
equal,
l
ess_a
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
add isl_ma
p
_copy_basic_m
a
p
and isl_map_drop_basi
c
_map
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ver
d
oolaege
ad
d
isl_map_from_r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdool
a
ege
add isl_map_fast_is
_
empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
chan
g
e
c
alling
c
o
nvention of i
s
l_map_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oolaege
i
sl_map_intersect_{domai
n
,
r
ange}: allow
intersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
isl_map_intersect
:
allow intersection
w
it
h
pure parameter
.
.
.
commit
|
commitdiff
|
tree
next