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
export isl_set_is_bounded
2010-06-12
Sven
V
erdoolaege
e
x
port
i
sl_set
_
is_
b
ounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
is
l
_bou
n
d
:
p
l
ug mem
o
r
y
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynom
i
al_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
i
sl_pw
_
q
po
l
ynomia
l
_
bound_range:
fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
ad
d
b
ound_test
.
sh
to distributi
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc:
d
ocument
g
i
st oper
a
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc
:
docu
m
ent
i
s
l
_con
s
t
rai
n
t
_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdoo
l
a
ege
a
dd i
s
l_m
a
p_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
dool
a
ege
i
sl_basi
c
_ma
p
_foreac
h
_constraint:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
l
ae
g
e
i
s
l_basic_map
_
c
op
y
: mark duplicated copy as finalize
d
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Ve
r
do
o
l
aege
isl_ba
s
ic_set_lift:
fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
rd
o
olaege
isl_basic_map_m
o
ve_dim
s
: a
l
ways finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
eg
e
isl_b
a
sic_map_from_co
n
straint:
finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access_info_c
o
mpute_flow: handle may acc
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl
_
access
_
i
n
fo_comp
u
te
_
fl
o
w
: han
d
le
m
ulti-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erd
o
olaeg
e
r
emove some unuse
d
variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
fix some
icc wa
r
n
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
renam
e
isl_pw_qpolynomial_move and add
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoo
l
aege
i
s
l
_ctx: ke
e
p t
r
ack of
u
ser
optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
o
l
ae
g
e
improved argu
m
ent
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoo
l
aege
isl
_
options_parse
:
pr
i
nt help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
olaege
add i
s
l_boun
d
test application
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add isl_pw_
q
p
o
lynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
add
i
sl_pw_qp
o
ly
n
omial
_
fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ver
d
oolaege
add rudimen
t
ary i
s
l_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_equali
t
ies
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
add isl
_
m
a
t_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d
isl_mat_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
lae
g
e
add isl_mat_di
a
gona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
l
aeg
e
isl_mat
_
lin_to_aff: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
q
polynomia
l
_op
t
_
o
n_domain: handle emp
t
y input
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
isl_name_a
l
loc: fix
error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add isl_dim_
o
f
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
isl_
e
q
ua
l
ities
.
c:
f
ix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd isl
_
pw_qpolynomial
_
fol
d
_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_qpolynomia
l
_
l
e_
c
st
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately expor
t
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_se
t
_co
u
nt_u
p
to
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_st
r
eam_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
l
aege
add is
l
_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
i
s
l_ba
s
i
c_set_fo
r
each_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_as
_
polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qp
o
l
y
n
omial_substi
t
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_
s
et_
d
ims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
i
s
l
_ctx
:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
laege
a
d
d isl_qpolynomial_n
e
ginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erd
o
olaege
add isl_basi
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpolynomial_fold_opt_
o
n_dom
a
in: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doola
e
ge
isl_pw_*
_
eval:
f
i
x
handling of
e
mpty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
isl_basic_set_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdool
a
e
ge
export i
s
l
_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Ve
r
doo
l
aege
add isl_qpoly
n
o
mial_
g
et_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_m
a
p
_t
r
ansitive_closure: coalesce input before checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add
map_
l
ex_*_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdool
a
e
g
e
is
l
_
map_lex
_
l
e: use one basi
c
set less
in
result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
i
sl_str
e
am
:
accept l
e
xico
g
r
a
phic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_m
a
p_transit
i
ve_closure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
V
erdoolaege
add isl_printer_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl
_
m
ap_read: parse parametric
Ome
g
a input
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdo
o
laege
isl_map
_
read
:
fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_convex_hul
l
.
c
:
is
_
bound: any inequality
is a boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
i
sl_conve
x
_hull
.
c: add_bounds:
propagate
e
rrors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
e
n
V
erdoolae
g
e
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
isl
_
stream_next_token: termi
n
a
te
string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_trans
i
tive_closure: treat
e
quali
t
y
as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_trans
i
tive_closur
e
, om
e
g
a-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolaege
isl_map_tra
n
s
iti
v
e
_
c
losure:
use si
m
ple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdo
o
laege
isl_map
_
transiti
v
e_closure: try and c
o
mpute clo
s
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_coalesce: a
l
lo
w
wrappi
n
g in sets
t
hat stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdo
o
laege
isl
_
map_coales
c
e: allowing
c
u
t
ting equalities i
n
adj
a
ce
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
add some more coal
e
scing
test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoola
e
ge
i
s
l_b
a
sic_map_gist
:
b
e
mor
e
aggr
e
ssiv
e
in rem
o
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
aege
isl_s
t
r
ea
m
:
accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl
_
t
a
b_
r
ol
l
back:
res
t
ore row
s
tha
t
are no l
o
n
ger m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
doc:
docume
n
t si
m
p
l
e hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
doc: emp
h
asize tha
t
we are dealing wit
h
integ
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdool
a
e
ge
isl_transitive_clo
s
u
re
.
c: path_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_transitive
_
c
l
osure: comp
u
te
divs
o
f
i
np
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_
m
ap_comp
u
t
e_div
s
: m
a
ke
s
u
re result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolae
g
e
isl_printer_pri
n
t_p
w
_qpolynomia
l
:
properly p
r
i
n
t co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
is
l
_pi
p
and i
s
l
_cat: termina
t
e isl_ar
g
array with
ISL
_
ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
doc:
d
ocument setting and
getting of d
i
mension names
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
doc:
d
oc
u
me
n
t *_get_dim fun
c
t
i
on
s
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ve
r
do
o
laege
isl
_
map_con
v
e
x
_h
u
l
l
: ha
n
dle non
f
ull
-
dime
n
s
ional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdool
a
ege
is
l
_conv
e
x
_
h
u
ll
.
c
:
m
o
du
l
o
_
aff
i
ne_hull: drop redu
n
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
c
on
v
ex_
h
ull
.
c: convex_hull_pair: ski
p
dir
e
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdoolaege
i
s
l_print
e
r_print_basic_se
t
: fix up print
i
n
g t
o
string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
ad
d
isl_s
e
t_n
e
g and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verdoo
l
aege
isl_tra
n
sitive_
c
losur
e
.
c: fix
documentation of c
o
n
s
truct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
m
ap_
c
oalesce: ma
k
e sure re
s
ult still contain
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_tr
a
nsitive_c
l
o
s
ure: F
l
oyd-Warshall: pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en V
e
rdoolae
g
e
i
sl_map_transi
t
ive_closure: use
Floyd-Wa
r
shall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_transitive_c
l
osure
.
c: extract out isl_s
e
t_ove
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
isl_map_t
r
ansi
t
ive_closure: p
r
ojec
t
out
l
e
n
gth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erd
o
olaege
isl_tran
s
itive_clo
s
u
r
e
.
c
:
c
ons
t
r
u
ct
_
component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ve
n
Verdoola
e
ge
isl_map_transitive_closure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
e
r
doolaege
doc:
fi
x
typos
commit
|
commitdiff
|
tree
next