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_affine_hull.c: extract uset_affine_hull
2009-03-20
Sven Verdool
a
ege
isl_
a
ffine_h
u
ll
.
c
: extract
u
se
t
_
a
ffine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
s
l_mat
_
tr
a
nsp
o
se:
handle no
n
-re
c
tangu
l
ar matri
c
es
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
i
sl_map_simp
l
e_hull: compute affine hull before
aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_map_simp
l
e_hull: mark result as n
o
t h
a
ving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
l
a
ege
add i
s
l
_set_b
o
u
n
d
e
d
_simpl
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolae
g
e
i
sl
_
m
a
p_
a
ffine_hu
l
l
: detec
t
e
qualit
i
e
s
of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
o
l
a
ege
isl_basic_map_dup: c
o
py fl
a
gs of o
r
ig
i
nal
to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
eg
e
i
s
l_
b
asic_m
a
p_e
x
tend_dim: move responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_basic_map
_
ext
e
n
d
_dim:
o
nly extend constr
a
in
t
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
e
r
d
o
o
laeg
e
isl_solve_
l
p:
use tableaus instead o
f
c
a
lling
p
iplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l_solv
e
_l
p
:
ac
c
ept affin
e
object fun
c
tion inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_ma
p
_
simple_hull: use h
a
sh tables and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
isl_
c
onvex
_
h
u
ll
.
c
:
ex
t
ract
o
ut us
e
t_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l_
c
onvex_hull
.
c: extend: avoid
wrappi
n
g
a
round already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_convex_hu
l
l
.
c: introduce proto_h
u
ll based on ob
v
ious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_conv
e
x_h
u
ll
.
c: move in
i
ti
a
l h
u
ll co
n
structi
o
n
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
isl_
c
on
v
e
x
_hull
.
c: move comput
a
tion o
f
bou
n
ds i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_c
o
n
vex_hull
:
check for boundednes
s
usin
g
rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_basic_map_c
o
nvex_hull: use tableau t
o
detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
i
s
l
_
tab
.
c
:
d
on't detect
e
qua
l
i
t
ies
while setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
olaeg
e
priv
a
tely
e
xport isl_basi
c
_{set,m
a
p}
_
norm
a
lize_constr
a
int
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
a
ege
add isl_basic_set_ex
t
e
nd_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_b
a
sic_map_el
i
minate_vars: clear divs f
i
rst
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
isl_basic_map_eliminate_vars: rem
o
ve all depen
d
e
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add isl_hash
_
t
a
b
l
e_
a
lloc
a
nd isl_hash_t
a
ble_free
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
g
e
isl_
h
as
h
_
t
ab
l
e_init: take minimal
size inste
a
d of
n
u
m
ber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
oo
l
aege
isl
_
{ba
s
ic_,}s
e
t_preimage: drop ctx arg
u
ment
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl_basic_map_inte
r
s
e
c
t:
reuse sample value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_co
n
strain
t
_div:
p
erform
requi
r
ed reference
increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
isl_basic_map:
p
ut
inequaliti
e
s
b
e
for
e
e
q
u
alitie
s
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolae
g
e
add i
s
l_s
e
q_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
e
ge
isl_ctx
.
h
: mak
e
FL_ISSET return a boolean value
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolaege
r
ename F
_
and FL_
macro
s
to ISL_F_ and ISL_
F
L_ to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
a
dd
isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdo
o
laege
i
s
l_mat_dump
:
also inden
t
NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verd
o
olaege
add isl_calloc
_
type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
ge
isl_m
a
p_convex
_
hull: normalize map
f
irst
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set_preimage: clear ISL_SET_NORMA
L
IZ
E
D
f
l
ag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdo
o
laege
add
i
s
l
_ba
s
ic_map_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaeg
e
ex
p
ort
i
s
l_basic_ma
p
_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoola
e
ge
add isl_basic_map
_
remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
add isl_
m
a
p
_prod
u
ct
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add
i
s
l_bas
i
c_map_add_con
s
traint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_map_
p
iplib
.
c: isl_ma
p
_from_quast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoola
e
ge
c
h
an
g
e
cal
l
ing convention of isl_ba
s
i
c
_m
a
p_{equal,less_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
a
d
d isl_map_copy_basic_map
a
n
d
is
l
_map
_
d
r
op_
b
asic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
doolaege
add isl_ma
p
_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
a
d
d isl_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change calli
n
g convention of i
s
l_m
a
p
_
e
mpty
a
nd add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
i
s
l_map_i
n
ter
s
ect_{d
o
m
ai
n
,range}: allow inter
s
ectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
isl_
m
a
p
_
intersect: allow in
t
ersection with
pure
parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ver
d
oolaege
i
s
l_basic_m
a
p_affine_hull:
f
ix search fo
r
int
e
ger points
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Verd
o
olaege
isl_
b
asi
c
_map_
o
verl
y
ing_set: d
o
n't add
d
iv
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
ol
a
e
ge
i
s
l_dim
.
c: update n_name (only) when changing names
commit
|
commitdiff
|
tree
2009-02-15
Sven Verdoolaege
f
i
x serious error in is
l
_mat_param
e
te
r
_
compression
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaeg
e
exp
o
rt isl_basic_map_inters
e
ct_range
commit
|
commitdiff
|
tree
2009-02-11
S
v
en V
e
rdoola
e
ge
add isl_b
a
sic_m
a
p_flo
o
r
div
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
add isl_bas
i
c_map_fa
s
t_is_f
i
xed
commit
|
commitdiff
|
tree
2009-02-11
S
v
en Verdoo
l
aege
ad
d
isl_bas
i
c_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sve
n
V
erd
o
o
laege
a
d
d isl_b
a
sic
_
map_su
m
commit
|
commitdiff
|
tree
2009-02-10
Sv
e
n Ve
r
dool
a
ege
add isl_map_fix_si, a generalizatio
n
of
i
sl_basic_map
_
fix_in
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoolaege
isl_map_simpli
f
y
.
c: remove_duplic
a
te_d
i
v
s: remove d
i
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
v
e
n Verdoola
e
ge
isl_b
a
sic_map_gauss: be careful not to introduce
cir
c
ular
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdool
a
ege
a
d
d function
s
f
o
r setti
n
g isl_divs
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
is
l
_map_from_quast: d
o
n't
thr
o
w aw
a
y any botto
m
leaves
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaege
isl
_
map_simplify
.
c: norma
l
ize
_
divs: fix use of var
i
ab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-04
S
ven Verdoolaege
isl_mat_v
a
riable_compr
e
ssion: fix
use after
f
ree
commit
|
commitdiff
|
tree
2009-02-03
Sve
n
Verdoolaege
isl_map_simplify
.
c: normalize_divs: e
n
sure enough existentia
.
.
.
commit
|
commitdiff
|
tree
2009-02-03
Sven
V
erdoolaeg
e
isl_hash_tab
l
e_r
e
move: up
d
ate number of e
n
tries
commit
|
commitdiff
|
tree
2009-01-22
S
v
en Verdoolaege
isl_map_si
m
p
l
e
_
h
ull: plug
memory leak
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaeg
e
add std::ostream &operator<<(std::ostream &os, isl_
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-01-08
Sven Verd
o
olaege
norm
a
l
ize
d
ivs involve
d
i
n
eq
u
ali
t
ies
commit
|
commitdiff
|
tree
2009-01-08
Sven
Verdo
o
laege
i
sl_map_underlyi
n
g_set: drop
n
ames
f
rom dimesio
n
in
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sv
e
n Verdoo
l
aege
add
i
sl_mat_parame
t
e
r
_
c
o
m
pressi
o
n
commit
|
commitdiff
|
tree
2009-01-06
S
ven V
e
rdo
o
laege
isl_equalities
.
c: extr
a
ct and export isl_mat_variabl
e
_compre
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven
V
erdoolaeg
e
ad
d
i
sl_basic_set_is_empty
commit
|
commitdiff
|
tree
2009-01-06
Sven Ver
d
o
o
l
aege
add isl_
m
at_right_kernel
commit
|
commitdiff
|
tree
2009-01-06
S
v
en Verdoolaege
add
i
sl_mat_col_submul
commit
|
commitdiff
|
tree
2009-01-06
Sven Verdo
o
l
aege
isl_map_
s
implify
.
c: extrac
t
o
ut simplif
y
and related
.
.
.
commit
|
commitdiff
|
tree
2009-01-06
Sven Ve
r
do
o
laege
i
s
l_constraint:
a
dd limite
d
s
u
pport for adding d
i
vs
commit
|
commitdiff
|
tree
2009-01-06
S
ven V
e
rdoolaeg
e
c
h
an
g
e
cal
l
ing c
o
n
v
entions of isl_basic_set_has_definin
g
_
.
.
.
commit
|
commitdiff
|
tree
2008-12-28
S
v
e
n Verdoolaege
add isl_basic_{set,m
a
p}_dim
commit
|
commitdiff
|
tree
2008-12-28
Sven Verd
o
ol
a
eg
e
isl_
b
a
s
ic_map_gist:
also
e
xploi
t
e
q
u
a
lit
i
es in
gisted set
commit
|
commitdiff
|
tree
2008-12-28
Sven Verdoolaege
isl_basic_
m
ap_ove
r
lying_set
:
si
m
plify resul
t
ing basic map
commit
|
commitdiff
|
tree
2008-12-23
Sven
V
erdoo
l
aege
add isl_div abstrac
t
ion,
s
i
milar to
isl_constraint
commit
|
commitdiff
|
tree
2008-12-22
Sven
Ve
r
doolaege
isl_ba
s
ic_set_
c
ompar
e
_at:
c
ombin
e
constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ver
d
oola
e
ge
isl_
m
ap_underlying_set
:
a
lign divs b
e
fore calling this
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ve
r
doolaege
isl_basic_
m
a
p_ove
r
lying_set:
pr
o
p
e
r
ly
handle d
i
vs in
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Verdo
o
la
e
ge
isl_basic_map_alig
n
_divs: don't make assum
p
tions
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-12-22
Sven Ver
d
oolaege
av
o
id incr
e
a
sin
g
"ext
r
a
" without
a
lso
e
xte
n
d
ing t
h
e
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
Sven Ve
r
doolae
g
e
add isl_set_universe
commit
|
commitdiff
|
tree
2008-12-19
Sv
e
n
Ve
r
do
o
laege
r
e
move isl
_
ctx argum
e
nt from
f
unctions accepting isl
_
dim
.
.
.
commit
|
commitdiff
|
tree
2008-12-19
S
ven
Ver
d
oolaege
isl_co
n
ve
x
_hu
l
l
.
c: remove dead code
commit
|
commitdiff
|
tree
2008-12-15
Sven Verdoolaege
a
dd isl_constra
i
nt_negate
commit
|
commitdiff
|
tree
2008-12-14
S
ven
V
erdoolaege
add isl_b
a
sic_set_add_constraint
f
or a
d
ding manu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-12-14
Sven
V
erdoolaege
replace i
s
l_b
a
sic_set_constraint by refcounted isl_constraint
commit
|
commitdiff
|
tree
next