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
doc: document gist operations
2010-06-11
Sven Verdoolaege
do
c
: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
V
erdoolaege
doc: docume
n
t isl
_
constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map
_
is_si
n
gle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_foreach_co
n
s
traint: make
sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_basic_map_cop
y
: m
a
rk
d
uplicate
d
copy a
s
finalize
d
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
is
l
_
b
asic
_
set_lift:
finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
i
s
l_basic_map_move_d
i
ms: always f
i
nal
i
ze re
s
ul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic_map_
f
rom_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verd
o
olaege
i
s
l_access_
i
nf
o
_compu
t
e_flow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoolaege
isl_access_info_c
o
mp
u
te_flow: hand
l
e mul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some
u
nused va
r
iables
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
f
ix some icc wa
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdool
a
e
ge
ren
a
m
e isl_pw_qpolynomial_move and add
i
sl_p
w
_qp
o
l
y
n
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
isl_ctx
:
keep track
of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved arg
u
m
e
n
t parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
i
sl
_
options_p
a
rse: p
r
i
n
t
help message
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdo
o
laege
add isl_bound test ap
p
lication
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
add isl_pw_q
p
olynom
i
al_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdool
a
ege
add isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
rudiment
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
isl
_
equalities
.
c
: fix
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_ma
t
_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
e
ge
add isl_mat
_
normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
add isl_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
m
at_l
i
n_to_aff:
f
i
x
e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
isl_qp
o
lynomial_op
t
_o
n
_
domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_name_alloc: fix
error
h
an
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
ad
d
isl
_
dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_equalitie
s
.
c:
fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
add isl
_
p
w
_
qpo
l
y
nomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
p
o
l
ynomia
l
_
le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
privately expor
t
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
s
e
t_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
ge
a
dd
i
sl_
s
t
re
a
m_read_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl
_
qp
o
lynom
i
al_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaege
a
d
d
isl_qpolynomi
a
l
_
from_constrain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl
_
basic_set_foreach_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_as_
p
olynomial_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add is
l
_qpoly
n
omial_su
b
s
t
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
a
d
d
isl_b
a
sic_set_dims_
g
et_si
g
n
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdoolaege
add isl_qpolynomial_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Ve
r
doolaege
add isl_b
a
sic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
laege
isl_qpolynomia
l
_fo
l
d_opt_on_domain: f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l
_pw_*_eval: fix handling of em
p
ty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verd
o
olaege
ad
d
isl_
b
a
sic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
export
isl_qpolynomi
a
l_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
erdoolaege
ad
d
i
s
l
_
q
polynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
aege
isl_map_tra
n
sitive_clo
s
u
r
e:
coalesc
e
inpu
t
before
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add map_l
e
x_*_firs
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdo
o
laege
isl_
m
ap_
l
ex_le: use
one basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoolaege
is
l
_
s
tream:
a
ccept lexicogra
p
hic o
p
erators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
la
e
ge
isl
_
map_
t
ran
s
itive
_
closure: c
h
eck if input is cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_
r
e
ad:
parse parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read: fix
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c
: is_bound: any
i
nequ
a
lit
y
i
s
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_convex_hul
l
.
c: add_boun
d
s:
p
r
opagate
e
rror
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ve
n
V
e
rdoolaege
document
i
sl_ma
p
_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
isl_stream_next_token: terminate stri
n
g
tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
transitive_closure: trea
t
equalit
y
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_trans
i
t
i
ve_clo
s
ure, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
o
laege
i
sl_m
a
p_trans
i
tive_closure:
use simple hull
i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
olae
g
e
isl_map_transi
t
ive
_
closure: try and compute
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
i
sl_map_coale
s
c
e
: all
o
w wra
p
ping in s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_coalesce: allow
i
ng cu
t
tin
g
eq
u
alities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdo
o
l
aeg
e
ad
d
some more coalescing te
s
t cases
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_basic_map
_
gi
s
t: be
m
ore aggressive in
r
emov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rdoolaege
isl_stream: accept string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ver
d
oola
e
ge
isl_t
a
b_rollback: re
s
tor
e
rows that are no lon
g
er marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
doolaege
doc: d
o
c
ument
s
imple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ver
d
o
olaege
doc: emph
a
size that we are deali
n
g
wi
t
h integ
e
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
e
ge
isl
_
t
r
ansiti
v
e_closure
.
c:
p
ath
_
along_delta:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_m
a
p_transitive_closu
r
e: compute
divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
isl_map_compute_divs: make sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
isl_print
e
r_print_pw_qpolynomi
a
l:
p
r
o
p
erly print constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
V
e
rdo
o
laeg
e
isl_pi
p
and isl_cat: term
i
nate isl_arg array wit
h
ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
oc: document setti
n
g and g
e
t
ting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
doc: docume
n
t *
_
get
_
dim funct
i
ons
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoo
l
aege
i
sl_map_conv
e
x_hull: handle non full-dimens
i
onal pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rd
o
olaege
isl_convex_hull
.
c: modulo_affine_
h
ull
:
drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoo
l
aege
isl_conv
e
x_hull
.
c: convex_h
u
ll_pair: skip direct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdool
a
eg
e
isl_print
e
r_print_basic_set: fix up pri
n
tin
g
to
s
tring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
r
d
oolaege
add isl_set_neg and isl
_
set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_
t
ransitive_closure
.
c: fix documentation of
c
ons
t
ruct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaeg
e
isl_map_coalesce: mak
e
sure
result s
t
ill contains
s
et
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
is
l
_map_trans
i
t
i
ve_
c
l
os
u
re
:
Floyd
-
Warshall
:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verd
o
ola
e
g
e
isl_map_trans
i
t
i
ve_cl
o
sure
:
u
se
Floyd-Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Ve
r
doola
e
ge
isl_transitive_c
l
osure
.
c: ex
t
ract
o
ut isl_
s
et_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verd
o
olaege
isl_
m
ap_transit
i
ve_clos
u
re: proje
c
t
o
ut length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaeg
e
is
l
_transitive_closure
.
c
:
cons
t
r
u
ct_component: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl
_
map_transiti
v
e_c
l
osure:
don't add length
p
arame
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
do
c
: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set
_
gist: ma
k
e
conte
x
t ar
g
u
ment a
n
is
l
_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
i
s
l_map_tran
s
itive_clos
u
re:
coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doo
l
aege
isl_tran
s
itive_closure
.
c
:
construct_
c
omponent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoo
l
a
ege
doc:
c
i
te O
m
ega library docu
m
enta
t
i
on
o
n
co
m
putati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add isl_st
r
eam_read_map
commit
|
commitdiff
|
tree
next