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_stream_read_set
2010-06-14
Sven Ve
r
doolaege
add isl_s
t
ream_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdoolae
g
e
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
isl_qpolynomial_l
i
ft: f
i
x
l
ifting in ab
s
e
nce
o
f
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
opt
i
onally
(and by default) u
s
e berns
t
ei
n
ex
p
an
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pr
i
vately export isl_qpolynomial
_
f
o
ld
_
fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
olaege
add is
l
_pw_qp
o
lyn
o
m
ia
l
_fold_foreach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
dd pa
r
ametric vertex e
n
umerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_morph_dom_dim and isl_morph_ran
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
add isl_basic_map
_
is_ra
t
iona
l
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
privat
e
ly export is
l
_b
a
si
c
_
s
et_sor
t
_
c
onstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoo
l
aege
isl_tab_detect_im
p
l
i
c
i
t
_equa
l
ities: al
s
o
d
etect manifes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_tab:
optional
l
y on
l
y
m
ark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
g
en
e
r
alize isl_p
w
_qpolyno
m
ial_b
o
und to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract
o
ut gener
i
c
part o
f
isl_pw_q
p
o
l
yn
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_pw_qpo
l
ynomi
a
l_boun
d
_range: also s
e
t exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_basic_s
e
t_factoriz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
or
t
isl_pw_qpol
y
nomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl
_
qpo
l
yno
m
ial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynom
i
al_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verd
o
olaege
add i
s
l
_qpoly
n
o
mi
a
l_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolae
g
e
expo
r
t
isl_q
p
olynomial_
a
dd_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
a
d
d
isl_qpolynom
i
al_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
dd
i
sl_qpo
l
ynom
i
al_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add i
s
l
_
qpolynomia
l
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
isl_ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_tab_detect_
i
m
p
licit_equal
i
ties:
r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_ta
b
_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
oolaege
isl_tab_select_facet: return i
n
t
i
nstead
o
f isl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
ad
d
isl_basic_
s
et_
f
ull_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
privately export i
s
l_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
add isl
_
qpolynomia
l
_fold_foreach_qpo
l
yn
o
mi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl
_
pw_qpolynomial_fol
d
_for
e
ach_lift
e
d_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l
_pw_qpolynom
i
al
_
fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivat
e
ly export isl_morph_alloc and isl_mor
p
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add is
l
_qpolynomial_fold_ge
t
_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export i
s
l_pw_qpoly
n
o
m
ial_
g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl
_
ctx_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_
r
ange
.
c: fi
x
t
y
po in commen
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
r
t isl_set_
i
s
_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
isl_boun
d
: plu
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
f
i
x
isl_qpolynomial_fol
d
_
dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_qpolynomial_boun
d
_range:
fix r
e
moval o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add bo
u
nd_
t
est
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc
:
document gis
t
opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doo
l
aege
d
oc: document isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verd
o
olaege
add isl_map_is_singl
e
_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n Verdoolaege
isl_
b
asic_map_f
o
reac
h
_constraint: make
s
u
r
e
input h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en
V
erdo
o
l
a
ege
isl_basic_map_
c
o
p
y
: mark
d
u
pl
i
cated copy
a
s
f
ina
l
iz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_lift: final
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_ba
s
i
c
_
map_mov
e
_dims: always f
i
nalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_
b
asic_map_from_constraint: fi
n
alize
result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
isl_a
c
cess_info_comput
e
_
f
low:
hand
l
e may a
c
cesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Ver
d
oolaege
i
sl_access_info_com
p
ut
e
_
f
low:
h
an
d
l
e multi-val
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Verdoola
e
ge
remo
v
e some
unused v
a
riabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
rename i
s
l
_
pw_qpolynomial_move a
n
d add i
s
l
_
pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
isl_ct
x
:
keep trac
k
of
u
ser options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
impr
o
ved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
isl_
o
ptions_par
s
e: p
r
in
t
help m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
ola
e
g
e
add isl_bound
t
es
t
a
p
p
l
ic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doola
e
ge
a
d
d isl_
p
w_qpolynomial_boun
d
_
range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w_qpolynomial_fold_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d rudime
n
tary
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
laege
a
d
d isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_e
q
ualities
.
c: fix
t
y
po in
c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
add
i
s
l_mat_i
n
ser
t
_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoo
l
aege
a
dd is
l
_mat_
d
iagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_mat_lin_to
_
aff
:
fix
e
rror h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_qpo
l
ynomia
l
_
o
p
t_on_d
o
m
a
in
:
han
d
le empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_name_alloc: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_di
m
_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl_equa
l
itie
s
.
c: fix
t
ypo
s
in comments
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
ad
d
is
l
_p
w
_
q
polynomi
a
l_fold_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_qpo
l
yn
o
mial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ve
r
doola
e
ge
priv
a
tely export isl_set_i
s
_bou
n
d
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdo
o
l
a
e
ge
add
isl_stream_
r
ead_pw_qpo
l
y
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l_qpolyno
m
i
a
l_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
d
d is
l
_qpolynom
i
al_fr
o
m_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erd
o
ola
e
ge
add isl_basic_se
t
_for
e
ach_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_qp
o
lynomial_as
_
p
o
lynomial
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oo
l
a
e
ge
a
d
d isl_
q
polynomial_subst
i
t
ute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add isl_basi
c
_set_
d
ims_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
isl_c
t
x
:
a
dd z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
ad
d
isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
aege
add isl_basi
c
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_
q
polynomi
a
l
_
fold_opt
_
on_domain: f
i
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_pw_*_eval: fix han
d
ling of empty
i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_set_mov
e
_d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpolyno
m
ial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
a
dd isl_q
p
olynomial_get
_
di
m
commit
|
commitdiff
|
tree
2010-05-04
S
ven V
e
rdoolaege
isl_map_t
r
a
n
s
itive_closure: coa
l
e
s
ce i
n
put be
f
ore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add map
_
lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
is
l
_
m
a
p
_l
e
x_le: use one basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
do
o
laege
isl_stream: accept lexicographic op
e
rators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_transitive_closure: c
h
eck if i
n
put is clo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdo
o
laege
add isl_printer_flush
commit
|
commitdiff
|
tree
next