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 Verdoola
e
ge
isl_b
a
sic_map_detect_equa
l
ities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
ol
a
ege
isl_basic_map_
i
s_
e
mpty: expli
c
itly mark
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c
:
orde
r
_divs: sw
a
p with correc
t
div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
m
ap_coalesce: re
m
ove extr
a
divs introduced by
i
sl_m
a
p_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
e
n
V
e
rdoolaege
add isl_map_coalesc
e
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
olaege
a
dd
i
sl_set_pr
o
duct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl_ma
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
d
oolae
g
e
isl_map
_
convex
_
hull: handle unb
o
unded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ve
r
doolaege
privately exp
o
rt isl_mat_
u
nim
o
dular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_tab
.
c: add
i
s
l_tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
S
ven Ve
r
do
o
laege
i
sl_m
a
p_
c
onvex_hull: avoid
i
n
trodu
c
ing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
a
dd
two
more convex hul
l
test
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
i
sl_map
_
convex_hull: re
m
ove lin
e
alit
y
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
la
e
ge
add isl_basic_set_is
_
universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
a
d
d isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erd
o
olae
g
e
isl_c
o
nv
e
x_hull
.
c: update
wrap_face
t
to the
f
act we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verd
o
olaege
i
s
l_convex_h
u
ll
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
i
s
l_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_tab
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
ad
d
isl_basic_s
e
t_g
e
t_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_basi
c
_map_gist: normalize di
v
s
(if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
i
s
l_
b
a
sic_map_simplify
:
remove duplicate divs be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
ege
add isl_basi
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdoo
l
aege
change ca
l
ling c
o
nventio
n
o
f
isl_b
a
sic_
m
ap_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoo
l
aege
is
l
_m
a
p_simplify
.
c: uset_gist: break e
a
rly i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
is
l
_
map_simplify
.
c: uset_gist: break e
a
rly if intersect
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
add isl_basic_set_
f
ast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
ge
u
p
dat
e
piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdo
o
laege
isl
_
t
a
b
.
c: st
o
re number o
f
equali
t
i
e
s among the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l
_mat_extend:
properly exte
n
d m
a
tr
i
ces with reor
d
ered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
isl_map_gi
s
t: handle some specia
l
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_ma
p
_universe
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
add isl_bas
i
c_ma
p
_fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map
_
gist: replace by n
e
w version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_s
i
mplify
.
c: comp
u
t
e_e
l
imination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
add isl_
m
ap_implicit
_
equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
add isl_basic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl_ma
p
_convex_hull: mark resu
l
t as n
o
t
havin
g
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ve
r
d
oolaege
convex_hull: coalesce se
t
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d i
s
l_set_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
o
o
l
aege
isl_
i
n
p
ut_omega
.
c: basic_ma
p
_read: accep
t
"+" in
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
oolaege
add isl_basic_s
e
t_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_set_align
_
d
i
vs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ve
r
doolae
g
e
uset_affine_h
u
ll
:
i
g
nore di
r
ections in
affine hu
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
b
a
si
c
_map_implicit_equa
l
ities: pe
r
form Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
affine_hull
.
c: outside
_
poi
n
t:
c
heck for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
privately export
i
sl_basic
_
set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_
c
tx:
add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_vec_
d
ump: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: extract use
t
_af
f
ine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
olaege
i
s
l
_mat
_
transpose: handl
e
non-recta
n
gular matrice
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_
s
imple_hull: compute
a
ffine hull befor
e
a
lignin
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
s
l_map_
s
imple_h
u
ll: mark result
a
s not hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
d
oolaege
a
dd i
s
l_set_bounded_sim
p
le_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_affine_hull: detect equa
l
ities of integer aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl
_
basic_m
a
p_dup:
copy f
l
a
gs of original
t
o duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
isl_b
a
s
i
c_map_
e
xtend_dim: move responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl_b
a
sic_map_extend_dim: only
e
x
tend con
s
traint matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_solve_lp
:
use t
a
bleaus in
s
tead of calling pi
p
lib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laeg
e
i
sl_solve_l
p
:
a
c
cept affine
object
f
unction
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
o
l
aege
isl_map_simple
_
hull: use hash tables and t
a
bleau
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_co
n
ve
x
_hull
.
c
: extract out
u
s
et
_
simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
i
s
l
_con
v
ex_hull
.
c: extend: avoid wra
p
p
i
n
g
around alread
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erd
o
o
laege
isl_
c
o
n
vex_
h
ull
.
c: intr
o
duce proto_hul
l
based o
n
obvio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: move
initial hull con
s
t
ruction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolaege
isl_co
n
vex_
h
ull
.
c: move computation o
f
bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_c
o
n
vex_hul
l
: check for
bou
n
dedness using reces
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_basic_
m
ap_convex_hu
l
l
:
use tabl
e
au to
detect red
u
ndan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c: d
o
n't
d
etect equ
a
lities
while
setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoo
l
aege
add isl_mat_exte
n
d
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
add
i
sl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
privatel
y
e
x
port isl_
b
asic
_
{set,map}
_
n
ormalize_constr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
dd
isl_basic_s
e
t_extend
_
di
m
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoo
l
ae
g
e
is
l
_basic_map_elimina
t
e_vars: cl
e
ar divs fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map
_
eliminate_vars: re
m
ove all depend
e
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add isl_hash_table_alloc and isl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
isl_hash
_
table_init: take minimal si
z
e instead o
f
num
b
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_
{bas
i
c
_
,
}
s
et
_
preimage: drop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
sl
_
basic_map_i
n
ters
e
ct: reuse sample value of eithe
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
add isl_
i
nt_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
_
co
n
s
t
r
aint_div: perform required refere
n
ce incr
e
ase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdo
o
l
aege
isl_bas
i
c
_
map: put ineq
u
aliti
e
s bef
o
re
eq
u
alities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_se
q
_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
isl
_
ctx
.
h: make FL_ISSET ret
u
rn a
b
ool
e
an
va
l
ue
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doo
l
aege
re
n
ame
F
_
a
nd F
L
_
m
acros to ISL_F_ and ISL_FL_
t
o
a
void
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
add
i
s
l_mat_swap_col
s
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
rd
o
olaege
isl_mat_d
u
mp: also indent NULL
mat
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Ve
r
doolaege
add isl
_
call
o
c_type
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
isl_map_convex_hul
l
:
n
o
r
malize
map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_
s
et_
p
reimage:
c
lear ISL_
S
E
T_N
O
RMALIZED
flag
commit
|
commitdiff
|
tree
2009-02-23
Sve
n
Verdoolaege
a
d
d isl_basi
c
_
map_
d
et
e
ct_equa
l
it
i
es
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdool
a
ege
export isl
_
basic_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
ad
d
i
s
l_basic_map_remov
e
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
ad
d
i
sl
_
dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add isl_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
doolaege
a
d
d isl_
b
asic_map_add_c
o
nstraint
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdo
o
l
a
e
ge
is
l
_ma
p
_p
i
plib
.
c
:
isl_map_from_quast:
p
roperly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
change
c
a
l
ling convention of i
s
l_basic_map
_
{
e
qual,
l
ess_
a
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
dd
i
sl_map_copy
_
ba
s
ic
_
map
a
n
d
isl_map_drop_basi
c
_map
commit
|
commitdiff
|
tree
2009-02-22
S
v
en
V
erd
o
o
l
a
e
g
e
add isl_map_from_r
a
nge
commit
|
commitdiff
|
tree
next