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 isl_constraint_is_equality
2010-06-04
S
v
en Verdoola
e
g
e
doc: docu
m
ent isl_co
n
strai
n
t_is_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add i
s
l_m
a
p_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoo
l
a
ege
is
l
_basic_map_foreach_con
s
traint
:
mak
e
s
u
re input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ve
n
V
erdoolaege
i
s
l_basic_map_copy: mark du
p
licat
e
d copy
as
f
inali
z
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_
l
i
ft: finalize r
e
sul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_bas
i
c_map_move_dims: al
w
a
ys
f
inalize
r
es
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaeg
e
i
sl_ba
s
i
c
_ma
p
_fro
m
_constraint: fina
l
ize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
r
d
o
o
laege
isl_access_info_compute_flow
:
handle
may a
c
ces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdo
o
laege
isl_access_info_compute_flow: han
d
le multi-valued
s
ink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erd
o
olaege
remove som
e
un
u
sed variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
fix s
o
me ic
c
w
arnings
commit
|
commitdiff
|
tree
2010-05-30
S
ven
V
e
rdoolaege
renam
e
isl_pw_qpolynomi
a
l_
m
ove and add isl_pw_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
r
d
o
o
laege
isl_ctx: keep
track of
user o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved
argume
n
t parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_op
t
ions_par
s
e: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d isl_boun
d
test
application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qpolyno
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_pw_qpolynomi
a
l_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
add
r
udim
e
ntary i
s
l
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
isl
_
equa
l
iti
e
s
.
c: fi
x
typ
o
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
ad
d
i
s
l
_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
ad
d
isl_
m
at_n
o
rmalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
add
isl
_
mat_diago
n
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
isl_m
a
t_lin_to_aff: fi
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
e
ge
isl_qpolynomial_
o
pt
_
on_d
o
main: handl
e
e
mpty i
n
p
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
aege
isl_name_allo
c
: fi
x
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_dim_
o
ffset
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
ge
isl_equalities
.
c:
fix typos
i
n comme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
ad
d
isl_pw_qpolynom
i
al_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
e
rdoolaege
a
dd isl_qpolynomi
a
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately exp
o
rt isl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_set_co
u
nt_u
p
to
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd
i
sl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
e
ge
add isl_stream_re
a
d_p
w
_
qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdoolaege
add isl
_
qpo
l
ynomial_from_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
laege
add isl_qpolynomial_from_con
s
tr
a
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_ba
s
ic
_
set_foreach_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aege
add isl_q
p
olynomi
a
l
_
as_polynom
i
al_on_
d
o
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
l
aege
add isl_qpolynomial_s
u
bstitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_basic_set_d
i
ms_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olae
g
e
i
sl_c
t
x: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdool
a
ege
add isl_qpoly
n
omi
a
l_n
e
g
i
nft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
add isl_
b
a
s
ic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolae
g
e
i
sl_
q
polyn
o
mi
a
l_fold
_
opt_on_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_pw_*_eval: fix handli
n
g of emp
t
y input
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
laege
a
dd isl_basic_set_mo
v
e_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoo
l
ae
g
e
export isl_qpolynomial
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d
i
sl_qpolynom
i
al_get
_
dim
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
isl_map_
t
ransitive
_
closure: co
a
lesce input before check
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
l
aege
add m
a
p_lex
_
*_f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
dool
a
e
ge
isl_map_lex_l
e
: use on
e
b
a
sic set less in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_stream: accept lexicographic oper
a
tors
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ve
r
d
oolaege
isl_
m
a
p_tr
a
nsitive
_
c
los
u
re: check if
i
nput is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
a
dd isl_
p
rinter_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaeg
e
i
sl_map_read: pars
e
p
a
ramet
r
ic Ome
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_re
a
d: fix t
y
po
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Verdoolaege
is
l
_
convex
_
hull
.
c: is_bou
n
d:
a
n
y inequ
a
lity i
s
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_convex_
h
u
l
l
.
c
:
ad
d
_
b
o
und
s
: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven Verdoolaeg
e
document is
l
_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven
Ve
r
doolaege
i
s
l_stream_next_token: termina
t
e st
r
ing tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_tra
n
sitive_closu
r
e: treat equal
i
t
y
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
ola
e
ge
isl_map_transitiv
e
_closure, omega-like: only u
s
e ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdoolaege
isl
_
map_transi
t
ive_clo
s
ure
:
use
s
imple hull in ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
i
s
l_map_transitive_closure:
try a
n
d compute cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaeg
e
isl
_
map
_
coal
e
sc
e
: allow wrapp
i
ng in se
t
s
that s
t
ick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolae
g
e
i
s
l
_
map_coa
l
esce: allowin
g
cuttin
g
equ
a
l
i
ties in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
ad
d
s
ome more coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
s
l_basic
_
map_gist:
b
e m
o
re aggre
s
sive
i
n removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_
s
tream:
a
cc
e
pt strin
g
tok
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_tab_rollba
c
k: restore rows that are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
d
ocument
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
doc: emphasize th
a
t we are dealing w
i
th intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoola
e
ge
isl_trans
i
tive_closure
.
c: path
_
along_d
e
lta: only
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaege
isl_map_tra
n
sitiv
e
_
closu
r
e: compute divs o
f
input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
olaeg
e
i
sl_
m
a
p
_co
m
pute_divs: make sure result is
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ver
d
oolaeg
e
isl_pri
n
t
er_print_pw_qpolyn
o
mial: prope
r
ly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_pip and isl_
c
at: t
e
rminate isl_arg array with IS
L
_ARG
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
d
o
c
:
document setting and ge
t
t
ing
of di
m
ension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: docum
e
n
t *_get_dim fun
c
t
i
ons
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_map_convex_hull: handle non
f
ul
l
-di
m
ension
a
l pa
i
rs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_co
n
ve
x
_hull
.
c:
m
odulo
_
affine_
h
ull: drop re
d
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl_convex_h
u
ll
.
c
:
convex_hull_pair: s
k
ip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ver
d
o
o
laege
isl_printe
r
_prin
t
_
b
a
sic_se
t
:
fix up printing
t
o stri
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add i
s
l_
s
et_neg and
i
sl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verd
o
olaege
i
sl_tr
a
nsi
t
ive
_
closure
.
c: fix
d
o
c
umentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
ool
a
ege
isl_map_c
o
alesce: make
sure r
e
s
ult still c
o
ntains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdool
a
e
ge
isl_m
a
p
_
transitive_closure:
F
l
o
yd-W
a
r
shall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Ver
d
o
olaege
isl_map_transitive_closu
r
e
: u
s
e
Floy
d
-
W
arshall on disj
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
o
lae
g
e
isl_tra
n
s
i
t
i
ve_closure
.
c: extrac
t
out isl_
s
et_ove
r
la
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_tran
s
itive_cl
o
s
ure: project
out l
e
ngth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitiv
e
_clos
u
r
e
.
c:
construct_compone
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Ver
d
oola
e
ge
i
s
l
_
map_trans
i
tive_clos
u
re: don't ad
d
length
p
a
r
a
met
e
r
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
d
o
c: fix ty
p
o
s
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
is
l
_se
t
_gist: ma
k
e context argument an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
sl_map_transitive_closure: coalesce inp
u
t map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolae
g
e
i
sl_transit
i
ve_closure
.
c
:
construct_compo
n
ent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: cite Omeg
a
l
i
brary d
o
cumentat
i
o
n o
n
comp
u
tatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
add isl_
s
t
ream_read_m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
isl
_
arg
.
h: add missin
g
i
n
cl
u
de
commit
|
commitdiff
|
tree
next