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_vec_add
2010-06-25
Sven Verd
o
o
laege
add is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
V
e
rdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_i
s
_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
e
x
p
o
rt i
s
l
_
q
polynomial_invo
l
v
e
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolaege
isl_pol
y
nom
i
al
.
c: add
missi
n
g includ
e
commit
|
commitdiff
|
tree
2010-06-21
S
ven
V
erdool
a
ege
i
s
l_map_transitive_closure: ch
e
ck whether decomp
o
s
i
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoo
l
aege
ad
d
isl_stream_flu
s
h_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
add isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdo
o
laege
add rudimenta
r
y
error reporting
me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doo
l
a
ege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
laege
isl_point_all
o
c:
a
void potential memo
r
y lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdool
a
ege
doc: docu
m
ent isl_map_
d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_ta
b
_pip
.
c: compare
a
ll coeffic
i
ents whe
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoo
l
aege
isl_pw_qpo
l
ynomial
{
,_fold}_
g
ist: u
s
e sim
p
le hull instea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Ver
d
oolaeg
e
add
i
sl_set
_
s
e
t_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stream_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
S
ven
V
erdoo
l
aeg
e
d
oc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oola
e
ge
isl_qpolyno
m
i
al
_
lift: fix lifting
i
n
abs
e
n
ce of
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
optional
l
y (and by d
e
fault) use ber
n
stein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
p
rivately e
x
port isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
add
i
s
l_pw_qpol
y
nomial_
f
old
_
foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add parametric vertex enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
dd isl_morph_
d
om_dim
a
nd isl_mo
r
ph_ran
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_b
a
sic_map_is_rati
o
n
al
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privatel
y
exp
o
rt isl_basic_set_sort
_
c
onst
r
aints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_tab_
d
et
e
c
t
_implic
i
t_equa
l
ities:
a
l
s
o
d
etect manif
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
isl_t
a
b: optionally only mark strictly r
e
d
u
n
d
a
nt row
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
gen
e
ralize isl_pw_
q
polynomial_bound to isl_pw_qpolynomial
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
extract ou
t
gen
e
ric
p
art of
i
sl_p
w
_q
p
olynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomi
a
l_bo
u
n
d
_range
:
a
ls
o
s
et ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add
is
l
_basic_se
t
_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
export isl_pw_qpolynomial_fold_dr
o
p_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
export isl_qpolynom
i
a
l
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
add isl_qpolynom
i
a
l_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
ola
e
g
e
add isl_qpolynomial_from_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
s
l
_
q
p
o
lynomi
a
l
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
qpolynomial_homoge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
i
s
l
_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
isl_qpol
y
nomial_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
a
d
d isl_qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
isl_ctx: add
tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
isl
_
tab_det
e
ct_im
p
l
i
c
i
t_equalities: retur
n
i
nt
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
isl
_
ta
b
_
s
elect_facet:
return int
instead of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_ba
s
ic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
privatel
y
e
x
port isl_pw_
q
p
o
lynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
add isl_qpolynom
i
al_
f
old_foreach_q
p
oly
n
o
m
ial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doola
e
ge
add isl_pw_qpolynomial_fold_forea
c
h
_lift
e
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
e
x
p
ort is
l
_pw
_
qpo
l
ynom
i
al_
f
old_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
riv
a
t
e
ly export is
l
_morph_alloc
a
nd isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_fold_get_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
export
i
sl_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
a
dd isl_ctx_pe
e
k_options
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
isl_r
a
nge
.
c: fix t
y
po in
comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
export is
l
_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
isl_bound: p
l
ug me
m
o
r
y
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
fix isl_qpolynomial_fold_du
p
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
is
l
_pw_qpolyno
m
ial_bound_range:
f
ix
r
e
m
oval
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add bou
n
d_test
.
sh to distribut
i
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven
Verdoolaege
doc: do
c
ument gi
s
t oper
a
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoo
l
aege
doc:
d
ocument isl_constraint
_
is_equ
a
lity
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Ve
r
doolae
g
e
add isl_map_is_single_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
isl_b
a
sic_map_
f
oreac
h
_constraint: make sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
e
g
e
isl_bas
i
c_map_copy: mark d
u
plicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n Verdoolaege
isl_ba
s
ic_set_li
f
t:
f
inalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
i
s
l_basic_map_move_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdool
a
ege
isl_
b
asic_
m
a
p
_from
_
constrain
t
: finalize
result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdool
a
ege
isl_acces
s
_
inf
o
_compute_flow: hand
l
e may a
c
cesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verd
o
olae
g
e
i
s
l
_access_i
n
f
o
_compute_flow: handle multi-
v
alued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdo
o
laege
remov
e
some unused
v
a
r
iabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_qp
o
lynomial_mov
e
a
n
d a
d
d isl_pw_q
p
oly
n
om
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
isl_c
t
x
: keep track
of user op
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improv
e
d argumen
t
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oolaege
isl_options_pars
e
: prin
t
h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ve
r
doolaege
a
d
d isl_boun
d
t
est ap
p
licatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolae
g
e
add
i
sl_pw_qpol
y
nomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaeg
e
add isl_pw_qpolyno
m
ial_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add rudimentary
isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laeg
e
add isl_mat_inse
r
t
_
row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
m
a
t_lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
qpolynomial_o
p
t
_
on_d
o
main
:
ha
n
d
l
e empt
y
input
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaege
isl_name_a
l
l
o
c: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
d
d i
s
l_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_
e
qualities
.
c
:
fi
x
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add i
s
l_p
w
_qpoly
n
o
m
ia
l
_fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
g
e
add i
s
l_qpolyno
m
ial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
private
l
y
export isl_se
t
_
is_
b
o
u
n
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
ad
d
isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add is
l
_stream
_
r
ead
_
pw_qpoly
n
o
mial
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add isl_qpo
l
ynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
olynom
i
al_from_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_basic_set
_
foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add isl_qpolyn
o
m
i
a
l_as_polyno
m
i
a
l
_on
_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_qpolynomial_substitute
commit
|
commitdiff
|
tree
next