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
export isl_pw_qpolynomial_fold_drop_dims
2010-06-12
Sven
V
erdoolaege
export isl_pw_qpolynomia
l
_
fo
l
d_drop_dim
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export i
s
l
_
qpolynomi
a
l_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomi
a
l
_
from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoola
e
ge
ex
p
or
t
isl_qpoly
n
omial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
isl_qpolynomial_
h
omog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpo
l
y
n
o
mial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyno
m
ial
_
insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
oolaege
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_
c
tx:
ad
d
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_tab
_
detect_implici
t
_equalities: ret
u
r
n
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
add isl_ta
b
_sign
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
isl_ta
b
_select_face
t
: return int
ins
t
ead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_basi
c
_set_fu
l
l_compres
s
io
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivat
e
ly ex
p
ort isl_pw_qpolyn
o
mial_morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
add i
s
l
_qpol
y
no
m
ia
l
_fo
l
d_foreach
_
qp
o
l
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
a
d
d is
l
_
p
w
_
qpolynomial_fold_f
o
reach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export
i
s
l_
p
w
_qpolynomial_fold_
i
s_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
p
r
ivately e
x
port
i
s
l_mo
r
ph_allo
c
a
n
d isl_morph_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
la
e
ge
ad
d
isl_qpo
l
ynomial_
f
o
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
expor
t
isl_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
ola
e
ge
isl_range
.
c: fix
t
y
po in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
o
r
t
i
s
l
_
set
_
i
s
_
b
ou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl
_
bound: plug
m
emory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
fi
x
isl_q
p
olynomial_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
g
e
isl_pw_qp
o
l
y
nomial_bound_range: fix removal of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoola
e
ge
add bound_test
.
sh to
d
istri
b
ution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoolaege
doc: doc
u
ment gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolae
g
e
do
c
: document isl_const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
V
erdo
o
laege
a
d
d is
l
_ma
p
_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdo
o
l
ae
g
e
isl_basic_map_foreach_
c
on
s
traint
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolae
g
e
isl_basi
c
_ma
p
_copy: mark dup
l
ica
t
ed copy as finali
z
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_basic_set_l
i
ft
:
f
i
n
a
lize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_basic_
m
a
p_mo
v
e
_
d
i
ms: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdo
o
laege
isl_b
a
sic_
m
ap_fro
m
_c
o
n
s
t
rain
t
: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdool
a
ege
isl_acc
e
s
s_
i
nfo_c
o
mpute_
f
l
ow: hand
l
e may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Ve
r
d
oolae
g
e
isl_access_info_compute_fl
o
w: handle m
u
lti
-
valued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laeg
e
remove so
m
e unused variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
re
n
ame isl_pw_qpolynomial_
m
o
ve and ad
d
isl_pw_qpoly
n
omi
a
l_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: ke
e
p tra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
impro
v
ed argument pa
r
s
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolae
g
e
i
sl_op
t
ion
s
_parse: prin
t
he
l
p mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdo
o
lae
g
e
add isl_bound test applic
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoo
l
aege
ad
d
isl_p
w
_qpolynomial_bound_
r
an
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_pw_qpoly
n
omial_fold_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
ad
d
rudimentary i
s
l_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
ae
g
e
isl_equa
l
itie
s
.
c: fi
x
typo
i
n
commen
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
ool
a
ege
a
dd i
s
l_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_mat_nor
m
aliz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
add i
s
l_mat
_
dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
i
s
l
_ma
t
_lin_to_
a
f
f
:
fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
q
polynomial_o
p
t
_
on_domai
n
: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl
_
name_alloc:
fix error handling
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d
isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equaliti
e
s
.
c: fix typ
o
s
i
n comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd
isl_pw_qpolynomial_fold
_
covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
add isl_qpol
y
nomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
private
l
y export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
add isl_set_count_u
p
to
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add i
s
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
isl_stream
_
re
a
d_pw_qpoly
n
o
mial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_
q
polynomial_f
r
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
add isl_
q
polynomial_from_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aeg
e
add isl_ba
s
ic_set_foreach_bound_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
add isl_qpol
y
n
o
mia
l
_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl
_
qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_basic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_ctx: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add
isl_qpolynom
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
ven
Verdo
o
laege
isl_
q
polynomial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rdoolaege
isl_pw_*_eval: fix handling
o
f e
m
pty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_ba
s
ic_set_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qp
o
lyn
o
m
i
al
_
sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
add isl
_
qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
i
s
l_map_transitive_closure: co
a
le
s
ce i
n
p
u
t
be
f
ore
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map
_
lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doola
e
ge
isl
_
map_
l
ex
_
le: use one
b
asic
s
e
t
les
s
in res
u
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoolaege
i
sl_stream: acce
p
t lexicograph
i
c
o
pe
r
ator
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_transi
t
ive_
c
l
osure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
add isl
_
printer_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven Ver
d
oolaege
is
l
_
m
ap_read: par
s
e parametric Omeg
a
inpu
t
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Ver
d
ool
a
eg
e
is
l
_ma
p
_read: fi
x
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_co
n
vex_hull
.
c
:
i
s
_bound: any in
e
qu
a
lity is a bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
doolae
g
e
is
l
_
c
onvex_
h
ull
.
c:
a
dd_bound
s
:
p
r
opa
g
ate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdoolaege
docum
e
n
t isl_map_re
v
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdool
a
ege
i
sl_stream_next
_
tok
e
n: term
i
nate st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
g
e
isl_map_transitive_closure:
t
r
eat
e
quality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_trans
i
tive_closur
e
, om
e
g
a-l
i
ke: o
n
ly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: u
s
e simple hull
in
o
mega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_transitive_clo
s
ure: try an
d
compute clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erdoolaege
i
s
l_map_coale
s
ce
:
a
l
low
w
rap
p
ing in sets
t
hat stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_map_
c
oale
s
ce: allow
i
ng cutting equalit
i
es in
a
djacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
la
e
g
e
ad
d
s
o
me m
o
re coale
s
cing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
b
asic_map_gist: be mor
e
ag
g
r
e
ssi
v
e i
n
rem
o
ving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_stream:
a
c
cept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_tab_rollback
:
resto
r
e
rows
t
hat
ar
e
n
o
longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: doc
u
ment simple hull
commit
|
commitdiff
|
tree
next