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_pw_qpolynomial_fold_foreach_lifted_piece
2010-06-12
Sven
Verdoo
l
a
e
ge
add is
l
_
p
w
_qpolynomial_fold_foreach_l
i
fted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpo
l
ynomia
l
_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privately export i
s
l_morph_alloc and
i
s
l_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
ad
d
i
s
l
_qpol
y
no
m
ia
l
_fold
_
get_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
export isl_
p
w_qpolynomial_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
aege
a
dd isl_ctx_p
e
e
k_options
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoola
e
ge
is
l
_range
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port
i
sl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ve
r
doolaege
isl_
b
ound:
p
lug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
fix isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
isl_
p
w
_
q
polynomial_bound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add bou
n
d_test
.
sh
t
o distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: document gi
s
t
o
p
e
rations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: doc
u
ment i
s
l_constraint_i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add i
s
l_m
a
p_
i
s
_
s
i
ngle_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
Verdoolaege
isl_
b
as
i
c_map
_
foreach_c
o
n
s
t
raint:
m
ake sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoola
e
g
e
isl_
b
asic_map_copy: mar
k
du
p
licated copy as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_basic_set
_
lift:
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl
_
bas
i
c_map_
m
o
v
e_d
i
ms: always fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic
_
map_from
_
constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
i
s
l
_
a
ccess_info_compute_flow: handle
m
ay ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolae
g
e
isl_access_i
n
f
o
_compu
t
e_flow: handle
m
ulti-v
a
lu
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
r
e
move
s
o
m
e
unused
va
r
iables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some i
c
c
wa
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_qpolynomial_
m
ove and add is
l
_
p
w
_
qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
doo
l
a
e
g
e
isl_ctx: keep tra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
i
mproved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
l
aege
isl_options_pa
r
s
e: pri
n
t help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaeg
e
add isl_
b
ound t
e
st application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d isl_pw_
q
polynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add i
s
l_pw_qpoly
n
omial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add rudimentary isl_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
dd isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_
e
qualities
.
c: fix
t
ypo in
co
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
ad
d
i
s
l_mat
_
i
n
sert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_norm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
a
e
ge
add isl_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
i
s
l_mat_lin_to_aff: fi
x
error
hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
isl_qpolynomial_o
p
t_on_
d
omain: han
d
l
e
emp
t
y inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verd
o
olaege
isl_
n
ame_alloc: fix
e
rror h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
is
l
_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
i
sl_equalities
.
c: fix
typos in comment
s
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
add isl
_
pw_q
p
ol
y
nomial_fo
l
d_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdo
o
la
e
ge
add
i
s
l
_
qpolynomial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
p
r
ivately
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
o
laege
add
i
sl_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
d
d isl_st
r
eam
_
read_
p
w_
q
polyn
o
mial
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
o
o
laege
add isl_qpolynomial_f
r
o
m
_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
dd i
s
l_qpol
y
nomial_fro
m
_c
o
nstraint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaeg
e
add isl
_
b
asic_set_
f
oreac
h
_boun
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_qpoly
n
omial_as_polynomial_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add is
l
_qpolyn
o
mial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add
i
sl_bas
i
c_se
t
_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verd
o
ol
a
ege
isl_ctx: a
d
d z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doola
e
ge
a
d
d
isl_qpolyn
o
mial_
n
e
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Ver
d
o
olae
g
e
isl_qpolynomi
a
l_fol
d
_
opt_on_domain: fix
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_pw_*_eval
:
fix h
a
n
dling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add isl
_
basic_se
t
_move
_
d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
export isl_q
p
olynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_get
_
dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaeg
e
is
l
_map_transitive_closur
e
: coa
l
e
s
ce input befo
r
e checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oo
l
a
ege
a
d
d
m
ap_lex_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
laege
isl_map_lex_le: use one basic set
l
ess in r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaeg
e
isl_stream:
a
ccept
lexico
g
r
aphic operators
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_map_transitive_
c
l
os
u
re: check if
i
nput is c
l
os
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdool
a
ege
ad
d
isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l
_map_read: parse par
a
metric Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl
_
co
n
vex_hull
.
c: is_boun
d
: a
n
y inequal
i
t
y
i
s
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolae
g
e
isl_conv
e
x
_
hull
.
c: add_bounds: propagate errors
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verd
o
o
l
aege
document
i
sl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
V
e
r
d
oola
e
ge
isl_stream
_
next_token: te
r
minate string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_map
_
transiti
v
e
_closure: treat equality a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map_
t
ransitive_c
l
osu
r
e, omega-like: only us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
ol
a
ege
i
s
l
_
map_tr
a
nsitive_closu
r
e:
use simpl
e
h
ull in o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Ve
r
doolaege
i
s
l_map_transitiv
e
_clos
u
re:
t
r
y and compute clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verd
o
olaege
isl_map_coalesce: al
l
ow wrap
p
ing in sets tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
do
o
laege
isl_ma
p
_
c
oale
s
ce: all
o
w
ing cutting equaliti
e
s
in
adja
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoola
e
ge
a
d
d some more coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Verdoolaege
isl_basic_map_gist:
b
e mo
r
e aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_s
t
ream: accept
s
tring
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolae
g
e
isl_
t
ab_
r
o
l
lback: restor
e
r
o
ws t
h
at
are no l
o
nger ma
r
ke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
ool
a
ege
d
o
c
: e
m
phasize that we are
d
ealing with
intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
laege
is
l
_transit
i
ve_clo
s
ure
.
c: path
_
a
lo
n
g_delta: onl
y
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
isl_map_tran
s
itiv
e
_closure:
c
ompute d
i
vs
o
f input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Ve
r
doolaege
isl_map_compute
_
divs: make
s
ure resu
l
t
is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
isl_
p
r
i
nter_p
r
int_
p
w_qpol
y
nom
i
al: proper
l
y print
con
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoo
l
aege
isl_pip
and isl_
c
at: terminate isl_ar
g
arr
a
y with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoo
l
aege
doc: docum
e
nt setting and getting of d
i
mension names
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc: document *_g
e
t
_
di
m
f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_map_con
v
ex_hu
l
l:
h
andle non full
-
dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
r
d
ool
a
ege
isl_convex_hull
.
c
: modulo_aff
i
ne_hull: d
r
op redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
i
sl_c
o
nvex_hull
.
c: convex_hull_pair: skip directio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdool
a
ege
isl_
p
rinter_print_
b
asi
c
_set: fix u
p
printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n V
e
rdoolaege
add
isl_s
e
t
_
neg and isl_s
e
t_
s
um
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Ve
r
doolae
g
e
isl_transitiv
e
_c
l
osure
.
c:
f
i
x documentation
o
f const
r
uct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_c
o
alesce
:
m
a
ke sure result still contains
s
et
.
.
.
commit
|
commitdiff
|
tree
next