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_lex_le: use one basic set less in result
2010-05-01
S
v
e
n
Verdool
a
eg
e
isl_map_l
e
x_le:
use o
n
e basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdo
o
l
a
e
g
e
isl_stream: accept lexicogr
a
phic
o
perators
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdo
o
l
a
e
ge
isl_m
a
p_
t
ransitive_cl
o
sur
e
: chec
k
if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
e
ge
a
dd isl_printer_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_rea
d
: parse
p
aram
e
t
ric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdo
o
l
aege
isl_convex_hull
.
c
:
is_
b
o
u
n
d
: any
i
nequality is a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
rdoolaege
isl_conv
e
x_hull
.
c: add_bounds: propag
a
te erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
aege
docu
m
e
n
t i
s
l_m
a
p
_
re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
Verdo
o
laege
is
l
_stream_next_
t
ok
e
n: terminate st
r
in
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
i
s
l_
m
a
p
_transiti
v
e
_clo
s
ure: treat eq
u
ali
t
y
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
is
l
_map_transitiv
e
_
closur
e
, omega-like: onl
y
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
a
ege
is
l
_m
a
p
_transit
i
v
e
_closure: us
e
simple
hull i
n
o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
d
o
ola
e
ge
isl
_
m
a
p_t
r
ansitive_
c
losure: try
a
nd compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
o
laege
isl
_
ma
p
_c
o
al
e
sce: allow wrap
p
ing in se
t
s that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ve
r
doolaege
isl_map_c
o
alesce: allowing
c
utting
eq
u
alities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
a
d
d some more
coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_basi
c
_map_gist: be more aggres
s
ive in
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
olaege
isl_stream
:
acce
p
t
s
tring to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ver
d
o
o
laege
isl_tab_rollback: r
e
st
o
r
e row
s
that are no longer m
a
rk
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
r
d
o
o
laege
doc:
doc
u
ment simpl
e
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolae
g
e
do
c
: emphasize that w
e
are
d
ealing with
integer set
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
i
sl_transitive_clo
s
ure
.
c: path_along_delta:
only a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_map_transitive_closure: compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
eg
e
isl_map_comput
e
_d
i
vs
:
ma
k
e
sure
r
e
s
ult is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
i
sl_pr
i
nter_print_
p
w
_
qpolynomial:
p
roperly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_
p
ip and isl_
c
at
:
terminate is
l
_arg a
r
ray with
ISL_A
R
G_END
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
doc: doc
u
ment sett
i
ng
and
g
ettin
g
of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
l
a
ege
d
o
c
: document
*
_
get_dim function
s
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdo
o
l
a
ege
i
s
l_map_con
v
e
x
_hull: ha
n
dle non full-dim
e
nsion
a
l pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdo
o
l
aege
isl
_
convex_hu
l
l
.
c: modulo_affine_hull:
d
r
op redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
Ver
d
oo
l
aege
isl_co
n
vex_hul
l
.
c: convex_hull_pair: skip directi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
Verdoolaege
isl_p
r
i
nter_pr
i
nt_
b
asic_set: fix up pr
i
nting to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
a
d
d isl_set_neg
a
nd isl_s
e
t_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven V
e
rdoolaege
isl_transitive_c
l
osure
.
c: fix do
c
umentation of constru
c
t_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
la
e
g
e
isl_map_coalesce: mak
e
sure r
e
sult sti
l
l
contains
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_tra
n
sitive_c
l
osu
r
e
:
Floy
d
-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_tra
n
sitive_closure: use Floyd-Warshall on disjoin
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitiv
e
_closu
r
e
.
c
:
extra
c
t out i
s
l_set_
o
v
erla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
er
d
oola
e
ge
isl_map
_
transit
i
ve_closure: p
r
o
ject out l
e
n
gth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transitiv
e
_
c
losu
r
e
.
c:
construct_
c
om
p
onent: do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_ma
p
_
t
ra
n
sitiv
e
_clos
u
re
:
don
'
t add length param
e
ter
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
aege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gist: ma
k
e context argumen
t
an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_map
_
tran
s
itive_closure: coalesce
input map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
i
s
l_transitive_closure
.
c
: construct_componen
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolae
g
e
doc: cite Omega library documen
t
ation
o
n com
p
utation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add isl_strea
m
_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
isl_arg
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
i
s
l_bas
i
c
_
map_move_d
i
ms:
n
ormalize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoola
e
ge
rename isl_map_move to isl_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_options_pars
e
:
o
nly parse known
options by default
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoola
e
ge
is
l
_map_c
l
osure: opt
i
ona
l
ly use
Omega-l
i
k
e
a
lgorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_clo
s
ur
e
: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_ma
p
_affine_hull: handle non-obv
i
ously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl
_
map_compu
t
e_divs: handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basi
c
_set_
p
reimag
e
: ad
d
e
x
t
ra s
a
nity
che
c
k
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolae
g
e
i
s
l_ba
s
ic_map_set_to_empt
y
: add missing assignment
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
isl_equalities
.
c: isl_mat_v
a
riable_
c
om
p
ress
i
on: cl
a
rify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaeg
e
is
l
_sample
.
c: initial_bas
i
s: set n_u
n
bounded and n
_
zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
isl_map_coale
s
c
e
: only u
s
e no
n
-redundant
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoola
e
ge
isl_map_prin
t
: allow
em
p
ty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_options
.
h: allow i
n
clusi
o
n from C++
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl
_
arg
.
h: allow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ve
r
doo
l
aege
isl
_
map_transitive_closure:
h
andle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_map_del
t
as: preser
v
e dimension
n
a
mes
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
l
_
map_print:
suppor
t
LaTeX
o
utput format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
isl_map_si
m
pl
i
fy: don't remove any
div def
i
niti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl
_
map_inters
e
ct
:
add special ca
s
es for empty i
n
put
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
isl_transitive_closure
.
c: p
a
th_along_delta:
share co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
is
l
_
tr
a
nsitive_closu
r
e
.
c: path_
a
lo
n
g_d
e
lta: try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoolaege
e
xport isl_q
p
olynomia
l
_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
e
rdoo
l
aege
add i
s
l
_qpolynomial_get
_
c
t
x
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdool
a
ege
add isl_p
w
_qpolynomial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Ver
d
oolaege
add some q
p
ol
y
nomial te
s
t
f
unctions
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
a
dd isl_pw_qpol
y
nomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl
_
tab_min_
a
t
_
most_neg_one: restore sample v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoola
e
ge
isl_map_coa
l
esce:
av
o
id reco
n
si
d
ering pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl_tab
.
c
:
update
d
ebugging aid chec
k
_table to
presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdool
a
ege
isl_tab_r
e
lax
:
ma
k
e sure no non-negat
i
ve rows
g
et a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
isl_tab_pip
.
c: alwa
y
s set row sign of found
r
ow to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n V
e
rdo
o
laege
isl_prin
t
er_print_basi
c
_
{
set,ma
p
}: add
c
losi
n
g "}"
commit
|
commitdiff
|
tree
2010-04-01
S
ven
Verdo
o
lae
g
e
expo
r
t
isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
add isl_set_recession_c
o
ne
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add isl_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oola
e
ge
isl_map_transitive_cl
o
sure: break ea
r
ly if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map
_
t
ransitive_clo
s
ur
e
: coalesce after
e
ach step
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
ex
p
ort
i
s
l_pw_qpoly
n
o
m
ial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdo
o
laege
isl
_
tab
.
c: unrelax: r
e
st
o
re row
i
f variable is
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
i
sl_tab
.
c:
cut_to_hype
r
plane:
add
e
xtra sani
t
y
ch
e
c
k
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add
i
sl_pw_q
p
olynomia
l
_fold_si
z
e
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Ve
r
doolaege
add isl_pw_qpo
l
ynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erd
o
olaeg
e
isl_qpolynomi
a
l_max: fix detec
t
ion of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doolaege
doc: fix tr
a
nsitive closure exa
m
ple
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
is
l
_convex_hull
.
c: va
l
i
d
_direction: properly normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_c
o
nvex
_
hull
.
c: simplify comp
u
tati
o
n of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doolaege
e
xport isl_pw_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
add
isl_pw_
q
polyn
o
mi
a
l
_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
S
ven Ve
r
dool
a
e
g
e
add is
l
_int_get_
d
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n V
e
r
doolaege
add isl_pw_qpolyn
o
mial_min
commit
|
commitdiff
|
tree
next