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
fix isl_qpolynomial_fold_dup
2010-06-12
Sv
e
n
Verdoolaege
fix isl_qpol
y
no
m
ial_fo
l
d
_
dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
oolaege
i
sl_pw
_
q
pol
y
nomial_bound_range:
f
ix removal of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bo
u
nd_t
e
st
.
sh to di
s
tribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
aege
doc
:
docum
e
nt gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
ven
V
er
d
ool
a
eg
e
doc:
d
ocum
e
nt isl_constraint_is_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
ad
d
is
l
_
m
ap_is
_
singl
e
_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdool
a
ege
is
l
_
b
asic_map
_
f
o
reach
_
c
o
nstraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
lae
g
e
isl_basic_map_copy: mark du
p
licat
e
d copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
i
s
l
_ba
s
ic_set_lift: fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_basic_
m
ap_move
_
dims: always
finalize
r
e
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_from
_
const
r
aint: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_
a
ccess_
i
nfo_compute_flow: handle may acces
s
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
doolaege
isl_access_info_compute_fl
o
w: handle multi-value
d
si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rem
o
v
e
some
unused var
i
abl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
f
i
x
s
ome ic
c
w
arn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
r
e
name is
l
_
pw_
q
pol
y
nomial_mov
e
and add
i
sl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
isl_
c
tx: k
e
ep trac
k
of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
i
sl_optio
n
s_pa
r
se: pr
i
nt help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd isl_boun
d
test
a
pp
l
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doo
l
aege
add isl_p
w
_
qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_pw_q
p
o
l
y
nom
i
al_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
add ru
d
im
e
ntary isl_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
add isl_seq
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
i
s
l
_
e
qualities
.
c: fix
t
ypo
i
n com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add
i
sl_mat
_
insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_
m
a
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
a
d
d i
s
l_
m
at_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_mat_lin_to_aff: f
i
x error
h
an
d
li
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oolaege
isl_qp
o
l
ynom
i
a
l_o
p
t_on_doma
i
n: hand
l
e empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
isl_name_alloc: fix
e
r
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
i
sl_equalities
.
c: fix typos in comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
la
e
ge
add isl_pw_qp
o
l
y
nomial
_
fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
a
dd
isl_qp
o
lyno
m
ial_
l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
private
l
y export isl_set_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add i
s
l_set_coun
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
ad
d
isl_stream_re
a
d_pw
_
qpolynom
i
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_qp
o
lynomi
a
l_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
add isl_qp
o
lynomial_
f
rom_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
add isl_basi
c
_
set_for
e
ach
_
bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laeg
e
add isl_
q
polynomial_as_polynomial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d
i
s
l_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
d
d isl_basic_set_dims_g
e
t_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
aege
isl_ctx: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ve
r
doolaeg
e
add isl_qp
o
l
y
n
omial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d
isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
isl_qp
o
ly
n
omial_fold_
o
pt_on_do
m
ain:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rd
o
olaege
isl_pw_*_eval
:
fi
x
ha
n
dling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add isl_basic_
s
e
t
_
m
ove_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export
isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add i
s
l_q
p
olyno
m
ial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
i
s
l_map_tran
s
itive_closu
r
e: coalesce input b
e
fore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_le
x
_
*
_f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
e
rdoolaege
isl_
m
ap_
l
ex
_
le: use one basic s
e
t less in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sven
Verdoo
l
aeg
e
isl_stream: accept lexi
c
o
graphic o
p
erators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_map_transiti
v
e
_
closu
r
e: check if inp
u
t is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_
p
rinter_fl
u
sh
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read: pa
r
se parametri
c
Ome
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl
_
m
a
p_
r
e
ad: fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Ve
r
d
oolaege
isl_convex_hull
.
c: is_bou
n
d:
any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoo
l
aege
i
s
l_convex_hu
l
l
.
c: add_bo
u
nds: propagate error
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verd
o
olaege
d
o
cu
m
ent isl
_
map_r
e
v
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoo
l
aege
isl_stream
_
next_t
o
ken
:
t
erminate s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolae
g
e
is
l
_map_tra
n
s
i
tive_closu
r
e:
t
r
eat eq
u
ality as pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
is
l
_map_tr
a
nsi
t
iv
e
_cl
o
sure, omega-
l
ik
e
: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
a
ege
isl
_
map_transitive_cl
o
sure:
us
e
simpl
e
hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
i
s
l_map_t
r
a
nsit
i
ve_closure: try and compute
c
l
os
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
lae
g
e
is
l
_
map_c
o
a
l
e
sce:
a
llow wrapp
i
ng in sets
t
hat stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
e
ge
isl
_
m
a
p_
c
o
a
lesce:
allowing cutting equaliti
e
s in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
a
d
d
some
m
ore
c
oales
c
ing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
o
laege
isl_basic_map_
g
i
s
t: be
mo
r
e aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
oola
e
ge
isl_stream: accept
string
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_tab_
r
oll
b
ack:
re
s
tore rows that are
n
o longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
doc: document simp
l
e h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
do
c
: emphasiz
e
t
h
at
w
e a
r
e
dealing
w
it
h
int
e
ger
s
e
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
isl
_
transi
t
ive_clos
u
re
.
c
:
path_al
o
ng_delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl_map_
t
r
a
nsitive_closure: co
m
pute
d
ivs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_
m
ap_co
m
p
u
t
e
_
d
ivs: mak
e
sure resu
l
t is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoo
l
aege
isl
_
pri
n
te
r
_print
_
pw_
q
p
o
lyn
o
mia
l
:
properly print con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doo
l
aege
isl_pip
a
n
d isl_cat: terminate i
s
l_arg array w
i
th ISL_
A
R
G_E
N
D
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ver
d
oolaege
doc: document settin
g
an
d
g
e
tting of dimension na
m
es
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc: d
o
c
ument
*
_
g
et_d
i
m functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_co
n
vex_hull: han
d
le non
f
ull-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
isl_c
o
nvex
_
hull
.
c: modulo_a
f
fin
e
_hull: drop red
u
nda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n Verdool
a
eg
e
i
sl_convex_hu
l
l
.
c
:
convex_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
o
l
aeg
e
is
l
_printer_p
r
int
_
bas
i
c_set: fix up
p
rint
i
ng to s
t
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
d
d
is
l
_set_neg and
i
sl_
s
et
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_tr
a
nsit
i
ve_clos
u
r
e
.
c
:
fix documentation of
cons
t
ruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
i
s
l
_map
_
co
a
lesce:
m
ake sure result sti
l
l contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
doolaege
isl
_
map_
t
ran
s
itive_closure: Floyd-Warsh
a
ll: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
Verdoolaege
isl
_
m
a
p
_
transitive
_
c
l
osure: use Floyd-W
a
rs
h
all on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitive_clos
u
r
e
.
c:
e
x
t
r
a
ct
o
ut isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_map_tra
n
sitive_
c
l
o
sur
e
: project out len
g
th on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
i
sl_transitive
_
c
l
o
s
ure
.
c: construct_compone
n
t:
do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_map_transitive
_
clos
u
re: don't add
l
ength parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doo
l
a
e
ge
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
erd
o
olaege
isl_se
t
_gist: ma
k
e co
n
text argument an isl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verd
o
olaege
isl_
m
ap_transitive_
c
losure:
c
o
alesce input map
commit
|
commitdiff
|
tree
next