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_qpolynomial_fold_get_type
2010-06-12
Sven
V
er
d
oo
l
a
e
ge
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
export isl
_
pw_qp
o
lynomial_g
e
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd
i
sl
_
c
t
x_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doola
e
ge
isl_range
.
c
:
fi
x
t
y
po in comment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
export isl
_
set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_bound:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
fix isl
_
qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
isl_pw_qpolynom
i
al_
b
oun
d
_ran
g
e: fix re
m
oval
o
f dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add bound_tes
t
.
sh to distrib
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: d
o
cument gist op
e
rations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
V
erd
o
olaege
do
c
: document isl_constraint_
i
s_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rd
o
ol
a
ege
a
d
d i
s
l_map_is
_
sing
l
e_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
is
l
_basic_map_foreach_constra
i
nt: m
a
ke
s
u
re input h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_b
a
sic_map
_
co
p
y: mark dupl
i
c
a
t
ed
c
opy as finalize
d
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolae
g
e
isl_basic_set_li
f
t: finaliz
e
res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_b
a
sic_m
a
p_move_dims:
a
lways fina
l
ize
re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_map_from_constrai
n
t
: f
i
nali
z
e result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
isl_access_info_compu
t
e_flow: handle may
a
ccess
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n
Verdoolaege
i
sl_access_info_compute
_
flow: ha
n
dle mu
l
t
i
-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
remove som
e
unus
e
d v
a
r
iabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
fix some
i
cc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename is
l
_
p
w
_qpolynomial_move
and add is
l
_p
w
_
qpolynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Ve
r
doola
e
ge
is
l
_
ct
x
: keep track of use
r
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
doo
l
aege
improv
e
d argument parsing
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaeg
e
is
l
_options
_
p
arse:
p
rint
h
elp mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_
b
oun
d
t
e
st application
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rd
o
o
laege
add
isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
d
d isl_pw
_
qpolynomial_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
rud
i
m
ent
a
r
y isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
erdoolae
g
e
add
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
s
l_equa
l
ities
.
c
: f
i
x typo in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
ae
g
e
add
i
sl_mat
_
inser
t
_
rows
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
ad
d
isl_mat_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaeg
e
i
s
l_mat_lin_t
o
_a
f
f: fi
x
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_
q
poly
n
omial_op
t
_on_domai
n
: handl
e
empty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_name_alloc: fix
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
isl_equalities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolaege
add is
l
_pw_qpolynomial_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d
isl_q
p
olynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolae
g
e
privately
e
xport isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d i
s
l
_
set_
c
ou
n
t
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
add is
l
_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
dd
i
sl_stream
_
read_pw_q
p
oly
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
isl_qp
o
lynom
i
al_from_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaeg
e
add i
s
l
_qpolyn
o
mial_fr
o
m_const
r
aint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_basic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
add isl_qpolynomial_as_p
o
lynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_qpolynomial_su
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
o
olaeg
e
a
d
d
isl_
b
asic
_
set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verd
o
o
laege
isl_ctx: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ve
r
doolaege
add isl_qpolynom
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoo
l
aege
add is
l
_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_qpolynomia
l
_
fold_
o
pt_o
n
_domain: f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
e
rdool
a
ege
isl_
p
w_*_e
v
al
:
fix handling
o
f empty input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaeg
e
a
dd
isl_basic_set_
m
ove_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
export isl_qpolyn
o
m
ial_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
a
dd isl_
q
polynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
is
l
_map_transit
i
v
e_closure: coalesce input before checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
a
dd m
a
p
_
l
ex_*_fi
r
s
t
commit
|
commitdiff
|
tree
2010-05-01
S
ven
Verdoolaege
i
s
l
_map_le
x
_le: use one basic
s
et less i
n
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoo
l
ae
g
e
i
s
l_stream: accept lex
i
cog
r
aphic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_map_transitiv
e
_closu
r
e: chec
k
if input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_prin
t
er_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
isl_map_
r
ea
d
: parse parametri
c
Om
e
ga in
p
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoo
l
aege
isl_map_read: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_convex_hull
.
c: is_boun
d
: any i
n
eq
u
ali
t
y is
a bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaeg
e
isl_convex
_
hul
l
.
c
: add_bo
u
nds: propagate
e
r
r
ors f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdoolaege
document isl_m
a
p_r
e
verse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
isl_str
e
am_next_tok
e
n: termina
t
e
s
tring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdool
a
ege
i
sl_map
_
tra
n
sitive_closure: t
r
e
a
t eq
u
al
i
ty a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
d
ool
a
e
g
e
is
l
_map_tra
n
s
itive_closure
,
omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verd
o
olae
g
e
isl_map_transitive_closure: use simple hull i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Ver
d
oolaege
isl_map_transitive_cl
o
s
ure: try and compute clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
g
e
isl_map_
c
oalesc
e
: allow wrapping
i
n sets that
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map_coalesce
:
allowing c
u
t
ting equali
t
ies in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
ad
d
some
m
ore
c
o
alescing test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_basi
c
_ma
p
_gist: b
e
mo
r
e aggr
e
ssive in r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ve
r
doola
e
ge
isl_stre
a
m: accept s
t
rin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
la
e
ge
isl
_
tab_r
o
ll
b
a
c
k
: rest
o
r
e
rows tha
t
are
no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
doc: d
o
cu
m
ent s
i
mple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
doc:
e
mp
h
asize that we are dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl_trans
i
tiv
e
_c
l
osure
.
c: pat
h
_a
l
o
n
g
_delta: only av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
oolaeg
e
isl_map_
t
ransitive_closu
r
e: compu
t
e di
v
s
o
f input
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaeg
e
isl_map_compute_divs: m
a
ke sure result i
s
gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
i
sl_printer_
p
rint_pw_q
p
olynomial: pro
p
e
r
ly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
rdo
o
laege
isl_pip an
d
isl_ca
t
: te
r
minate
i
sl_arg ar
r
ay with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc:
d
ocument s
e
tting and getting o
f
dimension na
m
es
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
o
c:
docu
m
ent *_get_dim function
s
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_map
_
convex_hull:
h
andle non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoo
l
a
e
g
e
i
s
l_convex_hull
.
c: m
o
dulo_af
f
ine_hull:
d
ro
p
red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_convex_hull
.
c
: c
o
n
v
ex_hull_pai
r
:
s
kip direc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoo
l
aege
isl_printer
_
pri
n
t_b
a
si
c
_set: fix
up
p
r
i
nting to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdoolaege
add isl_s
e
t_neg
and isl
_
set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n
V
erdoola
e
ge
isl_transitive_closur
e
.
c: fix docum
e
ntation o
f
construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdoolaege
isl_map_coalesce: mak
e
sure res
u
lt still
contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
i
sl_map_transi
t
ive_c
l
osure: Floyd-Warshall: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_map_transitive_closur
e
:
use Fl
o
yd-
W
arshall on d
i
sjoi
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ve
r
doo
l
a
e
ge
isl
_
transit
i
ve_c
l
o
sure
.
c:
e
xtr
a
ct out
isl_
s
et_overlaps
commit
|
commitdiff
|
tree
next