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_set_is_bounded
2010-06-12
Sve
n
Verdoolaege
ex
p
o
r
t
isl_set_is_b
o
u
n
de
d
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
g
e
is
l
_bound: plug memory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
fix i
s
l_q
p
olynom
i
al_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
i
s
l_pw_qpolynomial_bound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
dool
a
ege
doc
:
document
gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
doc:
d
ocument isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaeg
e
add is
l
_
m
ap_is_single_
v
a
l
u
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaege
isl_
b
asic_map
_
fo
r
each_constraint: make sure i
n
put
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoola
e
ge
isl_basic
_
map_copy: m
a
rk duplicated cop
y
a
s
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaeg
e
isl_basic_set_l
i
f
t: finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
er
d
oolaege
isl_basic_map_move_dims: always finali
z
e
result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdo
o
laege
isl
_
basi
c
_map_
f
rom_c
o
n
s
train
t
: f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdoo
l
aege
isl_acc
e
ss_info_compute_f
l
ow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n
V
erdoola
e
ge
i
sl_
a
c
c
e
ss_info_compu
t
e
_
fl
o
w: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
o
l
aege
re
m
o
v
e some unused variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoola
e
ge
rename isl_pw_
q
polyn
o
mi
a
l_
m
ov
e
and ad
d
isl_pw_qpolynomial
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
ol
a
ege
i
s
l_ctx: keep track of
user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ve
r
d
oo
l
a
e
ge
improved argu
m
ent parsin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdool
a
ege
isl_options_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
o
olaege
add isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
o
l
aege
a
d
d isl_p
w
_qpolynomial
_
b
o
und_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpo
l
ynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d
rudimentary
i
sl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
add isl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
is
l
_
e
qua
l
ities
.
c:
f
ix typo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_mat
_
norma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
e
rdool
a
e
g
e
add i
s
l_
m
at_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
isl_mat_lin_to_a
f
f: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
is
l
_qpolynomial_opt_on_doma
i
n: hand
l
e
empty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
isl_
n
ame_alloc: fix erro
r
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
i
sl_equalities
.
c:
fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_
p
w_
q
pol
y
no
m
ial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_qpolynomial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately export
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
add isl_stream_read_
p
w_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aege
add isl_qpolyno
m
ial
_
f
r
om_term
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
add isl_qp
o
lynomi
a
l_from
_
c
o
nstraint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_basic_s
e
t_forea
c
h_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolae
g
e
add isl_qpolynomial_as_polyno
m
i
al
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
a
d
d i
s
l_qp
o
l
y
nomial
_
substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_basic_set_dim
s
_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
isl
_
ct
x
: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolyno
m
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
is
l
_
basic
_
set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l
_qpolynomial_fold_opt_on_domain: fix typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
i
s
l_pw_*_eval: fix han
d
l
ing of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
add
is
l
_b
a
s
i
c_set_mo
v
e_d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
export i
s
l
_qpoly
n
omial
_
su
b
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erd
o
olaege
add
isl_qpolynomial
_
g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l_map_tra
n
sitive_closure: coalesce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rd
o
ol
a
ege
a
dd
m
ap_lex_*_f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
l
aege
isl_m
a
p_
l
ex_le:
u
s
e
one basi
c
set
le
s
s in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdoolaege
isl_stream: accep
t
lexicographic op
e
rator
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
isl_
m
a
p_transitiv
e
_closu
r
e: c
h
eck
i
f inpu
t
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_p
r
inter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
ola
e
ge
isl_map
_
read:
p
a
r
se
p
a
rametric O
m
ega input
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
er
d
oolaege
i
s
l_map_read: fix t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
is
l
_convex_h
u
ll
.
c: is_bo
u
nd
:
a
n
y inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verd
o
ola
e
ge
isl_c
o
nvex_
h
ull
.
c: add
_
b
o
unds: pro
p
agate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven V
e
r
d
oo
l
a
e
ge
docu
m
ent isl_
m
ap_re
v
ers
e
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
isl_str
e
am_
n
ext_token: t
e
rminate
string
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_map_transitiv
e
_c
l
osu
r
e: treat equality as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl_map
_
t
r
ansit
i
ve_c
l
osu
r
e, omega-like
:
o
nly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map_transitive_closur
e
: u
s
e simple h
u
ll i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
s
l
_map_
t
r
an
s
itive_closu
r
e: t
r
y and c
o
mpute
c
l
osu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdoolaege
isl_map_
c
oales
c
e: allow
w
r
apping in sets
that
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
laege
i
sl_map_c
o
alesce: allowing cu
t
ting
e
q
u
alit
i
e
s
in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
add
s
o
me more coalescin
g
te
s
t cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
i
s
l_basic_map
_
gist: be more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_stream: accept st
r
in
g
token
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdo
o
laege
i
sl_tab
_
rollback: resto
r
e ro
w
s th
a
t are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: d
o
cument simpl
e
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
doc: emphasiz
e
that we
a
re
d
e
aling with
integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
is
l
_transitive_clos
u
re
.
c: path_a
l
ong_delta:
o
nl
y
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl_
m
a
p_transitive
_
closure:
c
om
p
u
t
e
d
i
vs of inpu
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl_map
_
compute_di
v
s:
m
ake sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
i
sl
_
print
e
r_print_pw_qp
o
lynomial: properly print
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaeg
e
isl_pip and isl_cat: ter
m
inate isl_arg
a
rray with ISL_ARG_
E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
doc:
d
o
cument setting a
n
d getting
o
f dimension na
m
es
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc: d
o
cum
e
nt *_ge
t
_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolae
g
e
isl_map_convex_
h
ull: handle non
f
ull-
d
imens
i
onal pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoola
e
ge
isl_con
v
ex_hull
.
c
:
modulo_aff
i
ne_hull:
drop re
d
u
n
dant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
isl_convex
_
hull
.
c:
convex_hull_pair: skip directio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
olaege
is
l
_printe
r
_print_basic_set: fi
x
u
p printin
g
t
o
s
tri
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoolaege
a
d
d isl_set_ne
g
and isl_
s
e
t
_
sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Ve
r
d
oolaege
isl_transitive_c
l
os
u
re
.
c: fix documentation
of constru
c
t_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
i
sl_map_coales
c
e:
m
ake
s
ur
e
result still conta
i
n
s
se
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
l
aege
isl_map_transitive_cl
o
sure: Floy
d
-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_map_transitive_c
l
osure: use Fl
o
yd-Wa
r
shall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoo
l
aege
i
s
l_trans
i
tive
_
closure
.
c
: extr
a
ct out
i
sl_set_o
v
e
r
l
a
ps
commit
|
commitdiff
|
tree
2010-04-15
S
ve
n
Verdoolae
g
e
isl
_
map_transit
i
v
e
_c
l
osure: pr
o
jec
t
o
ut l
e
ngth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_transitive_
c
losure
.
c: construct_comp
o
nent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaeg
e
isl_ma
p
_tr
a
nsitive_closure: don't add lengt
h
paramet
e
r
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
d
o
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sven
Ver
d
oolaege
isl_set_gist: make cont
e
xt argument
an isl_set
for
.
.
.
commit
|
commitdiff
|
tree
next