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
doc: document isl_constraint_is_equality
2010-06-04
Sven Verdoolaege
doc: document isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
a
d
d isl_m
a
p_is_
s
ingle_
v
a
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl
_
b
asic_map_foreach_cons
t
raint: make
sure inp
u
t has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Ve
r
d
o
olaege
isl_basic_map_copy: m
a
rk duplic
a
t
e
d copy as finali
z
ed
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
rdoolaege
isl_basic
_
set
_
l
if
t
: f
i
nalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
erdoolaege
isl_basic_map_m
o
ve_d
i
ms: always
fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_from_constraint: final
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doo
l
a
ege
is
l
_
access
_
info_compute_flow
:
handle
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
e
rdoolaege
isl_acce
s
s_i
n
f
o
_co
m
pu
t
e_fl
o
w: ha
n
dle m
u
l
t
i-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
laege
remove some un
u
se
d
variables
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
Verdoolaege
rename isl_pw_
q
polynom
i
a
l_
m
ove
a
nd add isl
_
pw_
q
p
ol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
is
l
_c
t
x
: keep tr
a
ck
o
f user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
i
mp
r
oved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
is
l
_options_parse: print
h
elp mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaege
add
i
sl_bound
t
e
st application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d isl_pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erd
o
olaege
a
dd isl_pw_qpolynomial_
f
ol
d
_m
o
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
r
d
oolaege
a
d
d rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
ad
d
isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_equalities
.
c:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_mat_nor
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_
m
at_di
a
gona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_mat_lin_t
o
_aff
:
f
i
x error handling
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
dool
a
ege
isl_qpolynomial_opt_on_domain: h
a
ndle empty
i
np
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
isl_name
_
alloc:
f
ix erro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
a
d
d isl_dim_
o
ff
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
it
i
es
.
c
:
f
i
x typos in comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
add isl_pw_qpolyn
o
mial_
f
old_co
v
e
rs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d i
s
l_qpolynomial
_
le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
priv
a
tely ex
p
or
t
isl_set_is_bo
u
nde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oola
e
ge
add
i
sl_set_count
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add
i
s
l_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d isl_st
r
eam_read_pw_
q
pol
y
nomia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_qpolynomial_from
_
term
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ve
r
doolaeg
e
add i
s
l_qpolynomial_fr
o
m_con
s
traint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_basic_set
_
fo
r
each
_
bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpol
y
nomial_as_polynom
i
al
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolyno
m
i
a
l_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
add is
l
_bas
i
c_set_dims_get
_
sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
ege
add
i
s
l_q
p
olyn
o
mial_neg
i
n
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoo
l
aege
add isl_basic_set_dr
o
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaeg
e
isl_qp
o
lynomial_fold_opt_on_
d
om
a
in: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_pw_
*
_e
v
al: f
i
x handli
n
g of empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdo
o
laege
ad
d
i
s
l_basic_set_
m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
e
x
port isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add is
l
_qpolynomi
a
l_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erd
o
olaege
isl_ma
p
_trans
i
t
i
ve_closure: coale
s
c
e
i
nput bef
o
r
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_le
x
_
*
_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n
V
erdoo
l
aege
i
sl_
m
ap_lex
_
le
:
use one
basic set
l
e
ss in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
isl_s
t
ream: accep
t
le
x
icographic ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map
_
t
rans
i
tive_closure: check if input is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
lae
g
e
add isl
_
printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_ma
p
_read:
parse param
e
tric Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
i
s
l_m
a
p_re
a
d: fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
i
s
l_con
v
ex_hull
.
c: is_bound:
a
n
y inequ
a
lity
is a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
d
oo
l
aege
isl_convex_h
u
ll
.
c:
a
dd_
b
ounds:
p
ro
p
agat
e
erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
Ve
r
doolae
g
e
d
ocum
e
nt isl_map
_
rever
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
isl_stream_next_token
:
terminate s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_map_transitive_
c
los
u
re: treat equality as
p
a
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oo
l
aege
isl_map_trans
i
tive_c
l
osure
,
omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_trans
i
tive_c
l
osure:
u
s
e s
i
mple
h
ull in om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
i
s
l
_ma
p
_tran
s
itive
_
clo
s
ure: try and
compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoo
l
aege
isl_map_coalesce: allo
w
wrapping in sets tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_coalesce: al
l
owin
g
cutting equal
i
ties
in a
d
j
ac
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaeg
e
add some
m
ore coal
e
s
cing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_ba
s
ic_m
a
p
_gist: be more aggr
e
ssiv
e
in
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
is
l
_
s
tream
:
accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_tab_ro
l
lback: res
t
ore rows that are no longer
m
a
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: document simple h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
aege
d
o
c: emphasize that w
e
ar
e
dealing with
i
nteger sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_transi
t
iv
e
_closure
.
c:
p
ath_along_delta: only av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_transitive
_
cl
o
sure
:
compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
l
a
ege
isl_
m
a
p_compute_div
s
:
make sure
result is
g
aussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
isl_p
r
i
nte
r
_pr
i
n
t
_
p
w_q
p
ol
y
nomial: p
r
operly p
r
int constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l_pip a
n
d i
s
l_ca
t
: terminate
i
sl_arg
array with ISL
_
ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: document s
e
tt
i
ng an
d
getting of
d
imens
i
o
n
nam
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: documen
t
*_
g
et_
d
im functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
eg
e
isl_map_
c
o
n
vex_hull:
h
a
ndle non full-d
i
mensional
pai
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_conv
e
x_hull
.
c: modu
l
o
_
af
f
i
ne_hull:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
V
erdool
a
ege
isl
_
c
onvex
_
h
u
ll
.
c: con
v
ex_hull_pair: skip directio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
e
r
doolaege
isl_prin
t
er_print_
b
asic_set: fix up printing to
st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add
isl_
s
et_neg and isl_set_
s
um
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transi
t
i
ve_closure
.
c
:
f
i
x documentation of construct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_m
a
p_
c
o
a
l
e
sce: make s
u
re r
e
sult
st
i
l
l
contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_map_transitive_closure: Floyd-Warsh
a
ll: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolae
g
e
is
l
_
m
ap_transitive_closure: use F
l
o
yd-Warshall on
d
isj
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
do
o
laege
isl
_
transi
t
ive
_
clo
s
ure
.
c: extra
c
t out
i
sl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_c
l
osure:
project
o
ut
length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoo
l
aege
isl_tra
n
s
i
t
ive_closure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
r
d
oolaeg
e
i
sl_
m
ap_transitive_clos
u
re: don't
a
dd l
e
ngth p
a
r
a
m
et
e
r
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rd
o
ol
a
ege
i
s
l
_
set_gist
:
make context argume
n
t an i
s
l_set f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
i
sl_map_transitiv
e
_closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolae
g
e
isl
_
tr
a
nsitiv
e
_
clo
s
ure
.
c: construct_
c
omponent:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
e
rdoolaege
d
o
c: cite Omega
library documen
t
at
i
on o
n
c
o
m
p
u
tation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
a
dd isl_s
t
ream_rea
d
_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdo
o
laeg
e
is
l
_arg
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Ver
d
oolaege
isl_b
a
s
i
c_map_move_dims: nor
m
alize equ
a
lities
commit
|
commitdiff
|
tree
next