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_set_is_box
2010-06-25
S
v
e
n
V
e
rdoolaege
add isl
_
set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
export
isl_qpoly
n
omial_invol
v
e
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
r
dool
a
ege
isl
_
poly
n
omial
.
c: add m
i
ssing incl
u
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
la
e
ge
isl_map_trans
i
tive_cl
o
sure: check
w
hether decom
p
osit
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add
i
sl_stre
a
m_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_
s
k
ip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdoolaege
add rudim
e
ntary error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdoolaege
isl_point_alloc: avoid potential memory l
e
ak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n Verdoo
l
a
e
g
e
d
o
c: document isl_ma
p
_
deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
e
n
Verdoolaege
is
l
_
t
a
b
_pip
.
c: co
m
p
a
re
a
ll coefficients when
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
r
d
oo
l
aege
isl_pw_qpoly
n
o
m
i
al{,_
f
ol
d
}_gist:
u
se simple hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
r
doo
l
a
ege
add isl_set_set_d
i
m_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdoolaege
add isl_
s
tream_r
e
ad_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
i
s
l
_qpolyno
m
ial_lift
:
fix lifting in
abs
e
nce o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optio
n
a
lly (and
b
y d
e
fa
u
lt) use bernst
e
in expansio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
privatel
y
ex
p
ort
is
l
_qpol
y
nomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
add
isl_pw_qpolynomia
l
_fold_foreach_pi
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add paramet
r
ic vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
a
d
d isl_morph_dom_dim and isl_morph_r
a
n_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl
_
bas
i
c_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
pri
v
a
t
ely e
x
por
t
isl_basic_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
i
s
l_tab_detect_implici
t
_equalities:
a
lso detect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoola
e
ge
isl_t
a
b:
option
a
ll
y
only
m
ark strictly r
e
dundant
r
ows
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olae
g
e
gene
r
alize isl_pw_qpoly
n
omial_boun
d
to is
l
_pw_q
p
o
lynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
oolaege
extract
o
ut generic part of isl
_
p
w_qpolynomia
l
_bou
n
d_ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdo
o
laege
isl_pw_qpolynomial_bound_range: al
s
o set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
add isl_b
a
sic_set
_
factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoola
e
ge
export isl_pw_qpol
y
nom
i
al_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
expor
t
isl_qpolynomi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add isl_qpo
l
y
n
o
mial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_qpolynomial_from_af
f
ine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export isl_qpo
l
ynomial_add_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
add is
l
_qp
o
lynomia
l
_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add isl_qpolyno
m
ial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
add isl_q
p
olynomial_ins
e
r
t_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
add isl_qpol
y
nom
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oola
e
ge
isl_
c
t
x
: add tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
i
s
l_ta
b
_det
e
ct_i
m
plici
t
_equalities: return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
a
dd isl_
t
ab_s
i
g
n
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
i
s
l_t
a
b_select_fa
c
e
t: return int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
ol
a
ege
add isl_b
a
sic_set_full_co
m
pres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
priv
a
tely export isl_pw_q
p
olynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
add isl_qpol
y
nomial_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
isl_p
w
_
qpolynomial_fold_foreach_
l
if
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export
i
s
l_pw
_
qpolynom
i
al_
f
old_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
pri
v
atel
y
export
isl_
m
orph_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
polynomial_fold_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
export i
s
l_pw_qpo
l
y
nomial_g
e
t
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l_ct
x
_p
e
ek_options
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdool
a
ege
isl_r
a
n
g
e
.
c: fix typo in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
aege
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaege
isl_bound: pl
u
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
fix is
l
_qpolynomial_fold
_
d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_
p
w_qpolynomial_bound_range: fix re
m
o
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add boun
d
_test
.
sh to dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: d
o
cument gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc:
document is
l
_constrai
n
t_is
_
e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
ad
d
isl_m
a
p_i
s
_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ver
d
o
o
laege
isl_basic_
m
a
p
_
foreach_constr
a
int
:
m
ake sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic_map_cop
y
: mark dupl
i
c
ated copy as final
i
ze
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
i
s
l_
b
a
s
ic_set_lift: fin
a
lize
r
e
s
ult
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdool
a
ege
isl
_
b
asic_map_move_di
m
s
: always
finalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_map_from_constraint: finalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
ae
g
e
i
sl_acces
s
_info_comput
e
_flo
w
: handle may a
c
ces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven
Ve
r
doolaege
isl
_
access_info_compute_flow: handl
e
m
ulti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ver
d
oolaege
remove some unused var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
f
ix
s
ome icc w
a
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdo
o
laege
r
e
na
m
e isl_pw
_
qp
o
l
y
nomial
_
move and add isl_pw_qpolynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
isl_ctx:
kee
p
track of user optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Verdool
a
eg
e
im
p
roved argument par
s
in
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_p
a
rse:
print
h
elp messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doolaege
add i
s
l_boun
d
t
est a
p
plication
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolae
g
e
add isl_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add
r
udimentar
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
l
aege
a
d
d isl_seq
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
i
s
l_equalities
.
c: fix
t
y
p
o in comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doola
e
ge
add i
s
l_
m
a
t
_inse
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
a
d
d isl_ma
t
_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
er
d
o
o
laege
isl_mat_lin_t
o
_af
f
: f
i
x error handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdo
o
laege
i
s
l_qpol
y
n
o
mial_opt_
o
n_domain: handle e
m
p
t
y
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
name_alloc: fix
erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_dim
_
o
f
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doola
e
ge
isl_equalities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_pw_qpolynomi
a
l_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
lae
g
e
privately expo
r
t isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd
i
sl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laeg
e
add isl_s
t
ream
_
read_pw_
q
po
l
ynomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl
_
qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolae
g
e
add isl_qpo
l
ynomial_from_cons
t
raint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
a
d
d isl_ba
s
ic_se
t
_f
o
reach_boun
d
_p
a
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_qpolyno
m
ia
l
_as_po
l
y
n
om
i
a
l
_on_dom
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
a
e
ge
ad
d
isl_qpoly
n
omial_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_basic_set_dims_get_si
g
n
commit
|
commitdiff
|
tree
next