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
privately export isl_basic_set_contains
2009-03-20
Sven Ver
d
oolaege
pri
v
ately export
i
sl_basic_set
_
contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
c
tx:
add negone
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
isl_vec_dum
p
:
h
andl
e
N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ve
r
doolaege
isl_
a
f
fine_hull
.
c:
e
xt
r
act
uset
_
affi
n
e_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_mat_transpose: handle non-rect
a
n
g
u
la
r
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_map_
s
imple_hull: compute affine hull
b
efore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_map_simple_hull: mark re
s
ult as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
add isl_set_bounded_si
m
ple
_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_map_affine_hull:
detec
t
equalities of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ba
s
ic_map_dup: copy flags of orig
i
n
a
l
t
o duplic
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoolae
g
e
isl_basic_map
_
extend_dim: move responsibility
o
f
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
e
ge
isl_
b
a
sic
_
map_extend_dim:
o
nly extend c
o
nstraint
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_solve_lp
:
use tableaus instead
o
f calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l
_solve_lp: acce
p
t affine
o
b
j
ect function inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
i
s
l_map_simple_hull: use hash tabl
e
s and ta
b
leaus
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
isl_convex_hull
.
c:
extr
a
ct out uset_simp
l
e
_
h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
isl_conv
e
x_hull
.
c: extend: avoid wrappin
g
around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
isl_con
v
ex
_
hull
.
c
: intr
o
duce p
r
oto_hull bas
e
d
on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
ol
a
ege
isl
_
conve
x
_hull
.
c: move
ini
t
ial hull co
n
struct
i
on
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_co
n
vex_
h
ull
.
c
: move c
o
m
putati
o
n
of boun
d
s into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_map_
c
onvex_hull
:
check
for boundedn
e
ss using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
g
e
is
l
_
b
asic_m
a
p
_
convex_hull: use tabl
e
au t
o
de
t
ect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
i
s
l
_affine_hull
.
c
: use tableau
to detect implicit eq
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
ol
a
ege
isl_tab
.
c: do
n
't detect equali
t
ies w
h
ile set
t
ing up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add i
n
terna
l
rep
r
esentation
o
f LP ta
b
leau
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
add isl_set_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
privately e
x
port isl_basic_{set,map}
_
normalize_
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_basi
c
_set_extend
_
dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
isl_basic_map_elimina
t
e_vars: clear
divs
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
la
e
ge
isl_ba
s
ic_
m
ap_eli
m
inate_
v
a
rs: rem
o
ve all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_hash_table_alloc a
n
d
i
sl_hash_ta
b
le_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
isl_hash_table_
i
nit: take minim
a
l size i
n
st
e
a
d of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_{b
a
sic_
,
}set_preimage: d
r
o
p
ctx arg
u
men
t
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_basic_map
_
inter
s
ect: reuse sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d
is
l
_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doola
e
ge
i
sl_basic_se
t
_has_de
f
i
ning_ine
q
ualities:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laeg
e
isl_constraint_div: perfo
r
m
required r
e
fer
e
nce increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoolaege
isl_basic_
m
ap
:
put i
n
equaliti
e
s before e
q
ualiti
e
s
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoolaege
add isl_seq_
n
o
r
malize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaeg
e
i
sl_ctx
.
h: m
a
ke FL
_
ISSET
r
e
t
urn a bo
o
lean
value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
r
ename F_ and
F
L_ mac
r
os to IS
L
_
F
_ and ISL_
F
L_
to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
add isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_mat_dump: also i
n
dent NULL m
a
t
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
add is
l
_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
o
laege
i
s
l_map_convex_hull: normalize
map first
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
isl_set
_
preim
a
ge: clear ISL_
S
ET_NORMA
L
I
Z
ED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven
V
e
r
do
o
laege
a
d
d
i
sl_basic_map
_
detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
add isl_map
_
remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
ex
p
ort isl_ba
s
i
c
_map_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
is
l
_basic_map
_
remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaeg
e
a
d
d isl_
d
im
_
range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl
_
map_pr
o
duct
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
ola
e
ge
add is
l
_
basic
_
m
a
p_add_
c
onstraint
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
ad
d
isl_dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olae
g
e
isl_map_piplib
.
c
:
isl_map_from_quast:
properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdo
o
laege
chang
e
ca
l
ling
c
onventi
o
n of isl_basic_map_{equ
a
l,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
add
i
sl
_
map_copy_basi
c
_map and isl_m
a
p_drop_basic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add is
l
_map
_
from_range
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
Verdoolaege
add i
s
l_map
_
fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
erdoolaege
chang
e
call
i
ng c
o
nvention of isl_map_
e
mpty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ve
r
doo
l
aege
isl_map_int
e
rse
c
t_{domain,r
a
nge}: all
o
w intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
oola
e
ge
i
s
l
_map_inter
s
e
c
t: allow i
n
terse
c
tion w
i
th pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
Verdoolaege
isl_ba
s
ic_map_affine_hu
l
l: f
i
x search for i
n
teger points
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolae
g
e
is
l
_b
a
sic_map_ov
e
rlyi
n
g_s
e
t: do
n
't add div cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
r
doolaege
isl_dim
.
c: upda
t
e n_nam
e
(only) when ch
a
ngin
g
names
commit
|
commitdiff
|
tree
2009-02-15
Sven
V
erdoolae
g
e
fix ser
i
o
us error in
i
s
l
_
mat_parameter_com
p
ression
commit
|
commitdiff
|
tree
2009-02-11
S
v
en
V
erdoolaeg
e
e
xport isl_basic_
m
ap_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolaeg
e
a
d
d is
l
_basic_map_floordiv
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Ve
r
do
o
laege
add isl_basic_map_fast_is_
f
ixed
commit
|
commitdiff
|
tree
2009-02-11
S
v
en
Verdo
o
laeg
e
add isl_basic_map_
n
eg
commit
|
commitdiff
|
tree
2009-02-11
S
ven Verdoo
l
a
ege
add isl_
b
asi
c
_map_sum
commit
|
commitdiff
|
tree
2009-02-10
S
ve
n
Verdoolaege
a
dd
i
s
l
_m
a
p_fix
_
si,
a
generalization of is
l
_basic_map_fix
_
in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doolaege
isl_ma
p
_
s
impl
i
fy
.
c:
r
e
move_duplicate_d
i
vs:
r
e
m
ove divs
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doo
l
aege
isl_basic_ma
p
_gauss
:
be care
f
ul not to introduce
circular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
add func
t
ions for setti
n
g is
l
_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
isl_map_from_quast: don't
throw away any bottom leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolae
g
e
isl_map_si
m
p
l
ify
.
c: normalize
_
divs
:
fi
x
use
o
f variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoolaege
is
l
_mat_vari
a
b
le_comp
r
ession: fix use after
free
commit
|
commitdiff
|
tree
2009-02-03
Sven Ver
d
oolae
g
e
is
l
_map_simplify
.
c
:
norm
a
l
i
ze_divs: ensur
e
enough exi
s
t
entia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
S
ven Verdoo
l
aege
isl_hash_table_remove: update number of e
n
trie
s
commit
|
commitdiff
|
tree
2009-01-22
S
ven Verdoo
l
aege
is
l
_map_simpl
e
_hull: plu
g
mem
o
ry leak
commit
|
commitdiff
|
tree
2009-01-09
Sven
V
erdoolaege
add std::ostream
&o
p
e
r
a
t
or<<(std::ostre
a
m &os, i
s
l
_int
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verdoolae
g
e
no
r
ma
l
ize divs
i
nvolved in equalities
commit
|
commitdiff
|
tree
2009-01-08
Sven
V
erdoolaege
isl
_
m
ap_under
l
yin
g
_
s
e
t
: drop n
a
m
es from dimesion in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sve
n
V
e
rdoolaege
add isl_mat_parameter_c
o
mpress
i
on
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoolaege
isl
_
equalitie
s
.
c: extract and exp
o
rt isl_mat_
v
ariab
l
e_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaeg
e
a
d
d isl_basic_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaege
add isl_mat_right_
k
ernel
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
e
rdoolaege
add isl_mat_col_sub
m
ul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoolaege
add isl_seq_subm
u
l
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoolaege
isl_map_simplify
.
c: ex
t
ract ou
t
s
i
m
plify and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdoola
e
ge
isl_constraint: add
limited support
for addi
n
g divs
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
doolaeg
e
c
h
ange call
i
ng conventions of isl_basic_set_has_defining_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
Sven Ve
r
do
o
l
a
ege
add
isl_basic_{s
e
t,
m
ap}_dim
commit
|
commitdiff
|
tree
2008-12-28
S
ven Ve
r
doolaege
isl
_
basic_map
_
gist:
a
lso
e
xploit equal
i
ties in gist
e
d set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
i
sl_
b
asic_
m
ap_overlying_set: s
i
mplify
r
esultin
g
basic map
commit
|
commitdiff
|
tree
2008-12-23
Sve
n
Verdoolaege
add isl_
d
iv ab
s
traction, s
i
mil
a
r to isl_constraint
commit
|
commitdiff
|
tree
2008-12-22
Sven Verd
o
olaege
isl_
b
asi
c
_set_compare
_
at:
combine con
s
traints
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
S
v
en Verdoo
l
aege
isl_ma
p
_underlying_set: align div
s
bef
o
re calling this
.
.
.
commit
|
commitdiff
|
tree
next