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_map_is_bijective
2010-06-19
Sven Verdoolaege
isl_
p
oint_alloc: avoid po
t
e
n
t
ial
memory lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verd
o
olaege
d
o
c
: do
c
ument
isl
_
map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
isl_tab_pip
.
c: compare all c
o
efficients when checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
r
doo
l
a
ege
isl_pw_qpolynomi
a
l{,_f
o
ld}_g
i
st: us
e
s
imple hul
l
in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
add
i
sl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolae
g
e
doc:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl
_
qpolynomi
a
l_
l
i
ft
:
fix lifting in a
b
sence
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
dool
a
ege
optionally (
a
nd by d
e
fault) use b
e
rnste
i
n
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
p
r
i
vately
e
x
port isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d isl_pw_qpolynomial_
f
o
l
d_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
p
a
r
am
e
tric vertex
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
add isl_morph_dom_
d
im a
n
d
isl
_
m
o
rph_ra
n
_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
a
dd isl_basi
c
_map_is_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoola
e
ge
p
r
ivat
e
ly export isl
_
basic_
s
et_sort_cons
t
raints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab_detect_implicit_equalities: also detec
t
manifes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
is
l
_tab:
o
pt
i
onally only mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
g
e
neralize
isl_p
w
_
q
p
olynomia
l
_boun
d
t
o is
l
_
p
w
_qp
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
extract
out generic
p
art of isl_pw_qpolynomial_boun
d
_range
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
isl
_
pw_q
p
olyn
o
mial_bound
_
rang
e
: also set exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add isl
_
basic_se
t
_fac
t
ori
z
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_pw_qpolynomi
a
l_fold
_
drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export isl_q
p
oly
n
omial_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
d
d
isl_qpolynomial_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_qpolynomial_from_aff
i
n
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
e
x
port isl_qpolynom
i
al_
a
dd_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
ad
d
isl_qpolynomial_hom
o
ge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolyn
o
mia
l
_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpolynomial
_
i
nser
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab_d
e
tec
t
_im
p
licit_equalities: retur
n
integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
s
l_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
isl_tab_select_facet: return int
instead of is
l
_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
la
e
ge
add isl_basic_set
_
full_co
m
pr
e
ssion
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
pri
v
ately export isl_pw_qpoly
n
omia
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qpoly
n
omial_fold_fore
a
ch_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add isl_p
w
_
qpolynomial_f
o
ld_forea
c
h_lift
e
d
_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
e
x
port isl
_
p
w_qpolynom
i
al
_
fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
priva
t
ely
expor
t
i
sl
_
morph_allo
c
an
d
i
s
l_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add i
s
l_qpolyn
o
mial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
isl
_
pw_qpolynomi
a
l_g
e
t
_
ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
i
s
l_ct
x
_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
isl_ra
n
ge
.
c
: fix typo in co
m
m
en
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
isl_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_bound:
p
lug memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
doolae
g
e
fix isl_qpolynomial_fold_du
p
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ver
d
oolaege
isl_pw_qpo
l
y
nomial_bound_range: fix removal
o
f dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
add bound_
t
e
st
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc
:
document gist ope
r
ations
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolae
g
e
doc: documen
t
isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
ven V
e
rdo
o
laeg
e
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en V
e
rdoolaege
isl_ba
s
ic
_
map_f
o
r
e
ach_co
n
straint: ma
k
e
s
u
re in
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolae
g
e
is
l
_
bas
i
c_ma
p
_copy
:
mark dup
l
icated
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_basic_s
e
t_lif
t
: finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl_basic_map_
m
ove_d
i
ms: always
f
i
n
ali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic
_
map_from_constraint: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acces
s
_info_co
m
p
u
te_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_i
n
fo_comput
e
_flow:
h
a
ndle mul
t
i-v
a
l
u
e
d
si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
la
e
ge
remove s
o
me
unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoo
l
aege
rename isl_pw_qpolynomial_move an
d
add
i
sl_pw_qpolynomia
l
_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolae
g
e
i
s
l
_ctx: kee
p
track
o
f
user op
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
im
p
roved arg
u
m
e
nt
pars
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
i
sl_options_parse: print hel
p
mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
add isl_bound
tes
t
a
pplicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
isl_pw_
q
polynomial_
b
ound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l_pw
_
qpol
y
n
omial_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
ad
d
rudim
e
ntary i
s
l_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolae
g
e
add
i
sl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equaliti
e
s
.
c
:
fix typ
o
in commen
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_m
a
t
_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
a
d
d is
l
_m
a
t_n
o
rm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
ad
d
isl_
m
a
t
_
dia
g
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
is
l
_mat_lin_t
o
_aff: fix
err
o
r
h
a
nd
l
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolyno
m
i
a
l_opt_on_dom
a
i
n: han
d
le em
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
isl_name_alloc
:
fix
e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl_e
q
ualities
.
c: fix typos
in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
add isl_pw_
q
polynom
i
al_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
ola
e
ge
add is
l
_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privat
e
ly export
is
l
_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
ege
add
i
sl_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add isl_stream_read_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_qpolynomial_from
_
constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
add isl_basic_set_foreac
h
_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ver
d
oolaege
add isl_qpolynomial_as_polynom
i
al_on
_
doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd
i
sl_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
r
doolaege
ad
d
i
sl_basic_set_
d
ims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add
isl_q
p
olynomial_negin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add
isl_
b
asic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
i
s
l_qpolynomial_fold_opt_o
n
_dom
a
i
n: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
isl
_
pw_*_eval: fix ha
n
dling of
empty input
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoo
l
aege
add isl_ba
s
ic_s
e
t_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
ven V
e
rdoolaege
export isl_qpol
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
add isl_qp
o
ly
n
omial
_
g
e
t_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l
_ma
p
_transi
t
ive_closure: co
a
lesce input befor
e
che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
a
d
d
map_lex_*_first
commit
|
commitdiff
|
tree
next