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_tab_select_facet: return int instead of isl_tab *
2010-06-12
S
ven
V
erdo
o
laege
isl_ta
b
_select_face
t
: return int in
s
tead
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoola
e
g
e
a
dd
isl_
b
asic_s
e
t_full_compre
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
olaege
p
r
ivatel
y
exp
o
rt isl_pw_qpolynomial_
m
orph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
la
e
ge
ad
d
isl_qpolynomial_fold_foreach
_
qpolynom
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
is
l
_pw_qpolynomial_f
o
l
d_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt i
s
l_pw
_
qp
o
lynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
p
r
ivate
l
y
e
x
p
ort i
s
l
_morph
_
alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add isl_qpol
y
nomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
e
x
port isl_pw_qpolyno
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d isl_ctx_peek_o
p
tion
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
laege
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
export isl_set
_
is
_
boun
d
e
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
isl_bou
n
d: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
fix
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_p
w
_qpolynomial_bound_
r
ange: fi
x
removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
sh
to dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdool
a
ege
doc: document
g
ist opera
t
i
ons
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
doc: document isl
_
con
s
traint_is_equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolae
g
e
isl_basic
_
map
_
forea
c
h_const
r
aint: make
s
ure inp
u
t has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en
Verdoo
l
aege
isl_basic_map_copy: mark du
p
licated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdool
a
ege
isl_basic_set_lift: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl
_
b
a
sic_ma
p
_mov
e
_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
b
as
i
c_map_f
r
o
m
_constraint
:
finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
isl_ac
c
e
ss_
i
nfo
_
co
m
pute_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
oolaeg
e
isl
_
access_info_c
o
mpute_flow: hand
l
e m
u
lti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
remove some u
n
u
s
ed
v
ariables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename
i
sl_pw
_
qp
o
lynomia
l
_
m
ove and add i
s
l_pw_
q
p
oly
n
o
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoo
l
aege
isl_ctx: keep track of u
s
er o
p
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdool
a
ege
impro
v
ed argum
e
n
t
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ve
r
d
o
o
la
e
ge
isl_options_pars
e
:
p
r
i
nt help mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound test applicatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qpolynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd
i
sl
_
pw_qpolynomial
_
fold_
m
orp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add rud
i
me
n
tary is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaeg
e
ad
d
isl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
o
o
laege
isl_equalities
.
c: fix ty
p
o in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaeg
e
add isl_m
a
t_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl
_
mat_nor
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolaege
add isl
_
m
at_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
laege
i
sl
_
mat_
l
in_to_
a
ff: fix error
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoola
e
ge
isl_qpolynomial_opt_on_
d
omain: han
d
le
empty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
do
o
lae
g
e
isl_name_a
l
loc: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
i
sl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
a
eg
e
isl_eq
u
aliti
e
s
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaeg
e
add isl_pw_qpolynom
i
al_fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
d
d isl_qpolynomia
l
_le_cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
private
l
y e
x
port isl_set
_
is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
add isl_set
_
c
o
un
t
_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
a
d
d
isl_set_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_stream
_
read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_
q
po
l
ynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpolynomial_fro
m
_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add is
l
_basic_set
_
foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
a
dd
isl_qpoly
n
omial_as_
p
o
l
ynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
a
dd isl_qpolynomia
l
_sub
s
titute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
dd is
l
_
bas
i
c_set_dims_get
_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_
c
tx: a
d
d z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
o
o
l
ae
g
e
add isl_qpo
l
ynomi
a
l_n
e
ginft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add isl_basic_s
e
t_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
isl_qpo
l
y
n
omi
a
l_fold_opt_on_d
o
m
ain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdo
o
laege
i
sl_pw_*_eval: fix handl
i
n
g of
e
mpty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
ege
add isl_basic_set_mo
v
e_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oo
l
aege
exp
o
r
t isl_qpolynomial_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolae
g
e
add isl
_
qpolynomial_
g
et
_
dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
i
sl_map_transitive_closure: coa
l
es
c
e input be
f
o
r
e c
h
ec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n V
e
rdo
o
laege
i
s
l_map_
l
ex_le: use one basic
s
et less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
isl_s
t
ream:
a
ccept lexicographi
c
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erd
o
olaege
isl
_
m
ap_transitive_closu
r
e: chec
k
if
i
nput is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
add
i
sl_
p
rint
e
r_flush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verd
o
olaege
i
s
l_ma
p
_read: parse parametric O
m
e
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_
m
ap_read: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Ver
d
oolaege
isl_con
v
ex_hull
.
c
:
is_bound: any inequality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verdoolaege
isl
_
conv
e
x
_h
u
ll
.
c: add_bounds: propagate
er
r
ors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven Verdoolaege
documen
t
isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n V
e
rdoolaege
is
l
_stream_
n
ext_token: t
e
rminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_tr
a
nsitive_closure: tr
e
at
e
quality as p
a
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_map_t
r
ansiti
v
e_closure, omega
-
like: only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ve
r
d
o
olaege
isl
_
map_transit
i
v
e_closure:
use
simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdoolaege
i
s
l
_
m
a
p_t
r
ans
i
tive_closure: t
r
y and c
o
mpute
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_coalesce: allow wrap
p
ing
i
n sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
isl_
m
ap_coalesce: a
l
lowing c
u
tting equalities in adj
a
cent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoo
l
a
eg
e
add some mo
r
e coal
e
s
cing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_basic_m
a
p_gi
s
t: be m
o
re aggressive in re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_stream: accept string t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoo
l
aege
i
sl_ta
b
_roll
b
ack: restore rows th
a
t are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: do
c
u
m
ent
s
imple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
ola
e
g
e
doc: empha
s
iz
e
t
h
a
t
we are dealing
with
i
nteg
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdo
o
laeg
e
isl_transi
t
i
ve_closure
.
c
: p
a
th_along_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
m
a
p_trans
i
tive_cl
o
sure: compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
isl_map_compute_divs: m
a
ke
sure
r
esult
is g
a
ussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_pr
i
nter_print_pw_q
p
olynomi
a
l: properly p
r
int constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n Verdoolaege
i
sl_pip and isl_cat: terminat
e
i
sl
_
arg array with ISL_AR
G
_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
l
aege
doc:
document
setting an
d
getting of di
m
ension names
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaeg
e
doc: document *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolae
g
e
isl_map_co
n
vex
_
hull: handle non f
u
ll-dimensional p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hu
l
l
.
c
:
m
od
u
lo
_
affine_hull:
d
rop red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
i
sl_convex_hu
l
l
.
c: c
o
nvex_h
u
ll_pair:
s
kip directi
o
n
.
.
.
commit
|
commitdiff
|
tree
next