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_qpolynomial_from_affine
2010-06-12
Sven Verdoolaege
add is
l
_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
oo
l
aege
e
x
port isl_qp
o
lyn
o
m
ial_add_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyn
o
mial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynomial_de
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_
q
polynom
i
al_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add i
s
l_qpolyno
m
ial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
o
laege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_t
a
b_detect_implicit_equ
a
lities
:
return int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ve
r
doolaege
add isl_tab_si
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab_se
l
ect_facet: r
e
tur
n
i
n
t
instead of
isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add isl_basic_set
_
full_c
o
mpression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
p
r
ivately
e
xp
o
rt isl_pw_qpolynomial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd isl_qpo
l
yno
m
ial_fold
_
foreac
h
_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpolynom
i
al_f
o
ld_for
e
ach_l
i
fted_p
i
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_pw_qpolyn
o
mial_fol
d
_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
privat
e
ly ex
p
ort isl_morph_alloc and isl_morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
add
isl_
q
polynomial_fold_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rd
o
olaege
export
i
sl_pw_qpolynomial_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolae
g
e
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
e
xport
i
sl
_
set
_
is_b
o
un
d
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
is
l
_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
fix isl_qpolyno
m
ial_fol
d
_
d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw_
q
poly
n
omia
l
_bound_
r
a
nge: fi
x
remova
l
o
f 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 Verdo
o
l
a
ege
doc: doc
u
ment gist o
p
eration
s
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verd
o
olaeg
e
doc:
d
ocument isl_constraint_i
s
_
equ
a
lit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
a
ege
a
d
d
isl_map
_
is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdo
o
l
aege
isl_basic_map_foreach_con
s
t
rai
n
t:
m
a
k
e s
u
r
e input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoo
l
a
ege
isl_basi
c
_m
a
p
_copy: ma
r
k
duplica
t
ed copy as fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolae
g
e
isl_basic_
s
et_lift: fin
a
l
i
z
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
a
ege
isl_basic_
m
ap_move_dim
s
: al
w
ays finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
is
l
_basic_map_
f
rom_
c
o
n
straint: f
i
nalize
result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
isl_ac
c
ess_info
_
com
p
ute_flow
:
handle
may ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verdoolaege
isl_access_i
n
f
o
_c
o
mpute_flow: hand
l
e multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
r
em
o
ve some un
u
sed variables
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
r
doolaege
fi
x
so
m
e icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdoolaege
rename i
s
l_pw
_
q
p
olyn
o
mial_move and add isl_pw_qpolynomi
a
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
Verdoolaege
i
s
l
_ctx: kee
p
t
rac
k
of user optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved argument p
a
rsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_
o
ptions_parse: print help mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
a
dd isl_bound test applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw
_
qpolyno
m
ial_b
o
und_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aeg
e
a
dd isl_
p
w_qpo
l
yn
o
mial_
f
old_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
e
ge
add
rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
o
l
aege
ad
d
isl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doo
l
a
e
g
e
isl_equalit
i
e
s
.
c
:
f
i
x
typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
a
d
d
isl_mat_insert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_mat_normaliz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_mat
_
d
i
a
g
onal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
is
l
_mat_l
i
n
_
t
o_aff
:
fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_
q
p
o
lynomia
l
_
o
p
t_on_domain:
handle e
m
pty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
i
sl_
n
ame_alloc: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
add i
s
l_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
is
l
_equalitie
s
.
c: fix
typos in
comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_pw_qp
o
lynomial_fo
l
d_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add
i
sl_
q
pol
y
n
o
mial_le_cs
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
p
rivately export
i
sl_se
t
_
i
s_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdool
a
e
g
e
add is
l
_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
ad
d
isl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_
s
tream_read_p
w
_
qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdo
o
laege
add isl_qpoly
n
omial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaeg
e
add isl_basi
c
_set_foreach_bo
u
nd_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n V
e
rdoo
l
a
ege
add isl_q
p
olynomial_as
_
polynomial_on_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaege
ad
d
isl_q
p
olyn
o
mi
a
l_substi
t
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
add isl_basic
_
set_d
i
m
s_get_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
oola
e
ge
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoola
e
ge
add isl_q
p
ol
y
nomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
e
rdoolaege
add isl_basic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolae
g
e
isl_qpolynomial_fold_opt
_
on_do
m
a
in: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ve
r
doolaege
isl_pw
_
*_eval: fix ha
n
dling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add isl
_
basic_set
_
mov
e
_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export is
l
_
qpo
l
ynomial
_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
isl_
q
poly
n
om
i
al_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
r
doolaege
is
l
_map
_
t
r
a
nsit
i
ve_clo
s
ure: c
o
a
lesce in
p
ut bef
o
re
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdool
a
e
g
e
a
dd
map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en
V
erdoo
l
aege
isl_map_lex_le: use
o
n
e basic set less in r
e
s
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
i
s
l_stream: accept lex
i
cographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verd
o
o
l
aege
isl_map_transiti
v
e_closure: check if input
is cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven
V
e
rdoolaege
add isl
_
printer_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_read: parse parame
t
ric Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdo
o
la
e
ge
isl_map_
r
ead: fix t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_convex_
h
ull
.
c: is_bound
:
a
ny inequalit
y
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
r
doolaeg
e
i
sl_convex_hu
l
l
.
c: add_bo
u
nds:
p
ropagate errors f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
ool
a
e
ge
docu
m
ent isl_map_
r
e
verse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
i
s
l_st
r
e
a
m_next_token:
terminate stri
n
g tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_t
r
a
nsiti
v
e_clos
u
re: treat
e
quality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map
_
t
ransiti
v
e_closure, om
e
ga-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoo
l
a
ege
isl_ma
p
_
t
r
a
n
sitive_c
l
o
s
ure: use simp
l
e hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoo
l
a
eg
e
isl
_
map_transit
i
ve_closure: try and c
o
mput
e
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_co
a
lesce:
al
l
ow w
r
ap
p
in
g
in sets
that s
t
ick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven V
e
rdoolaege
i
s
l
_m
a
p_coales
c
e: allowin
g
cutti
n
g
eq
u
alities in
adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
add some m
o
re coa
l
escing test
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
i
sl
_
b
a
sic_map_gist: be more ag
g
ressive in
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl
_
stream: accept string token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
a
ege
isl
_
tab_ro
l
lback: restore rows th
a
t are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: d
o
c
u
men
t
simple hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aeg
e
d
o
c: emphasize that we are dealing wit
h
inte
g
er sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdoolaege
i
sl
_
tran
s
i
tive_closu
r
e
.
c: path_along
_
delta: only a
v
oid
.
.
.
commit
|
commitdiff
|
tree
next