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_basic_map_is_rational
2010-06-12
Sv
e
n Ve
r
doolaege
add
isl_basic_map_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoo
l
a
e
g
e
pr
i
va
t
ely
e
x
port isl_basic_set_s
o
rt_constraints
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoo
l
aeg
e
isl_ta
b
_detect_implicit_
e
q
u
ali
t
ies: also detect
m
anif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
i
s
l_tab: opti
o
nal
l
y only mark st
r
ictly
red
u
nd
a
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize isl_pw_qpol
y
n
omi
a
l_bound to isl_p
w
_q
p
olynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
ext
r
act out generic p
a
rt of
i
sl
_
pw_qpolynomial_bound
_
range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_pw_
q
po
l
yn
o
mial
_
bou
n
d
_
range: also set exactn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add isl_basic_
s
et_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
e
x
p
o
r
t isl_pw_qpolynomi
a
l
_
fold_dro
p
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_q
p
ol
y
n
o
mial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_qpo
l
y
n
o
m
ia
l
_
coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
add isl_qpolynomial_f
r
om_
a
ffi
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
export
i
sl_qpoly
n
om
i
a
l_
a
d
d
_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
doolaege
add isl
_
qpolynomial_hom
o
genize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ver
d
oolaege
add
isl_
q
polynomial_insert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
d
d isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_ctx: add tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
isl_t
a
b_detect
_
implicit_equalities: return inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_sele
c
t_fac
e
t
:
r
eturn
i
n
t instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
dd
isl
_
basic_set
_
full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
privately
export isl_pw_qpolynomial
_
mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
a
dd isl_qpoly
n
omial_fold_fo
r
e
ach
_
qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdool
a
ege
add is
l
_pw
_
q
p
olynomial_fold
_
foreach_
l
ifted
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
export isl_
p
w_qpolynomial
_
fol
d
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
priv
a
tely
e
xport isl_m
o
rph_alloc
a
n
d
isl_morph_identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
a
d
d isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
expo
r
t i
s
l_pw_qpolynomial_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_r
a
n
g
e
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
exp
o
r
t
is
l
_set_
i
s_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
fix isl_qpolynomial
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw
_
qpolynomial_bo
u
nd_r
a
nge: fix remo
v
al o
f
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound
_
test
.
s
h
to
di
s
tri
b
uti
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdool
a
ege
doc: d
o
cument gist operatio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
doc: d
o
cument isl_co
n
straint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verdoo
l
aege
a
d
d i
s
l
_
map_
i
s_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
Ver
d
oolaege
isl_basi
c
_
map_foreach_constraint: mak
e
sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdool
a
ege
i
s
l_basic_map_copy: mark duplicated copy as fina
l
ize
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic
_
set_lift: fin
a
lize
r
es
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl
_
basic_map_move_dims: always
f
inali
z
e
re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basi
c
_
m
a
p_from_const
r
aint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
i
sl_access
_
i
nfo
_
compu
t
e_flow
:
han
d
l
e may ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_ac
c
ess_info_compute_flow: h
a
n
dle mu
l
t
i
-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdo
o
laege
r
e
move som
e
unused variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ver
d
oolaege
fix
s
o
me icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
rename i
s
l_pw_qpolynomial_move and add isl_pw_qp
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rd
o
olaege
isl_ctx: kee
p
track of user
opt
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved a
r
gu
m
en
t
par
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaeg
e
is
l
_op
t
ions_parse
:
print help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolae
g
e
add isl_boun
d
test application
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolae
g
e
a
d
d isl_pw_qpolynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
o
la
e
ge
add isl
_
p
w
_qp
o
lyn
o
m
ial_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
add rud
i
ment
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix typo i
n
co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd
isl_mat_insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
d
d isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
add isl_mat
_
diago
n
al
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
i
s
l_mat_lin
_
to_
a
f
f: fix e
r
r
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
isl
_
qpolyn
o
m
i
al_opt_on_domain:
hand
l
e empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
is
l
_na
m
e_alloc:
f
ix error
han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdo
o
la
e
ge
isl_equal
i
ti
e
s
.
c:
fix typ
o
s
in
c
om
m
ents
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoo
l
aege
ad
d
isl_pw_qpo
l
ynomial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add
i
sl_q
p
ol
y
nomia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
do
o
laege
p
r
ivately
e
x
port isl_set
_
i
s_bou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
ege
add isl
_
set_count_u
p
to
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_stre
a
m_
r
ead_pw_qpoly
n
omi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
p
olynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
add
i
sl_qpolynomial_f
r
om_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
add isl_basic
_
set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
e
g
e
add
isl_q
p
ol
y
n
omial_as_p
o
lynomial_on_dom
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add isl_qpol
y
nomial_
s
ubsti
t
ut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_bas
i
c
_
set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl_qp
o
ly
n
omia
l
_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
add isl
_
basic_set_dr
o
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_qp
o
lyn
o
mial
_
fold_opt_on_domain:
f
ix
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
olaege
isl_pw_*_eval
:
f
i
x handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
add isl_bas
i
c_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
expor
t
i
sl_qpolynomial
_
s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
o
o
l
a
ege
add isl
_
qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_
m
ap_transitive_closure: coa
l
esce input
b
e
f
ore c
h
ec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
add map_
l
ex
_
*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doola
e
ge
is
l
_map_lex_le: u
s
e one basic s
e
t less in re
s
ult
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
i
sl_stream: accept lexicogr
a
ph
i
c opera
t
ors
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_m
a
p
_tran
s
itive_closure: check if inpu
t
i
s closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ve
r
doolae
g
e
add
isl_
p
rinter_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdool
a
e
g
e
isl_map_read: parse pa
r
am
e
tric
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_map_r
e
ad: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
erd
o
olaeg
e
isl_co
n
vex_hull
.
c: is_boun
d
:
a
n
y
inequalit
y
is a
b
ou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_conv
e
x_h
u
ll
.
c
: add_
b
o
unds
:
pr
o
pagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
Ver
d
oolaege
docum
e
nt isl_map_re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Verdoolae
g
e
isl_
s
tream_next
_
t
o
ken: t
e
rminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoola
e
ge
isl_map_t
r
ansitive_cl
o
sure
:
treat equality a
s
p
ai
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaeg
e
isl_map_tra
n
sitive_closure, omega-
l
ik
e
: only use ?
.
.
.
commit
|
commitdiff
|
tree
next