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_qpolynomial_fold_opt_on_domain: fix typo
2010-05-04
S
ve
n
Ver
d
oolaege
isl_qpolynomial_fold_opt
_
on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
isl_pw
_
*_
e
val: fix handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdool
a
e
g
e
ad
d
isl_basic_s
e
t_move
_
dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
e
x
port i
s
l_qpo
l
ynomial
_
sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verd
o
olaege
a
dd isl_qp
o
ly
n
o
m
i
a
l
_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
erdo
o
l
a
ege
isl_map_transiti
v
e_c
l
osure:
c
oa
l
esce i
n
put befor
e
ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
a
d
d map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoola
e
ge
isl_map
_
lex_
l
e
:
u
s
e one
b
a
s
ic set less in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolae
g
e
isl_stream
:
accept lexi
c
ographic operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ve
r
doola
e
ge
isl_map_transitive_cl
o
sur
e
:
c
heck if inpu
t
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
add isl_
p
r
inter
_
flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
r
doola
e
ge
i
s
l
_
map_read: parse parame
t
ric Ome
g
a
i
n
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
lae
g
e
is
l
_m
a
p
_
read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Ver
d
oolaege
isl_convex_hull
.
c
: is_bound:
any
ine
q
ual
i
ty is a boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Verdoolaege
isl_convex_hull
.
c: add
_
b
o
unds: p
r
opag
a
te erro
r
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaege
doc
u
me
n
t isl_m
a
p_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaeg
e
isl
_
s
t
ream_next_token: terminate st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rd
o
olaege
is
l
_map_transitive_clo
s
ure: treat
e
qua
l
ity as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl
_
map_transitive_closure, omeg
a
-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
i
sl_map_tr
a
ns
i
tive_cl
o
sure: use s
i
mple h
u
ll
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_t
r
ansitive_
c
l
o
sure: try and com
p
ute clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_m
a
p_coalesce
:
allow wrapping in s
e
ts that st
i
ck
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaeg
e
i
sl_map_coalesce: allo
w
ing cutting
equalities in
adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdool
a
ege
add som
e
more coal
e
sci
n
g
t
est
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdo
o
l
a
ege
isl_basic_map_gist:
b
e more agg
r
essive in re
m
o
ving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_stream:
a
ccept
s
t
rin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_tab_rollb
a
ck: restore ro
w
s that
a
r
e
no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
doc:
d
ocu
m
ent si
m
ple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rd
o
olaege
d
oc: emphasize t
h
at
we are dealin
g
with integer
s
e
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
la
e
ge
isl_transit
i
v
e_closure
.
c: path_a
l
ong_d
e
lta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ve
r
doolaege
isl_map_
t
r
a
ns
i
t
ive_closure: compute div
s
of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
ge
isl_map_compute
_
divs: make sure result is
g
aussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rd
o
ola
e
ge
isl
_
printer_pr
i
nt_pw_
q
p
o
l
y
no
m
i
al: proper
l
y print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
i
sl_
p
ip
a
nd isl_cat: terminate isl_ar
g
array
w
ith IS
L
_ARG_E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
erdoolaege
doc: document setting a
n
d
g
etting
o
f dimen
s
ion name
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
doc: d
o
cument *_get_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_map_convex_hull:
h
andle no
n
full-
d
imensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
d
o
olaege
isl_convex_h
u
ll
.
c
:
modu
l
o_affine_hull: drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_convex_hull
.
c: convex_hull_pair: skip
d
ire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Ve
r
doolaege
i
sl_pr
i
nter_print_basi
c
_set: fix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoolaege
add isl_se
t
_ne
g
and isl_set
_
s
u
m
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verd
o
olae
g
e
i
sl_
t
ransi
t
ive_clo
s
ure
.
c: f
i
x d
o
cument
a
tion of c
o
n
str
u
ct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_m
a
p
_
coalesce:
make sure r
e
sult still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verdo
o
laeg
e
isl_m
a
p
_
transitive_clos
u
re: Floyd-Warshall: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
aege
isl_map_transitive_closure: use F
l
oyd-Warshall
on
disjoin
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_tr
a
nsitive_c
l
osure
.
c
:
e
x
tract out isl_s
e
t_ov
e
rla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdo
o
laeg
e
i
s
l_map_t
r
ans
i
t
ive
_
cl
o
sure:
proj
e
ct
out
l
ength on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_transiti
v
e_closure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven
V
erdoolaeg
e
isl_
m
ap_transitive
_
closure:
d
o
n't add lengt
h
p
a
rameter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoo
l
aege
doc: fix ty
p
os
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
is
l
_
s
e
t
_gist: ma
k
e
context argum
e
nt an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
i
s
l
_
map_
t
ransit
i
ve_closure
:
coalesce input
map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdo
o
la
e
ge
isl_transiti
v
e_closur
e
.
c:
c
onstruct_comp
o
nent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en V
e
rdoolaeg
e
doc: cite Ome
g
a l
i
brary documentation
o
n comp
u
tation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaeg
e
add isl_stre
a
m
_
read
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
isl_
a
rg
.
h:
add mis
s
ing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
isl_basic_map_move_dims: no
r
malize eq
u
alities
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolaege
rename isl_map
_
move
t
o
isl_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_opt
i
ons_parse
:
only parse known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
i
sl_map_cl
o
sure:
optionally use Om
e
ga-like algorit
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n V
e
rd
o
olaege
isl_closure:
t
ake optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl
_
map_aff
i
ne_hull: h
a
ndl
e
n
o
n
-obvious
l
y
e
mpty inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_compute_divs: handle non-obvious
l
y empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laeg
e
isl_basic_set_preimage: add ex
t
r
a
s
a
n
ity che
c
k
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
isl
_
basic_map_set_to_emp
t
y
:
add
m
i
s
sing
assi
g
n
men
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoola
e
ge
i
s
l_eq
u
alities
.
c
:
i
sl_m
a
t_v
a
riable_
c
ompression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
g
e
isl_sample
.
c
:
initi
a
l_
b
asis: set
n
_unbounded and n_ze
r
o
commit
|
commitdiff
|
tree
2010-04-09
S
v
e
n Verdoolaege
isl_map_coalesc
e
: only
us
e
non-redunda
n
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verd
o
o
laege
isl_map_print: allow emp
t
y constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
isl_options
.
h:
a
llow
i
ncl
u
sion
f
rom C++
commit
|
commitdiff
|
tree
2010-04-09
S
ven V
e
rdo
o
laege
isl_a
r
g
.
h:
al
l
ow inclu
s
ion from C+
+
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_map
_
t
r
a
n
siti
v
e_closure: h
a
n
dle exist
e
nti
a
ls
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolae
g
e
isl_map
_
deltas: pre
s
e
rv
e
dimension
names
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
er
d
oolae
g
e
isl_map_
p
rint: sup
p
o
rt LaTeX
o
ut
p
u
t
format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
e
ge
isl_map_simpli
f
y:
don
'
t remove a
n
y
d
iv
d
efinitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_
m
ap_intersect: add specia
l
cases
f
o
r
empty inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
sl
_
transi
t
ive_closure
.
c:
pat
h
_along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
oolaege
i
s
l_
t
ransit
i
v
e_closur
e
.
c: path_along_delt
a
: t
r
y and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
o
o
laeg
e
e
xpo
r
t isl_
q
p
o
lyn
o
m
ial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
olae
g
e
add
isl_qpo
l
yn
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
o
olaege
add isl_pw_qpolynomial_fo
l
d_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaeg
e
a
dd some qpolynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
e
ge
add isl_pw_
q
po
l
y
nomial_fold_{ma
x
,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_min_at_m
o
st_neg_o
n
e: re
s
t
ore s
a
m
ple value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_ma
p
_c
o
ale
s
ce:
avo
i
d recons
i
dering pai
r
s cons
i
d
ered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
V
e
rdoo
l
aege
isl_tab
.
c: update debugging aid
ch
e
ck_tab
l
e to p
r
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
isl_tab_re
l
a
x: make sure no non-nega
t
i
ve rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Ve
r
dool
a
e
ge
isl_tab_pip
.
c: alwa
y
s
set
r
ow sign of fo
u
nd row t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaege
isl
_
printer_p
r
int_bas
i
c_{set,map}: add
closing
"}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
export i
s
l_s
e
t
_
split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ver
d
oolaege
add isl_set_recessi
o
n_cone
commit
|
commitdiff
|
tree
2010-04-01
S
ven Ver
d
o
o
laege
add isl_set_dim
_
is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_trans
i
t
i
ve_closure: break e
a
r
l
y if i
n
put map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ve
r
do
o
laege
isl_m
a
p_transitive_c
l
os
u
re: coalesce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
export
isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
doo
l
a
e
ge
isl_tab
.
c:
unrelax: restore ro
w
if v
a
r
iable
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oola
e
ge
isl_tab
.
c
:
cut_t
o
_hyperplane: add extra sanity
ch
e
ck
commit
|
commitdiff
|
tree
2010-03-30
S
ven
V
e
rdoolaege
add isl_pw_qpo
l
ynomial_fold_si
z
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_pw_qpolyn
o
mial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qp
o
ly
n
omial_max: fix d
e
tection of
inactive variables
commit
|
commitdiff
|
tree
next