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 Ve
r
doolaege
e
xport isl
_
pw_qpol
y
nomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
expo
r
t
i
s
l_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
isl_qpolynomial_c
o
ef
f
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erd
o
o
l
aege
a
dd is
l
_q
p
oly
n
omial_from_af
f
i
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ex
p
ort isl_qpo
l
y
nomial_add_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdool
a
e
g
e
add i
s
l_qpolyno
m
ial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolae
g
e
add isl_qpo
l
y
n
omial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
isl_q
p
oly
n
omial_i
n
sert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_
q
polynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
isl_c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_ta
b
_
detect_i
m
plicit_
e
qualit
i
es: retu
r
n
integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
add isl_tab_si
g
n
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
isl_tab_
s
elec
t
_facet: retu
r
n i
n
t in
s
te
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
oolae
g
e
add is
l
_basic_set_full_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
p
r
i
vately
expo
r
t
isl
_
pw_qpolynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add
i
sl
_
qpolynomial_fo
l
d_forea
c
h_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_
p
w_qpolynomial_
f
old_foreach_
l
i
fted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl
_
pw_q
p
o
l
ynomial_f
o
ld_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privatel
y
e
x
p
ort
i
s
l_morph_alloc and
i
sl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
sl_qpolynomia
l
_fold_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
export is
l
_pw_qpolynomi
a
l
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_ctx_peek_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolae
g
e
isl_
r
a
nge
.
c:
f
ix
typo in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
expor
t
isl_set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
is
l
_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
f
i
x
isl_qpol
y
n
o
mial_fold
_
d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaeg
e
isl_pw_q
p
o
lynom
i
al_bound_
r
ange:
fix
remov
a
l of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
a
d
d
b
ound_t
e
st
.
sh to
distribu
t
io
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdool
a
eg
e
doc:
d
ocu
m
e
n
t gis
t
operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
r
do
o
laege
doc:
d
o
cument isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ve
r
d
o
ol
a
ege
a
d
d isl_map
_
is_sing
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
S
ven
V
er
d
oolaege
isl_basic_map_
f
oreach_constra
i
nt: make
sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
rdoo
l
aege
i
sl_ba
s
ic_map_
c
opy: ma
r
k duplicat
e
d copy
a
s
fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_ba
s
ic_set_lift:
f
in
a
li
z
e resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
ven Ver
d
o
o
laege
isl_basic_map_move_dims: al
w
ays finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
is
l
_basic_map_from_constra
i
nt: finalize re
s
ul
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
isl_access_info_com
p
ute_flow: handle
m
ay acces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sve
n
Verdo
o
laege
is
l
_acces
s
_info_compute_flow: h
a
n
d
l
e
multi-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
remove some u
n
us
e
d
variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
f
ix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
laege
r
ename isl_
p
w_qpolyn
o
mial_move and a
d
d
i
sl_
p
w_q
p
oly
n
o
m
i
al_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
i
sl_ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
improved argument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ver
d
oolaege
isl_opt
i
ons_
p
arse: print
help message
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoolaege
add isl_bound test
a
pplicatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
dool
a
ege
add isl_pw_
q
polyn
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd isl_pw_qpo
l
ynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
ad
d
r
udimentar
y
isl_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
i
ties
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add
i
s
l
_
m
at_ins
e
r
t
_
r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd isl_mat_
n
orm
a
liz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd
i
s
l_ma
t
_
d
iagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdool
a
ege
is
l
_mat_lin_to
_
a
f
f: fix erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
q
polynomial_opt_on
_
do
m
ain: handl
e
empty input
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_name_alloc: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolae
g
e
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_equ
a
lities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
add isl_
p
w_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_qpoly
n
omial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
privately expor
t
isl
_
set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add
i
sl_set_count_up
t
o
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl
_
stream_read_pw
_
qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_
q
p
ol
y
n
o
m
i
a
l_fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add is
l
_qpolynom
i
al_
f
r
o
m_constrai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add
i
s
l_
b
asic
_
set_foreach
_
b
o
und_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
isl
_
qpolynomial_as_polynomi
a
l_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
g
e
a
d
d isl_qpolynomi
a
l_subs
t
itute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
add
i
s
l_basic_set_dims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
i
sl_ctx: add
zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaeg
e
add
isl_qpoly
n
o
mial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_basic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ver
d
oolaege
isl_qpo
l
ynomial_fold_
o
pt_on_doma
i
n
:
fix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
l
aege
isl_
p
w
_
*_eval: fix handl
i
ng
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpoly
n
omial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdo
o
laege
add isl_qp
o
lynomial_ge
t
_
d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdo
o
lae
g
e
i
sl_map
_
transiti
v
e_closure: coalesc
e
input befo
r
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
ad
d
m
ap_
l
ex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map_lex_le: use
one b
a
sic set less
in resul
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verd
o
olaege
is
l
_stre
a
m: accept lexi
c
ogr
a
phic
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
isl_map_t
r
ans
i
t
iv
e
_cl
o
s
ure: che
c
k if input
is clo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven
Verdoolaeg
e
add isl_pr
i
nter
_
flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_ma
p
_rea
d
: parse parametric Omega
i
n
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoola
e
ge
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
i
s
l_c
o
nvex_hull
.
c: is_bound: any
inequali
t
y is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdo
o
laege
isl_conv
e
x_hull
.
c: add_b
o
u
n
ds
:
pro
p
a
gate errors
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
aeg
e
d
ocument isl
_
map_re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
i
s
l_stream_next_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoo
l
aege
i
sl_map_t
r
a
n
sitive_closure: t
r
eat e
q
uality as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
i
s
l
_map_
t
ransi
t
ive_closure, omega-
l
ike:
o
n
ly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doo
l
aeg
e
isl_map_tra
n
sitive_cl
o
sure: use simple hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rd
o
olaege
isl_map_tran
s
itive_closure: try and comp
u
te closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl
_
m
a
p_coa
l
es
c
e
:
allow wrappin
g
in s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rd
o
olaege
isl_map_
c
oales
c
e: allowing c
u
tting equalities in ad
j
ac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
add some
m
ore
coalescing
test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_basic_map_gist
:
be more aggressive
in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolaege
i
s
l_stream:
accept s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
l
aeg
e
isl_tab_rollback:
r
e
s
tore rows
tha
t
a
re no longer
m
a
rked
.
.
.
commit
|
commitdiff
|
tree
next