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
isl_tab_select_facet: return int instead of isl_tab *
2010-06-12
Sven
Verdoola
e
ge
isl_tab_s
e
lect_facet: return i
n
t instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
add isl_basic_set_fu
l
l_c
o
mpression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
private
l
y expor
t
isl_pw_qpolynomial_morp
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add is
l
_
qpolynomial
_
f
old_foreach_qpol
y
nom
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaeg
e
a
dd i
s
l_pw_qp
o
lyn
o
mial_fold_for
e
ach_lifte
d
_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qp
o
lynomial_fold
_
is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
privat
e
ly export i
s
l_
m
orph_allo
c
and isl_mor
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdo
o
laeg
e
a
d
d isl
_
qpolynomial_fold_get
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
expor
t
isl_pw_qpolyn
o
mia
l
_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
isl_range
.
c
:
fi
x
typo i
n
comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
expor
t
isl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
isl_bound
:
plug
m
emor
y
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
fi
x
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolyno
m
ial_bound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d bound_test
.
sh to di
s
tri
b
ut
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n
V
erdoo
l
aege
do
c
: docu
m
ent gis
t
op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
do
c
:
d
ocum
e
nt i
s
l_constraint_i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdool
a
ege
add
i
sl_map_is_sin
g
le_valued
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolaege
isl_
b
a
sic_map_foreach
_
constraint: make sure
input ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Verdoolaege
isl_basic_ma
p
_c
o
p
y: mark du
p
licated copy
a
s
fin
a
l
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
isl_basic_set_lift: f
i
naliz
e
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoo
l
a
e
g
e
isl_basic_map_mov
e
_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_b
a
sic
_
ma
p
_fr
o
m_constraint:
f
i
n
alize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
is
l
_acces
s
_in
f
o
_
comput
e
_fl
o
w: handle
m
ay accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
ool
a
e
ge
isl_access_i
n
fo_comp
u
te_flow:
h
andle multi-val
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
r
emove some un
u
sed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
re
n
ame isl_pw_qpolynomial_move and add isl_pw_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
isl_ctx: keep
t
rack
o
f user o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
i
m
p
rov
e
d a
r
g
u
ment
parsing
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
isl_options_parse
:
print h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add isl_bound test appl
i
c
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rd
o
olaege
add
isl_p
w
_
q
p
o
lynomi
a
l_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_pw_q
p
olynom
i
al_fold_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add rudimen
t
ary is
l
_
mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
add
i
sl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_equali
t
ies
.
c:
f
ix typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
a
d
d
isl_
m
at_insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
dd i
s
l_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
add
i
s
l
_mat_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_lin_to_aff: fix er
r
or han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
ola
e
ge
i
s
l_q
p
olynomial_opt_
o
n_domain:
h
andle empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
ege
is
l
_name_alloc: fix error
h
a
n
dling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
ad
d
isl_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_equalit
i
es
.
c: fix ty
p
os in comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
add
is
l
_pw_qpolynomia
l
_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d isl
_
q
p
o
l
ynom
i
al_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
privately export isl_s
e
t_is_b
o
unded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
add
i
s
l
_set_coun
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add isl_se
t
_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
a
dd isl_stream_rea
d
_pw
_
qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdool
a
eg
e
add
i
sl_qpolynomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
e
ge
add isl_qpolynomial_from_co
n
strai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
isl_basic_set_foreach
_
bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_qpolynomial_as_polynomial
_
on_d
o
m
a
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add
isl_qpolynom
i
al_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_set_di
m
s
_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdool
a
ege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
e
rdo
o
l
aege
a
d
d isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
a
dd isl_basic
_
set_dr
o
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl
_
qpolynomi
a
l_fo
l
d
_
opt_on_domain: fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_pw_*_eva
l
:
f
i
x
handling of
e
mpty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
a
d
d isl_basic_s
e
t_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
expor
t
i
sl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
eg
e
add isl_qpolynomial_get_d
i
m
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoo
l
aeg
e
isl_m
a
p_
t
ransitive_closure
:
coalesce
input be
f
o
r
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oola
e
ge
a
d
d
map_lex
_
*_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoolaege
i
s
l_m
a
p_
l
ex
_
le:
use one basic set le
s
s in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoo
l
aege
isl
_
stream:
a
ccept
lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
i
sl_map_transitiv
e
_clos
u
re:
c
h
e
ck if
in
p
ut is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
a
dd
isl_print
e
r
_
flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_read:
pa
r
se
p
a
ramet
r
ic
O
m
e
ga input
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verdoola
e
ge
isl_ma
p
_rea
d
:
fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erd
o
ola
e
ge
isl_convex
_
h
ull
.
c: is_boun
d
: any
i
n
equality i
s
a boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_
h
ull
.
c
: ad
d
_bo
u
nds: propagate er
r
o
rs from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven Verdoolaege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_stream_next_token:
t
e
r
m
inate st
r
i
n
g token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
s
l_map_trans
i
ti
v
e
_closu
r
e: treat equality
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ver
d
oola
e
ge
isl_map_transitive_closure, omega-like: only
u
s
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
is
l
_m
a
p_transitive_clo
s
ure: us
e
si
m
ple hull i
n
ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl
_
map_tr
a
nsi
t
i
ve_closu
r
e: try and compu
t
e c
l
osur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_coalesce: allow wrap
p
ing in sets
t
hat stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_map
_
coalesce: allowing cutting equaliti
e
s in adjac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdool
a
ege
add some mo
r
e coalescing
t
e
s
t
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
doolaege
is
l
_basic_m
a
p_gist:
b
e
m
o
re aggressive in re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdo
o
laeg
e
isl_s
t
ream: ac
c
ept
stri
n
g
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_rollback:
rest
o
re rows
t
hat are no longer
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
e
r
doolaege
d
oc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdool
a
e
ge
doc: emphasiz
e
that w
e
a
r
e dealing with inte
g
er sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
o
l
aege
isl_tr
a
nsitive_cl
o
sur
e
.
c: path_
a
lon
g
_delta:
o
n
ly av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
isl_map_tr
a
n
s
itive_clo
s
ure
:
com
p
ute
d
ivs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_
c
ompute_divs: make
su
r
e result
i
s gau
s
sed
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
laege
isl_pr
i
n
t
e
r
_print_
p
w_qpol
y
nomia
l
:
properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_p
i
p an
d
isl_cat:
terminat
e
i
sl_arg array with ISL
_
ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoo
l
aege
do
c
: docume
n
t setting and gettin
g
of di
m
ension names
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n
V
e
rdoolaege
d
oc: do
c
ument *_get
_
dim functi
o
n
s
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
i
s
l_map_c
o
nvex_hull: handle
non full-dim
e
nsional
p
ai
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolae
g
e
i
s
l_con
v
ex_hull
.
c: mo
d
ulo_aff
i
ne_
h
ull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven
Ve
r
d
oolaege
isl_c
o
nvex_h
u
ll
.
c: con
v
ex_h
u
ll
_
p
a
ir: s
k
ip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doolaege
i
sl_prin
t
er_print_b
a
sic_set: f
i
x up p
r
inting to
string
.
.
.
commit
|
commitdiff
|
tree
next