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
isl_tab.c: fix typos
2010-06-25
S
v
en Ver
d
o
o
laege
isl_ta
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_
po
l
ynomial
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
isl_ver
t
ices
.
c:
f
ix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl
_
map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
do
o
laege
isl_map_sim
p
lify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_
i
nput
.
c: acce
p
t
m
o
r
e ge
n
eral affine
express
i
on
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
dd is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
ad
d
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
a
d
d isl
_
set
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
a
d
d isl_map_is_tra
n
slation
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Ver
d
o
o
laege
export isl_qpol
y
nomial
_
involves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_poly
n
omial
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoo
l
aege
isl_map_tr
a
nsitive_clo
s
u
re: ch
e
ck whether decom
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
a
d
d isl_stream_flush_tok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ve
r
doolae
g
e
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add rudiment
a
ry error r
e
por
t
ing mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add isl_vers
i
on
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolae
g
e
isl_point_alloc
:
avoid potential memory
l
eak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven V
e
rdoola
e
ge
doc: docum
e
nt
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
i
sl_tab_pip
.
c: c
o
mpa
r
e
a
ll c
o
eff
i
cients
when check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
Ve
r
doolaege
i
s
l_pw_qpolynomial{,_f
o
ld}_gist: use si
m
ple
h
u
l
l i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
Verdoolae
g
e
ad
d
is
l
_set_set_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl
_
stream_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
Verdoolaege
d
oc:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
i
sl_qpolynomial_lif
t
: fix l
i
fting
i
n absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally (and by
d
efaul
t
)
u
se bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
ool
a
ege
privately
e
xport isl_q
p
olynom
i
a
l_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdo
o
laege
ad
d
isl_pw_q
p
olynomial_fol
d
_fore
a
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_morph_dom_dim and
isl_morp
h
_ra
n
_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ad
d
isl_basi
c
_map_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivately export isl
_
basic_set
_
sort_constra
i
nts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_i
m
plicit_equali
t
ies: also
d
etect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
i
s
l_tab: op
t
ionally only mark strict
l
y redundan
t
ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
generalize isl_pw_qpolynomi
a
l_bound t
o
isl_pw_
q
p
o
l
y
nomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
erd
o
olaege
ex
t
ract out generic
p
a
r
t of is
l
_pw_qpoly
n
omial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_pw_qpolynomial_bo
u
nd_ra
n
ge: a
l
so se
t
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add
i
sl_
b
asic_set_fac
t
orizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
sl_pw_q
p
olynomial_fo
l
d_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
exp
o
rt isl_
q
po
l
ynomi
a
l_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ad
d
isl_qpoly
n
omial
_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qp
o
lynomi
a
l_from
_
affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
export isl_qpolyn
o
mia
l
_
add_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
add isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
add is
l
_
q
pol
y
nomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
a
e
ge
add
i
sl_qpo
l
yn
o
mial_insert_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qpolynomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
d
o
olaege
isl
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_de
t
ect_im
p
licit_equaliti
e
s: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
ola
e
g
e
add isl_t
a
b_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab_
s
e
l
ect_facet:
r
eturn int
instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_basic_se
t
_ful
l
_com
p
ression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
privat
e
ly
export
isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olaege
a
d
d is
l
_q
p
oly
n
omia
l
_fold_
f
oreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_pw_qpol
y
nomial_fold
_
foreach_li
f
ted_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
export isl_pw_qpo
l
y
n
o
mi
a
l_fo
l
d_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
private
l
y export isl_morph
_
a
lloc an
d
i
sl_morph_id
e
n
t
ity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ve
r
doolaege
add is
l
_qpolyn
o
mi
a
l_f
o
ld_get_
t
yp
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
e
xpor
t
isl_pw_qpolynomia
l
_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add isl_ct
x
_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ra
n
g
e
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verd
o
olaege
expo
r
t isl_set_is
_
bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_bound
:
p
l
ug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
fix i
s
l_qpolyno
m
ial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
i
s
l_pw_q
p
o
lynom
i
al_
b
ou
n
d_ra
n
ge: fix re
m
o
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_tes
t
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
S
v
e
n Verdoolaege
doc: d
o
cument gist
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-06-04
S
ven Ver
d
oolaege
doc: document isl_
c
on
s
t
ra
i
nt
_
is_eq
u
ali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
add i
s
l
_m
a
p_
i
s_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
isl
_
ba
s
ic_map_foreach_constraint: m
a
ke sure
i
npu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ve
n
Verdool
a
ege
isl_basi
c
_map
_
copy: mark
du
p
l
i
c
ated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_ba
s
i
c
_
set_li
f
t: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl
_
basi
c
_
map_move
_
dims
:
always f
i
n
a
lize
r
esul
t
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic_map_from_constraint: fina
l
ize re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
isl_ac
c
ess_info_compute_fl
o
w: handle may a
c
cess
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
doolaege
i
sl_a
c
c
ess_info_compute
_
flow: ha
n
dle multi-va
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ve
r
doolaege
remove
s
om
e
unused vari
a
bl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
r
doolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
r
e
nam
e
isl_pw_qp
o
lynomial_move and add isl_pw_qp
o
l
ynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
isl
_
ct
x
: keep
t
rack of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
ool
a
ege
isl_opt
i
o
n
s_parse: print help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
add isl_bound te
s
t application
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdo
o
laeg
e
add isl_pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd isl_p
w
_qpolyn
o
mial_f
o
ld_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolae
g
e
add
rudim
e
ntary isl_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add is
l
_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
isl_
e
qualities
.
c
:
fix typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
add isl_mat
_
insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
er
d
ool
a
e
g
e
add isl_mat
_
normalize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
add i
s
l_mat_di
a
gon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
isl_m
a
t_lin_to_aff: fix
e
rro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
o
l
aege
isl_q
p
olyno
m
ial_opt_on_domain
:
h
andle empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
i
s
l_name_alloc: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
isl_eq
u
alities
.
c:
f
ix typos
in
c
o
mments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdo
o
laege
add isl_pw_qpolyn
o
m
ial_fold_cov
e
rs
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoola
e
ge
a
d
d isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
privately export
i
sl_set_is_bounded
commit
|
commitdiff
|
tree
next