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 Verdoolaege
add some more co
a
l
e
scing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
er
d
oola
e
ge
isl_basic_map_g
i
st: be more aggressive in remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdoolaege
isl_stream: ac
c
e
pt
string token
s
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_tab_rollback: restore rows t
h
a
t
a
r
e no longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
do
c
:
document
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: emphasize th
a
t we
are dealing wit
h
integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
laege
isl_transit
i
v
e
_
closure
.
c: path_
a
long_
d
elta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
i
sl_map_tr
a
n
sit
i
v
e
_closure: c
o
mpute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolae
g
e
i
s
l_map_comput
e
_d
i
vs: m
a
ke sure
r
e
sult
is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_printer
_
pr
i
n
t
_pw_qpolynomial
:
pro
p
erly print constra
i
nt
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verd
o
olaege
isl_pip
a
nd isl_c
a
t:
t
erminate isl_arg
a
rray with
I
SL
_
ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
doc: document setting a
n
d getting
o
f dimension
n
ames
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verd
o
olaege
do
c
: document *
_
ge
t
_dim
f
unctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
ae
g
e
isl_map_convex_hull: handle non fu
l
l-di
m
ens
i
on
a
l p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_co
n
vex_hull
.
c: modu
l
o_a
f
fine_hull: drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdool
a
ege
is
l
_
convex_hull
.
c
:
convex_hul
l
_pair
:
sk
i
p d
i
r
e
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verdoolaege
isl_print
e
r_pri
n
t_b
a
sic_se
t
: f
i
x up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
ge
add i
s
l_
s
et_neg
a
n
d
isl_set_
s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sve
n
Verdoola
e
ge
is
l
_transitive_closure
.
c:
f
ix d
o
cum
e
ntation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoo
l
aege
isl_
m
a
p_co
a
les
c
e: mak
e
sure result s
t
i
l
l co
n
t
ains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
o
ola
e
ge
isl
_
map_tran
s
itive_clo
s
u
r
e: Floyd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
er
d
ool
a
eg
e
isl_map_t
r
ansitive_cl
o
sure
:
us
e
Floy
d
-
Warshall on d
i
sj
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_trans
i
tive_closure
.
c:
e
x
t
ract out isl_s
e
t_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
o
l
aege
isl
_
map_tr
a
ns
i
tive_closure: p
r
oject out
l
ength
o
n eac
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolae
g
e
isl_
t
rans
i
tive_closure
.
c
: construct_comp
o
nen
t
: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
o
l
aege
i
sl_map_transitive_cl
o
sur
e
: don't a
d
d length pa
r
a
m
eter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdo
o
l
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolae
g
e
i
s
l
_set_g
i
st: make co
n
t
ext argument an
i
sl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
is
l
_
m
a
p
_tran
s
it
i
v
e
_c
l
osure: coalesce
i
nput map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
V
e
r
doolaege
i
s
l_transitive
_
closure
.
c
: cons
t
ruc
t
_
c
ompo
n
ent:
alway
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
doc: cite
O
mega l
i
brary d
o
cument
a
ti
o
n on computatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
Verdoolaege
add isl_stream_re
a
d_m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
e
ge
isl_a
r
g
.
h: add missing
i
nclude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
isl_basic_map_
m
ove_dims: normal
i
z
e equalities
commit
|
commitdiff
|
tree
2010-04-11
S
v
en
V
erdoolaege
rename
isl_map_mov
e
to isl_ma
p
_move_
d
i
m
s
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_options_
p
arse: only parse known options b
y
d
e
fault
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_closu
r
e: o
p
tion
a
lly use
O
mega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_closure: take o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoo
l
aege
isl_map_affin
e
_hull: handle no
n
-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
V
erd
o
ol
a
ege
i
sl_
m
ap_
c
o
mpute_di
v
s: h
a
ndle n
o
n-obv
i
ously empty
in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoola
e
ge
isl_basic_set_
p
reimage: add extra san
i
t
y
check
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_b
a
sic_map_set_to_empty: add missing a
s
signment
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_equali
t
i
es
.
c
:
isl_m
a
t_v
a
r
i
able_compress
i
on:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
a
ege
isl_samp
l
e
.
c: initia
l
_basis: set n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n
V
erd
o
olaege
isl_map_c
o
a
l
esc
e
: o
n
ly
u
se non-
r
e
d
undant
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
isl_map_pr
i
nt:
a
llow empty
c
onstraints
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
e
r
doo
l
aege
isl_options
.
h: allow i
n
clusion from
C
++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
i
s
l_arg
.
h
: allow inclusion from C
+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoo
l
ae
g
e
is
l
_map_
t
r
ansitive_closu
r
e
:
handl
e
existential
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_deltas: preserve dime
n
sion names
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoola
e
g
e
is
l
_
m
ap_pr
i
n
t:
s
u
pport
L
a
TeX
output f
o
r
mat
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ve
r
do
o
laege
isl_map_s
i
mplify: don't
remov
e
a
ny di
v
def
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
er
d
oola
e
ge
isl_map_intersect: add special
cases for emp
t
y in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
o
o
laege
i
sl_transitive_closure
.
c: pa
t
h
_al
o
ng_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verd
o
o
lae
g
e
isl
_
tran
s
itive
_
closure
.
c: path_a
l
ong_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolaeg
e
e
xport isl_qp
o
l
ynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doolaege
add isl_qpo
l
ynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
add
isl_pw_qpolynomial_fold
_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add some qpol
y
nomial test functi
o
ns
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add isl
_
pw_qpolynomi
a
l
_
f
old_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_tab_min_at_most_neg_one: restor
e
s
a
mpl
e
value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoo
l
aege
isl_ma
p
_coale
s
ce
:
avoid reconsid
e
ri
n
g pairs consi
d
ered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoo
l
aege
isl
_
tab
.
c: updat
e
d
e
b
ugging aid ch
e
ck_table to
presenc
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verd
o
olae
g
e
i
s
l_tab_relax: make sur
e
no
n
on-
n
egative rows ge
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaege
isl_tab_p
i
p
.
c
:
a
lways set row sign of found row
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
ol
a
ege
isl
_
printer_print
_
basic
_
{set
,
map}: add
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
expo
r
t
isl_
s
et_split
_
dim
s
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoo
l
a
e
ge
add isl_
s
et_
r
e
cession
_
cone
commit
|
commitdiff
|
tree
2010-04-01
S
ve
n
Verdoolaege
add is
l
_
set_
d
i
m_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolae
g
e
isl_map_tr
a
nsit
i
v
e_c
l
osure: break
early if input m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erd
o
olaege
isl_m
a
p_transitive_
c
losure: coalesce aft
e
r each st
e
p
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
V
e
rd
o
olae
g
e
exp
o
rt
i
s
l_pw_qpolyno
m
ial
_
coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: unr
e
lax
:
restore r
o
w
if varia
b
le
i
s
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rd
o
o
l
aege
i
s
l
_
t
ab
.
c
: cut_to_hyp
e
rplane: add extra
s
anity c
h
eck
commit
|
commitdiff
|
tree
2010-03-30
S
v
en V
e
rdoolaege
add isl
_
pw_qpo
l
ynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
V
erdoo
l
a
e
g
e
add isl_pw_q
p
olynom
i
al_split
_
d
ims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpolynomial
_
max: fi
x
detection of in
a
ctive variables
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
doc:
f
ix
t
ransi
t
ive c
l
osure e
x
a
m
ple
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolae
g
e
isl_convex_hull
.
c: valid_directio
n
: pr
o
perly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
isl_convex_hul
l
.
c: simpli
f
y computation of in
i
ti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
e
xport isl_pw_qpolynomi
a
l_
i
s_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
o
o
l
a
e
g
e
add isl_p
w
_qpolynomial_fold
_
dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
add isl_pw_qpolynomial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
a
d
d isl_pw_qpoly
n
omi
a
l_fix_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
add i
s
l_pw_qpolynomial_
a
dd_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doolaege
export isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_
q
polyno
m
ial_fo
l
d_add
:
remove r
e
dundant
q
uas
i
p
olyn
o
mi
a
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_qpol
y
nomial_alloc: take init
i
a
l
s
truct isl
_
upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl_set
_
so
l
ve
_
lp
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
r
d
o
olaege
isl_
p
olynomial
.
c: sep
a
rate out f
o
ld funct
i
onality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdo
o
la
e
ge
isl_pw_qp
o
lynomial_{fo
l
d_,
}
pr
i
nt:
s
et out
p
ut format
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaege
improve
i
s
l_p
w
_qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verd
o
olae
g
e
add
isl_mat_mo
v
e
_
c
o
ls
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
a
d
d isl_
p
w_qpolyno
m
ial_
d
rop_dims
commit
|
commitdiff
|
tree
2010-03-19
Sven
V
erdoo
l
aege
a
d
d isl_set
_
drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Verd
o
olaege
add
isl
_
pw
_
qpolynomial_involves
_
dims
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
i
sl_stream: acc
e
pt "%" token
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
add basic
isl_pw_qpolynomial_
f
o
ld_c
o
ales
c
e
commit
|
commitdiff
|
tree
next