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_map_transitive_closure: check if input is closed already
2010-04-28
Sven
V
e
r
d
oolaege
isl_map_tran
s
itive_clos
u
r
e: c
h
eck if
i
nput
is c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoo
l
aege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
map_read: parse param
e
tric Ome
g
a
input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read: fix
typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
en V
e
rdoolae
g
e
isl_co
n
vex_hull
.
c:
i
s_
b
oun
d
: any inequality is
a
b
o
un
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_co
n
vex_hull
.
c: add_bounds:
p
r
o
p
a
g
ate err
o
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
a
ege
documen
t
i
s
l_map_re
v
er
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
isl_s
t
ream_
n
ext_token: terminate string
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_tra
n
siti
v
e_closure: t
r
eat e
q
uality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_transitive_closu
r
e, o
m
ega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
d
oolae
g
e
isl_
m
ap_tr
a
nsitive_closure: use si
m
p
l
e
hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_map_transitive_closure
:
t
r
y
and compute closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coalesce: allow
wrapping in
sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_map_coalesce
:
al
l
ow
i
n
g
c
u
t
ting equalities in adja
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdoolaege
add some
m
ore coalescing t
e
st cases
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoola
e
ge
isl_basic_ma
p
_
g
ist: b
e
more aggress
i
ve in r
e
mov
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
olaege
isl_stream: a
c
c
e
p
t
string t
o
k
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
e
rdoolaege
isl_tab_rollback: restore ro
w
s
that are no longer mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
o
olaege
doc: document si
m
ple hull
commit
|
commitdiff
|
tree
2010-04-21
S
ve
n
Ver
d
oolae
g
e
doc: emp
h
asiz
e
that
w
e
are
deali
n
g
w
ith integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
isl
_
t
r
ansiti
v
e_closur
e
.
c:
pa
t
h_along_delta: onl
y
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_map_transitive_clos
u
re
:
comp
u
te
divs
o
f in
p
ut
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
i
sl_m
a
p_compute_div
s
: make
s
ure
result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_p
r
inte
r
_print_
p
w_qpo
l
ynomial: prope
r
l
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Verdoolaege
isl_pip and isl_cat: terminate is
l
_arg array with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
d
oc:
document setti
n
g and gettin
g
of dimension n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oola
e
ge
doc:
d
ocument *_get_dim f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
r
d
oolaege
isl_ma
p
_c
o
nvex_hull: handle non full-dimensional
p
airs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_convex_hull
.
c: m
o
dulo_af
f
ine_hu
l
l: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
c
onvex_hull
.
c: convex_hull_pair: skip dir
e
ction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
i
sl_printer_print_basic_set: fix up
p
rinti
n
g to st
r
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n Verd
o
olaege
add isl_
s
e
t_neg a
n
d isl_
s
et_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Ver
d
o
ola
e
ge
isl_transitive_closure
.
c: fix documentation of constr
u
c
t
_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_coa
l
esce: make sure resu
l
t still co
n
tains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
lae
g
e
isl_map_transitive_
c
losure: Floyd-Warsha
l
l
: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
l
aege
isl_ma
p
_trans
i
ti
v
e_closure: use Floyd-Warsh
a
ll on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoola
e
ge
isl_tra
n
sitive_cl
o
sur
e
.
c: e
x
tract out i
s
l_set_
o
v
erlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_map
_
transit
i
ve
_
closure: p
r
o
j
e
c
t out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oo
l
aeg
e
is
l
_
t
ransitive
_
closure
.
c: co
n
stru
c
t
_
c
o
m
pon
e
nt: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_closure: don'
t
a
d
d
l
ength paramete
r
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
e
rdoola
e
ge
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
isl_set_gis
t
: make cont
e
x
t argument an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
a
e
ge
is
l
_map_transitive_clo
s
ure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
ola
e
g
e
isl_transitive_
c
losur
e
.
c
:
construct_com
p
on
e
nt: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
rdoola
e
ge
doc:
cite Omega l
i
brary do
c
ume
n
tation on computa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoola
e
ge
add isl_
s
tream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
i
s
l
_arg
.
h: add mi
s
sing
incl
u
d
e
commit
|
commitdiff
|
tree
2010-04-11
S
ve
n
Verdoo
l
aege
isl_basic_map
_
move_dims:
normalize eq
u
alities
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
Verdoola
e
ge
ren
a
me isl_m
a
p_move to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
S
ven V
e
rdoolae
g
e
isl_op
t
ions_parse: only parse known options
b
y defau
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ver
d
oolaeg
e
isl_map_closure: optionally use Omeg
a
-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_
c
lo
s
u
r
e: ta
k
e
o
ptions
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_
m
ap
_
affine_
h
ull: handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_
c
ompute_
d
ivs:
handle non-obvio
u
s
l
y empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic
_
s
e
t_preimage:
a
d
d extr
a
sa
n
ity
check
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
Verdoola
e
ge
isl_
b
as
i
c_map_
s
et_to_emp
t
y: add missi
n
g
a
ssi
g
nment
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
i
sl_equalities
.
c: i
s
l_mat_vari
a
ble_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_sample
.
c
: initial_basis:
set n
_
unbo
u
nded an
d
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
eg
e
isl_
m
ap
_
coalesce: only use
non-redundant
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven
Ve
r
doolaege
i
sl_map_print: all
o
w empty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verd
o
olaege
isl_options
.
h: allo
w
inclusio
n
from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
isl_arg
.
h: allow inclusion from C+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_transitive_c
l
osure: handle
exi
s
t
e
ntials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl
_
m
ap_deltas:
pres
e
rve d
i
men
s
ion names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
ol
a
ege
i
sl_map_print:
support La
T
eX output
f
ormat
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
l_map_simplify: don't remove
any
d
i
v
definition
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
sl_
m
a
p_intersect: add special cases f
o
r empty
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
is
l
_t
r
an
s
itive_closure
.
c: path_along_delta: share c
o
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
transitive_closure
.
c:
path_along_de
l
ta
:
try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoolaege
e
xport isl_qpolynomial_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add i
s
l_
q
polynomi
a
l_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
d
d
is
l
_pw
_
qpolynomial_fold_get_d
i
m
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
ege
add some qpolynomial test fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
add i
s
l_pw_qpolynomial
_
fold_
{
max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
is
l
_
t
ab_min_at_most_neg_one: restore sample
value
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verd
o
olae
g
e
isl_map_coales
c
e: av
o
id
r
econs
i
d
e
ring pairs c
o
nsidere
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
i
s
l_tab
.
c: up
d
ate debugging
a
id chec
k
_table to pre
s
e
n
ce
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
do
o
l
a
ege
is
l
_tab_relax: make sure n
o
no
n
-n
e
gative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
erdoolaege
isl_tab
_
pip
.
c
:
always s
e
t r
o
w sign of found ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
i
s
l_print
e
r_print_b
a
sic_{s
e
t,map}: add closi
n
g "}"
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
export isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
e
g
e
add isl_set_rece
s
sio
n
_con
e
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add isl_set_dim_is_bound
e
d
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
isl_map_transitive_closure: b
r
eak earl
y
if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdool
a
ege
isl_map_transitive_closure: coal
e
sce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laege
expo
r
t isl_pw_qpoly
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
ven
Verdoolaege
isl_t
a
b
.
c: unrelax
:
restore row if
v
a
r
iable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
isl_t
a
b
.
c
:
cut_to_hyperplane: add extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
a
d
d isl_pw
_
qpolyn
o
mial
_
fol
d
_size
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolae
g
e
add isl_pw_qpo
l
yn
o
mial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
erdool
a
ege
i
s
l_qpol
y
nomial_max: fix dete
c
t
i
o
n
o
f
i
n
act
i
ve vari
a
bles
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
doc
:
fix tran
s
itive clos
u
r
e
example
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Ver
d
oolaege
isl_c
o
nv
e
x_hul
l
.
c: v
a
l
i
d
_direction:
pr
o
p
e
rly norma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl
_
conve
x
_hull
.
c
: si
m
p
l
i
f
y c
o
mput
a
ti
o
n of i
n
iti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven
V
erdoolae
g
e
export isl_pw_qpolyn
o
mial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoola
e
ge
a
dd isl_
p
w_qpolynomial_fold_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoo
l
aege
ad
d
is
l
_int_g
e
t_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olae
g
e
a
dd isl_pw_qpolynomial_mi
n
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
lae
g
e
a
dd
isl_pw
_
qpolynomial_fix_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
add isl_
p
w_qpolynomial_add_d
i
ms
commit
|
commitdiff
|
tree
next