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
export isl_qpolynomial_add_dims
2010-06-12
S
v
e
n
Verdo
o
l
a
ege
export i
s
l
_
qpolynomial
_
ad
d
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomia
l
_homog
e
niz
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
sl_qpolyno
m
ial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
a
dd isl_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolae
g
e
isl_ctx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_t
a
b_detect_implicit_e
q
ual
i
ties:
return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
isl_ta
b
_s
e
lect_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
laege
add isl_basic_s
e
t_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
privately exp
o
rt
i
s
l_pw_qpoly
n
omial_morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
add
isl_qpo
l
ynomial_fol
d
_foreach_qp
o
ly
n
omial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
a
d
d isl_pw_qpolynomial_
f
old_foreach_lif
t
ed_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t
i
sl_pw_q
p
olynomia
l
_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
oolaege
pr
i
vat
e
l
y
export isl_morp
h
_alloc and isl_m
o
r
p
h_ide
n
tity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l
_
pw_qpolynomial_ge
t
_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl
_
c
t
x_peek_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_r
a
nge
.
c
:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
ex
p
ort i
s
l_s
e
t_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl
_
bo
u
nd: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
g
e
fix is
l
_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
isl_pw_qpolynomia
l
_b
o
u
n
d
_range
:
fix removal
o
f
d
im
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
add
b
ound_tes
t
.
sh t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoolaege
d
oc: document gis
t
operati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
o
o
laege
d
oc
:
d
o
cument
i
s
l
_constraint
_
i
s_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
e
rdoolaege
add isl_map_
i
s_sing
l
e
_valued
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Ve
r
doolaege
i
sl
_
b
as
i
c_
m
ap_forea
c
h_constrain
t
:
m
a
ke sure
input
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Ver
d
o
o
l
ae
g
e
isl_basic_
m
ap_
c
opy: mark duplicated copy as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
isl_
b
asic_
s
et_
l
ift:
f
inali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
r
d
oolaege
isl_bas
i
c_
m
ap_move_dims
:
a
l
w
ays finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdool
a
e
ge
isl_ba
s
ic
_
map_from
_
co
n
straint: finalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
e
rdoolae
g
e
isl_access_i
n
fo_com
p
ute_flow
:
h
andl
e
m
a
y
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
sl
_
access
_
info_c
o
mp
u
te_flo
w
: hand
l
e multi-valued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
remove
s
ome unu
s
ed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
rename isl_
p
w_qpolynomial_move and ad
d
isl_pw_qpolynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep
track of us
e
r options
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
i
m
prov
e
d
a
rgument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
isl_options_
p
a
rs
e
: prin
t
hel
p
mess
a
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add
is
l
_bound test appl
i
cat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
add
isl_pw
_
qpolynomi
a
l_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
rdoolaege
add isl_pw_qpolynomial_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
a
e
ge
add rudimentar
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
laege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_equaliti
e
s
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
ege
add
i
sl_mat_i
n
s
ert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
a
d
d isl
_
mat_normal
i
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_mat_lin_to_aff: fi
x
e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl
_
qpolynomial_opt_on_domain: handle em
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl
_
name_alloc:
f
ix err
o
r hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oola
e
ge
add is
l
_d
i
m_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_equalities
.
c:
f
ix typo
s
i
n
comment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aege
add isl_
p
w_qpolyno
m
ial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
e
ge
add isl_qpo
l
ynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
privately ex
p
ort isl_
s
et_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
add isl_set_c
o
unt_u
p
to
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add
i
sl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_
s
trea
m
_read_pw_q
p
olynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
ege
add isl_q
p
ol
y
nomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpolynomial_from_
c
onstr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
add isl_basic_s
e
t_fo
r
each_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doola
e
ge
add isl_qpo
l
ynomial_as_p
o
ly
n
o
m
ia
l
_on_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aege
add isl_qpolyn
o
mi
a
l_
s
u
bstitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_basic
_
set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
l
a
ege
isl_ct
x
: add
z
ero
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ver
d
oolaege
add isl_qpo
l
ynomia
l
_
n
e
gin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
ege
i
s
l_qpol
y
nomial_fold_
o
pt_o
n
_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval: fix
handling
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
a
dd isl_bas
i
c_set_
m
ove_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
V
erdoolaege
export isl_q
p
olynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
ola
e
g
e
ad
d
isl_
q
polynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
isl_m
a
p_
t
ransit
i
ve_closure:
c
oal
e
sce inp
u
t before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
d
oolaege
a
d
d
m
a
p_lex_*_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven
Ve
r
doolaege
isl_map_lex_le: use
o
ne basic set le
s
s in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
i
s
l_s
t
r
eam: a
c
ce
p
t lexicogr
a
p
h
ic o
p
erato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_transitive_closure: check if input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
V
erdoolaege
add
isl_
p
ri
n
t
er
_
flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_
m
ap_
r
ead:
p
a
rse p
a
r
ametric Omega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_ma
p
_rea
d
: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
la
e
ge
isl_conv
e
x_hul
l
.
c: is_bou
n
d:
any
inequa
l
ity is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdool
a
ege
isl_convex_
h
ull
.
c: add_b
o
unds: propagate
e
rro
r
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Ve
r
d
o
olaege
d
o
cume
n
t is
l
_ma
p
_reve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
isl_str
e
am_next_t
o
ken: termi
n
ate string tokens
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoola
e
ge
isl
_
map_
t
ran
s
i
tive_closur
e
:
t
reat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure, omega-
l
ik
e
:
only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
is
l
_
map_t
r
ansitive_closure: use
s
i
mple hull in
o
mega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdool
a
ege
i
s
l_map
_
transit
i
ve_cl
o
sure: try and co
m
p
u
te closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rdoolaege
isl_
m
ap_coa
l
esc
e
: allow wrapping
i
n s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_map_coalesce: allowi
n
g
cutt
i
ng equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
a
dd some mor
e
coal
e
s
c
ing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_basic_ma
p
_gist: be m
o
re aggressiv
e
in
removin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
i
s
l_
s
tream: accep
t
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
i
sl_ta
b
_
rollback: res
t
o
r
e
rows that are
no
l
onger m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
doc:
d
ocument sim
p
le h
u
l
l
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
d
o
c
:
emph
a
size that we are deali
n
g with integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive_
c
losur
e
.
c
: path_along_delt
a
: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_map_transiti
v
e
_
closu
r
e:
c
ompute
divs of inp
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
a
e
ge
isl_map_comput
e
_divs: mak
e
sure
r
e
sult
i
s gaussed and
.
.
.
commit
|
commitdiff
|
tree
next