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_piece
2010-06-12
S
ven Verdoolaege
add
isl_pw_qpolynomial_fo
l
d_foreach_pi
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
ad
d
p
a
rametric ver
t
ex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl
_
m
orph_dom_dim and is
l
_morph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_basic_
m
a
p
_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately expor
t
isl_basic_se
t
_sor
t
_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
i
s
l_t
a
b_det
e
ct_im
p
li
c
it_equalities:
a
lso de
t
ect m
a
n
i
f
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_t
a
b: opt
i
o
n
a
lly only mar
k
strict
l
y
redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
general
i
ze isl_pw_
q
polynomial_bound to
i
sl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
ex
t
r
a
ct out generic part of isl_pw_q
p
olynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_pw_qpolynomial_bound_rang
e
: also set exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add is
l
_basic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
export isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export isl_qpol
y
nomial_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add is
l
_qpolynomial_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
r
d
o
ol
a
ege
add isl
_
q
p
o
lynomial
_
f
r
om_affine
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
export isl_qpo
l
ynomial_add
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_qpolynom
i
al_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
qpolynom
i
a
l
_deg
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
dd isl
_
qpolynomial_in
s
ert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
q
p
o
lyno
m
i
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
isl_c
t
x: add
two
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
i
sl_
t
ab_detect_
i
mplici
t
_eq
u
alities: r
e
t
u
rn i
n
tege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
l
aege
add i
s
l_tab_sign
_
of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_select_facet:
return in
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
s
l
_basi
c
_set_full_compr
e
s
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately
export
i
sl_pw_qpolynomial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpol
y
nomial_f
o
l
d
_foreach_qpo
l
y
n
omial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
isl_
p
w_qpolynomi
a
l_f
o
l
d_foreach_lifted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
expo
r
t isl_pw_qpolynomial
_
fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoo
l
a
ege
pri
v
ately
ex
p
ort isl_m
o
r
ph_alloc and i
s
l_morph_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
isl_qpolyno
m
ial_
f
ol
d
_
g
e
t_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export isl_pw_qpo
l
ynomia
l
_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_ctx_peek_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
sl_range
.
c: f
i
x
typo in
c
omment
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ex
p
or
t
isl_set_is_boun
d
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_bound
:
p
l
u
g
memory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
isl_p
w
_qpo
l
ynomial_bound_range: fix
r
emoval of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
ad
d
bo
u
nd_test
.
s
h
t
o
d
istrib
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdoolaege
d
o
c: document gist op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
d
o
c
: docume
n
t
isl_c
o
n
st
r
aint
_
is_equ
a
l
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
a
d
d is
l
_map_is_single_
v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sven
Ve
r
d
o
olaege
isl_basic_m
a
p_foreac
h
_cons
t
r
ain
t
: make sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
i
sl_bas
i
c_map_copy: mark duplicat
e
d copy as
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
er
d
oolaege
isl_basic_
s
et_lift: fi
n
a
lize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_
b
asic_map_
m
ove_d
i
ms: always finaliz
e
resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
o
ola
e
ge
isl_basic_m
a
p_from_co
n
straint:
finaliz
e
r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdool
a
ege
i
s
l_acce
s
s
_info_
c
ompu
t
e_flow: h
a
ndle may accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en V
e
rdo
o
laeg
e
isl_access_in
f
o_compute_
f
low: handle multi-value
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
re
m
ove some
u
nused variables
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaeg
e
fix some icc warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
r
enam
e
i
s
l_pw_qpolynomi
a
l_move
a
n
d add isl_
p
w_q
p
olyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
isl_ctx:
k
eep
t
rack of
u
ser o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
isl_optio
n
s_p
a
rse: print help
messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add i
s
l
_
b
ound test
a
ppli
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
add isl_pw
_
qpolynomial_
b
ound_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l
_
pw_qpolynomi
a
l_f
o
ld_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add rudimentary isl_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd isl_seq_s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolae
g
e
isl_
e
qualitie
s
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
add isl_mat_
i
nsert_
r
ows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd isl_mat_normal
i
ze
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erd
o
olaege
add
isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
isl_m
a
t_l
i
n_to_aff: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpoly
n
omial_opt
_
on_do
m
ain: handle empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
name_alloc: fix
e
r
r
o
r ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
ae
g
e
add isl_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
i
s
l_equ
a
litie
s
.
c:
f
i
x typo
s
in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial_f
o
ld_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
p
rivate
l
y export
isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add
isl_set_c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
add
i
sl_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add is
l
_stre
a
m_
r
ead_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
is
l
_qpol
y
nomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
olynomi
a
l
_from_
c
o
n
s
tr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
ad
d
isl_basic
_
set_
f
o
r
e
a
ch_
b
ou
n
d_pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
add
isl
_
q
p
o
lyn
o
mial_as_polyno
m
ial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdo
o
l
a
ege
add
isl_qpoly
n
omial
_
s
u
bstit
u
te
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add isl_basic
_
set_dims
_
g
et_
s
ig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_ctx: add z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_
q
po
l
yno
m
ial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
a
dd isl_bas
i
c_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
isl_qpoly
n
o
m
ial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
is
l
_pw
_
*_eval: fix handling of em
p
ty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_set_move_d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpol
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ver
d
oolaege
a
dd isl
_
qpolyno
m
ial_g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
isl_map_tra
n
sitive_closure:
c
o
a
les
c
e input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ve
r
do
o
laeg
e
add
map_lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
e
n
Verdoolae
g
e
i
sl
_
m
a
p_lex_le: u
s
e one b
a
sic
set
less
i
n
result
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoolae
g
e
i
sl_str
e
a
m: accept lexic
o
graphic
o
pe
r
ators
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
r
doolaege
isl_
m
ap_transi
t
ive_closure: check
if
input is
clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
a
dd isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map
_
read: parse parametric
Om
e
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolae
g
e
isl_map_read: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-04-28
S
v
en V
e
rdoolaege
isl_convex_hull
.
c: i
s
_boun
d
:
an
y
in
e
qu
a
l
i
ty is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
laege
isl_convex_h
u
ll
.
c: a
d
d
_bo
u
nds: p
r
opagate err
o
rs from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdoolaege
document isl_map_reverse
commit
|
commitdiff
|
tree
next