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_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
2010-06-12
S
ven Verdoo
l
aege
export isl_qpo
l
ynom
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
sl_qpo
l
ynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
add isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl
_
q
po
l
ynomia
l
_add_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolae
g
e
a
d
d i
s
l_
q
polynomial_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
is
l
_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add
is
l
_qp
o
lynomial_
i
nsert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
add isl_qpolynom
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
isl_tab_dete
c
t
_impl
i
cit_equal
i
ties: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
d
d isl_tab_sign_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ve
r
doolaege
isl_
t
ab
_
sel
e
ct_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aeg
e
a
d
d isl_basic_se
t
_full_compression
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
priv
a
tely export isl
_
p
w
_q
p
o
l
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
add
isl_
q
p
olynomial_
f
old_
f
oreach_q
p
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
add isl_pw_qpolynomial_fold_f
o
r
eac
h
_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport
i
sl
_
pw_qpolynomial_fold_is_z
e
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
privat
e
ly exp
o
rt isl_morph_alloc and isl_
m
orph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ver
d
oolae
g
e
ad
d
isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ve
r
doolae
g
e
exp
o
r
t
isl_pw_qpolynomial_get
_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl
_
ctx_peek_
o
ptions
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
g
e
isl_range
.
c: fix ty
p
o in comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
export isl_set_i
s
_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
isl_bound: plu
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
fix isl_qp
o
ly
n
omial_
f
o
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
a
e
g
e
i
sl_pw_qpolynomial_bound_range: fix r
e
m
o
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
b
ou
n
d_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdool
a
ege
doc:
do
c
ument gist
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaeg
e
do
c
: do
c
ument isl_con
s
tra
i
nt_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdo
o
laege
add isl_ma
p
_is_
s
ing
l
e
_
va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_ma
p
_foreach_constraint: make sure
input
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic_map_
c
opy:
m
ark d
u
plicat
e
d copy
as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_b
a
s
i
c_set_
l
ift: finaliz
e
resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl
_
ba
s
ic_map_move_dims
:
always fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
erdoolaeg
e
i
sl_basic
_
map_
f
r
o
m_con
s
traint: fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdool
a
ege
isl_access_i
n
fo_compute_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_
i
nfo_compute_f
l
o
w
:
ha
n
dle multi-
v
alued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
r
dool
a
e
ge
remove
some u
n
used v
a
riab
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
Verdoolaege
rename isl_pw_qpolynomial_
m
ove
a
nd add isl_pw_q
p
olynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
is
l
_ctx: keep t
r
ack o
f
u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
do
o
laege
improved
argum
e
nt
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
isl_options_p
a
rse:
p
rint he
l
p message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
add isl_
b
ound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdo
o
laege
add isl_pw_
q
polynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_pw_qpolynom
i
al_fo
l
d_mo
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
r
u
d
ime
n
tary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
isl_equalities
.
c: f
i
x typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
add isl_mat_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_mat_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doola
e
g
e
add
i
s
l
_mat
_
diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl_mat_lin_to_aff
:
fi
x
error h
a
ndl
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomial_opt_on_domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
isl_
n
ame_alloc:
fix erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
er
d
oolaege
add
i
sl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
isl_eq
u
alities
.
c: fix typos
i
n
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomi
a
l_fold_
c
ove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaege
priv
a
tely e
x
p
o
r
t
i
sl_s
e
t_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
l
a
ege
add isl_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
add isl
_
st
r
eam
_
read_pw_q
p
olynomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
add isl_qpolynomial_from
_
term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
add isl_qpolynomial_from_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_basic_s
e
t_
f
or
e
ach_b
o
und_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add
isl_qpo
l
yn
o
mial_as_polynomial_on
_
domain
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolae
g
e
ad
d
isl_qp
o
l
yn
o
mial_substit
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_s
e
t_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaeg
e
a
d
d isl_q
p
oly
n
omial_n
e
gi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
a
dd i
s
l_basic_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpolynomial_fold_opt_on_domain: fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl
_
p
w
_*_eval: fix
h
andl
i
ng of empty input
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ver
d
oolaege
add isl
_
basi
c
_s
e
t_move
_
dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ver
d
oolaege
exp
o
rt isl_qp
o
lynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
d
oolaege
add isl
_
qpolynomi
a
l_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
isl_map_
t
ransitive_closu
r
e: coa
l
esce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
i
s
l_map_lex_le: use
o
ne
b
asic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl
_
stream: accept lexicog
r
aphi
c
o
perators
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verdoo
l
a
e
g
e
i
s
l
_map_trans
i
tive_clos
u
re: chec
k
if
input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaeg
e
add isl_print
e
r_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
isl_map_read:
parse p
a
rametric Ome
g
a
i
n
put
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_map_rea
d
:
f
ix
t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Ve
r
d
oolaege
isl_convex_hull
.
c: is_bound: an
y
inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdool
a
e
ge
isl_c
o
nv
e
x_h
u
l
l
.
c: add_bo
u
nds:
p
r
opagate err
o
r
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ve
n
Verdoolaege
d
o
cument isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
r
dool
a
ege
isl_stream_next_token:
terminat
e
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
is
l
_
m
ap_transitive_
c
l
osure: t
r
ea
t
equal
i
ty as p
a
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdool
a
ege
i
sl_map_transitive_closure,
om
e
ga
-
like
:
only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdool
a
eg
e
isl_map_tran
s
iti
v
e_closure: use
s
imple
h
ull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
ege
isl_map
_
transitive_closure: try and
c
o
m
pute
cl
o
s
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_map_coalesce:
a
ll
o
w wrapping in s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoo
l
aege
isl_
m
ap_
c
oalesce: allowing cutting equalities in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
laege
add
s
ome mo
r
e
coal
e
scing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_ba
s
ic_map_gist
:
be mor
e
agg
r
essi
v
e in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
i
sl_str
e
am:
a
c
c
ept string tokens
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdoolaege
isl_tab_ro
l
lback: re
s
tore
ro
w
s that are
no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdool
a
ege
d
oc: document si
m
ple hull
commit
|
commitdiff
|
tree
2010-04-21
S
ve
n
Verdoolaege
doc: emphas
i
ze that we are dealing
w
ith
i
n
teger
s
e
t
s
commit
|
commitdiff
|
tree
next