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_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
2010-05-30
Sven Verdoo
l
aege
remove
s
ome unused v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Ver
d
oolaeg
e
fix
s
o
m
e icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
Verdo
o
laege
rename isl
_
pw_q
p
olynomi
a
l
_
mo
v
e an
d
a
d
d is
l
_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n
Ver
d
oolaege
isl_ctx: keep
t
r
a
ck of user o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoola
e
ge
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
eg
e
isl_options_pars
e
:
print
h
e
l
p
message
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
ge
add
i
s
l_bound
test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qp
o
ly
n
o
m
ial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
a
d
d
isl_pw_qp
o
lynomi
a
l_fold_
m
o
rp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
g
e
add
i
sl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
e
quali
t
ies
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
i
sl_mat_
i
nsert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat
_
normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
m
at_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
i
s
l
_
m
at_lin
_
to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
isl
_
qpolynomial_opt_on_domain
:
handle empt
y
in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
isl_name_a
l
loc
:
f
ix error
h
andling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
add isl_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
i
sl_e
q
ualitie
s
.
c: fix typos in c
o
mme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdool
a
e
g
e
add isl_pw_q
p
o
l
ynomial_fold_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
ad
d
isl_qpolyno
m
ial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
priv
a
tely export i
s
l_set_is_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
ad
d
isl_set_count
_
up
t
o
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl
_
set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
is
l
_strea
m
_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add is
l
_qpoly
n
o
mial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_
q
po
l
y
n
omial_
f
r
o
m
_constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolae
g
e
add isl
_
basi
c
_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add is
l
_qpol
y
n
omia
l
_a
s
_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpolynomia
l
_
substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
ad
d
i
sl_basic_set_d
i
ms_get
_
sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoo
l
aege
i
s
l_ctx:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
a
d
d isl_qpo
l
y
n
omial_neg
i
nfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl
_
basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
la
e
ge
isl_qpolynom
i
al_fold_opt_on
_
domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolae
g
e
isl
_
p
w_*_
e
va
l
:
f
ix h
a
ndling of
empty input
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add isl_basic_set_move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
ege
export isl_
q
polynomial_su
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add
isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
isl_map_t
r
a
n
s
i
t
ive_closu
r
e: coales
c
e inp
u
t before
ch
e
ck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoola
e
ge
i
s
l
_map_lex_le: u
s
e one
b
asic
se
t
less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoolaeg
e
isl_stream: acc
e
pt
lexicog
r
a
p
hic ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
S
ven Ver
d
oolaege
isl_map_
t
ra
n
sitive_closure: c
h
eck
if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
add isl_p
r
i
n
t
e
r_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
ap_read: pars
e
parame
t
ri
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_m
a
p_
r
ead
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_convex_hull
.
c: is_bound:
a
ny in
e
quality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_
c
onvex_hull
.
c
: ad
d
_
b
o
unds: propagate erro
r
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
docu
m
ent isl_map
_
rev
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
V
erdoolaege
isl_st
r
eam_next_token: terminate string toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_map_transi
t
ive_closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
doolaege
i
sl_m
a
p_transitive_closu
r
e, o
m
ega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdoolaege
isl_ma
p
_transitive_closure: use si
m
pl
e
hu
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_map
_
transiti
v
e_cl
o
sure: try and
c
o
m
pute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_coalesc
e
: allow wrapping i
n
sets
tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
olaege
isl_
m
ap_coales
c
e: a
l
lowing cutting equalit
i
es in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Ve
r
doola
e
ge
add some more coales
c
ing test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
S
ven
V
erdo
o
laege
isl_b
a
sic_
m
ap_gi
s
t: be mor
e
aggress
i
ve
i
n removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l
_s
t
ream:
a
ccept stri
n
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolae
g
e
isl_tab
_
rollback: restore rows t
h
at
are
no lo
n
ger
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoolae
g
e
d
o
c
:
doc
u
men
t
s
i
mple
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
o
laeg
e
doc:
em
p
hasi
z
e that we
a
re dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive_closure
.
c:
p
ath_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
isl_map_
t
ran
s
itive_clos
u
re
:
compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ve
r
doolaege
i
sl_ma
p
_compute_
d
i
v
s: make
s
u
r
e re
s
ult i
s
ga
u
ssed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
l
a
ege
isl_print
e
r_print_pw_qp
o
l
y
nom
i
al: properly print
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
la
e
g
e
isl_pip and is
l
_
c
a
t
:
termi
n
ate i
s
l_arg array
w
ith ISL_A
R
G
_END
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoo
l
a
e
ge
doc: do
c
ument setting and ge
t
ting of
dimen
s
ion nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
doc:
d
oc
u
ment *
_
get_dim fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
is
l
_map_con
v
ex_hull: handle non full-dimen
s
ional pa
i
rs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l
_convex_hull
.
c:
m
o
d
u
lo_affine_hul
l
:
drop
redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl
_
con
v
ex
_
hu
l
l
.
c
: convex_hull_pair: skip directi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdo
o
laege
isl_pr
i
nter_print_
b
asic_set: fix up pri
n
ting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdool
a
ege
add isl
_
s
et_neg and isl_set
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoo
l
aege
isl
_
t
r
ansitive_c
l
osur
e
.
c: fix d
o
cumentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_coale
s
c
e:
m
ak
e
sure result stil
l
contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_m
a
p_transit
i
ve_closu
r
e: Fl
o
yd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl
_
m
a
p_
t
ran
s
itive_closure: use
F
loyd-Wars
h
all on dis
j
oint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
i
sl_transiti
v
e_closure
.
c
:
e
xtract out isl_
s
et_o
v
e
rlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
aege
isl_map_
t
ransitive_clos
u
re:
p
roject out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
Ve
r
doola
e
g
e
isl_
t
ransitive_c
l
osure
.
c: cons
t
r
u
c
t
_
component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doola
e
ge
isl_
m
ap_transitive_closure: do
n
't add len
g
th p
a
ram
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc: fi
x
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_set_gist: ma
k
e context argu
m
ent an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolae
g
e
isl_m
a
p_tr
a
nsitiv
e
_closure:
coales
c
e i
n
p
ut map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Ver
d
oo
l
aege
isl_transit
i
ve
_
closure
.
c:
c
o
nstruct_component: al
w
a
ys
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ve
r
doolaege
doc: cite Om
e
ga l
i
br
a
ry documentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven V
e
r
doolaege
a
dd
isl
_
stream_
r
ead_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
isl_arg
.
h: a
d
d mis
s
in
g
inclu
d
e
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Ve
r
dool
a
e
ge
isl_
b
asi
c
_
m
a
p
_
move_dims: normalize
e
q
ualiti
e
s
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Ver
d
oolaege
rename isl_map
_
move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_options_parse: only parse
known op
t
ions
b
y default
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_map_c
l
osu
r
e
: option
a
l
l
y
use Omeg
a
-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
c
losure: take o
p
tions
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map
_
affine_h
u
l
l
: h
a
ndle
n
on-obv
i
o
usly empty
i
nput
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
d
oo
l
a
ege
isl_
m
ap_compu
t
e_divs: hand
l
e
n
o
n
-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_basic_set_
p
reim
a
g
e: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
lae
g
e
isl_basic
_
map_set_to_empty:
a
dd mi
s
sing as
s
ign
m
e
nt
commit
|
commitdiff
|
tree
next