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
add some more coalescing test cases
2010-04-23
Sven Verdo
o
lae
g
e
add
some more coalescing
test
c
a
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_basic_map_gist: be more
aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoolaege
isl_stream: accept
s
tring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdool
a
e
ge
isl_tab_r
o
llbac
k
: restore r
o
ws that are
n
o long
e
r m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdoo
l
ae
g
e
doc: document simple
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
doc: emph
a
s
i
z
e that we are dea
l
ing w
i
th int
e
g
e
r
se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolae
g
e
isl_tran
s
i
t
ive
_
closure
.
c
:
path_along_del
t
a: only
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
laege
isl_ma
p
_
t
r
a
nsitive_
c
l
o
sure
:
c
ompute div
s
of
input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sl_m
a
p_
c
om
p
ute_
d
ivs
:
make su
r
e result
is gausse
d
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l
_
pr
i
nter_print_pw_qp
o
lynomial: proper
l
y print
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip an
d
isl_cat: termi
n
ate i
s
l_arg ar
r
ay with I
S
L_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoo
l
a
e
ge
doc: document settin
g
and
g
ett
i
ng o
f
d
i
mension names
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
rdoolaeg
e
do
c
: doc
u
ment
*_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_map_
c
onvex_hull:
h
a
ndle non full-dime
n
sional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_con
v
ex_hull
.
c
: modu
l
o_affine_hull
:
d
rop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoo
l
aege
isl_convex_hul
l
.
c: con
v
ex_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdoolaege
i
sl_pr
i
nter_pri
n
t_basic_set: fix up printing to strin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdool
a
ege
add is
l
_set_neg
and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
V
erdoolaege
isl_
t
ransitive_closure
.
c: fix documentatio
n
o
f
c
onstruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
m
ap_coalesc
e
:
make sure result still c
o
n
t
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
i
sl_map
_
t
r
an
s
it
i
ve
_
closure: Flo
y
d-Warshal
l
: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transiti
v
e
_closu
r
e
:
u
se Floyd-Wa
r
sha
l
l on disjoin
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_tra
n
s
i
ti
v
e_closure
.
c: extract out isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verd
o
olaege
is
l
_map_tra
n
sitive_closu
r
e
:
proje
c
t
out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitive_clos
u
re
.
c: construct_compone
n
t:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_closure
:
don'
t
ad
d
length p
a
rameter
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
e
rdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
isl
_
s
et_gist: make c
o
nte
x
t argument
a
n i
s
l_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n V
e
rdoola
e
g
e
isl_map_transitive
_
closure: coalesc
e
input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
g
e
isl
_
transitive_c
l
osu
r
e
.
c: construct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoo
l
aege
doc
:
cite Omeg
a
library documen
t
ation on
c
omputatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_ar
g
.
h: a
d
d missing i
n
cl
u
d
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
i
s
l
_
basic_
m
ap_move_d
i
ms: norm
a
l
i
ze equaliti
e
s
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolaege
rename isl_map_move to isl_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_option
s
_pars
e
: only
parse known
opt
i
ons
by def
a
ult
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoola
e
g
e
is
l
_map_closure
:
optio
n
ally use Omega-like alg
o
rithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
do
o
laege
isl
_
c
l
osure: t
a
ke opt
i
on
s
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaeg
e
isl_map_affine_hull
:
handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
is
l
_map_comp
u
te_divs: handle non-obvious
l
y
em
p
t
y
i
nput
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic_s
e
t
_preimage: add
e
x
tra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
e
r
doo
l
aeg
e
isl_basic_map_set_
t
o
_
em
p
ty: add missing ass
i
gnment
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaeg
e
isl
_
equalities
.
c: isl_mat_variable_
c
o
m
pression: clarif
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolaege
isl_sam
p
le
.
c: initial_basis: se
t
n
_unbounde
d
and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_coalesce: onl
y
use n
o
n
-r
e
d
u
ndan
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
ven
V
erdoolaege
isl_map_pri
n
t
: allow empty con
s
t
raints
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verd
o
olaege
isl_options
.
h: allow
i
nclus
i
on from
C
++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
i
s
l_arg
.
h: allow
i
nclusion from
C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
isl_
m
ap_
t
ransit
i
ve_closure: handle exist
e
ntials
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl_
m
a
p
_deltas: preser
v
e d
i
mensi
o
n names
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ve
r
d
o
olaege
isl_map_print:
s
u
pport L
a
TeX ou
t
pu
t
format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
isl_map_simp
l
ify: d
o
n't remove any div definitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaege
isl
_
map_inter
s
ect: add special cases for empty
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_transitive_cl
o
sure
.
c:
p
ath_along_del
t
a: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Ve
r
doola
e
ge
isl_transitive_closure
.
c:
path_alo
n
g_delta: tr
y
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doolaege
export i
s
l_qp
o
lynom
i
a
l_move_dims
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verd
o
olaege
add isl_q
p
olynomial_get_
c
tx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
ola
e
ge
add isl_pw_qpoly
n
omi
a
l_fold_
g
e
t
_
dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add
s
ome qpoly
n
omial test func
t
i
ons
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
a
d
d isl_pw_qp
o
lynomial_fol
d
_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Ve
r
doo
l
aeg
e
is
l
_tab_m
i
n_at_most_neg_one: restore sample va
l
u
e
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_co
a
lesce: av
o
id
reconsiderin
g
pairs considere
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab
.
c:
upd
a
te
debug
g
ing aid
che
c
k
_table
t
o
presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
i
sl_tab_relax:
m
a
k
e
sure no
non-negative
row
s
g
et
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_p
i
p
.
c:
a
l
wa
y
s set row
sign
of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
isl_print
e
r_prin
t
_basic_{set,map}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoola
e
g
e
exp
o
rt isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ver
d
oolaeg
e
a
d
d isl_set
_
reces
s
ion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add
i
sl_set_dim_i
s
_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
l
a
eg
e
isl_
m
ap_tran
s
it
i
ve_closu
r
e: bre
a
k
early if i
n
put
m
ap
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl
_
map_transitive_cl
o
sure: coalesce afte
r
eac
h
step
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
V
erdoolaege
exp
o
rt i
s
l_pw_qpolynomial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
V
erdool
a
ege
isl_tab
.
c: unrelax: restore
r
o
w
i
f
variab
l
e is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
do
o
laege
i
s
l_tab
.
c: cut
_
to_
h
yperp
l
ane: add ex
t
r
a san
i
ty check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ola
e
ge
add isl_pw_qpolynomial_fold
_
size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add i
s
l_pw_qpolyn
o
mial_
s
plit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
o
laege
isl_qpolynom
i
al_m
a
x: fix detection of i
n
active variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
do
c
: fix trans
i
t
i
v
e
c
losure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
dool
a
ege
isl_convex_hul
l
.
c: v
a
lid_dire
c
tio
n
: properly nor
m
alize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_
c
o
nvex_hull
.
c:
s
im
p
lify computation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doo
l
aege
export isl_p
w
_qpolynomia
l
_is_z
e
ro
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
a
dd isl_p
w
_qpolyno
m
ial_
f
o
ld_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
add i
s
l_i
n
t
_
ge
t
_d
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
V
e
rdoolaeg
e
add isl_pw_qpolyn
o
m
ial
_
min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
add is
l
_
pw
_
q
pol
y
no
m
ial
_
fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aeg
e
a
dd isl_pw_qpolyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
ex
p
ort isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
i
s
l
_pw_qpolynomial_fold_a
d
d: rem
o
ve
r
edundant quasi
p
o
l
ynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ver
d
o
o
l
aege
isl_qpolyn
o
mi
a
l_al
l
oc: take in
i
tial st
r
uct isl_up
o
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
o
o
lae
g
e
add
isl_set
_
s
ol
v
e_lp
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
is
l
_
polynomial
.
c: separat
e
out fo
l
d function
a
lity to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
isl_pw
_
qp
o
lyno
m
i
al_{fold
_
,}print:
set output
format
commit
|
commitdiff
|
tree
2010-03-21
Sv
e
n Verdoolaege
improve isl_p
w
_
q
polynom
i
al_mov
e
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdo
o
laege
a
dd isl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add isl_pw_qpo
l
ynomial_drop_dims
commit
|
commitdiff
|
tree
2010-03-19
Sven
V
erdoolaege
ad
d
i
s
l_
s
et_drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add isl_pw_qpo
l
ynomial_involves_dims
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verd
o
olaeg
e
isl_stream: accept
"%
"
token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add basic
i
sl_pw_qpolynom
i
al_fold_
c
oalesce
commit
|
commitdiff
|
tree
next