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 isl_qpolynomial_neginfty
2010-05-04
S
v
e
n
Verdoolae
g
e
ad
d
isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
a
dd isl_b
a
sic_s
e
t_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
isl_qpolyn
o
m
ial
_
fo
l
d_opt_o
n
_doma
i
n:
f
ix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
isl_pw_*_
e
v
a
l:
f
ix h
a
ndling of em
p
ty inpu
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d isl_basic
_
set_mo
v
e_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
l
a
ege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laeg
e
add isl_qpo
l
ynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
olaege
isl_map_transitive
_
closure: coalesce
i
nput befor
e
checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add
map_lex_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdo
o
laege
isl
_
map_lex_le: us
e
one
b
asi
c
set le
s
s in result
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoola
e
ge
isl_stream
:
acce
p
t lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
isl_map_transitive_clo
s
ure: chec
k
if input i
s
clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven V
e
rdoolaege
add
i
sl
_
pr
i
nter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_
r
ead:
parse parametric Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
Verdool
a
e
ge
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verdoo
l
aege
i
sl_convex_h
u
l
l
.
c: is_bound:
any inequality
is
a
bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaeg
e
is
l
_convex_hull
.
c: add_
b
ounds: pr
o
paga
t
e
errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
Verdoolaege
document
i
sl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
is
l
_stream_next_token:
terminate string t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdo
o
laege
isl_map_transitive_closure: treat
e
quality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
ae
g
e
isl_ma
p
_tr
a
nsitive_c
l
osure,
omega-like:
o
nly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_ma
p
_tran
s
itive_closu
r
e:
use simple hu
l
l i
n
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verd
o
o
l
a
ege
isl
_
map_transit
i
ve_
c
losure: try and c
o
mpute clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
i
s
l_map_
c
oalesce: allow wrapping
in
s
ets tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_map_coalesce: allowing cu
t
ting equalities
i
n
adj
a
c
ent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdoolaege
add som
e
more coal
e
sci
n
g
t
e
st cases
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Verdoolaege
is
l
_basic_map_
g
ist: be more
a
g
g
ressive
i
n
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_stream
:
accept
s
tring
t
okens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_tab_ro
l
l
b
ack: restore rows that ar
e
no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: doc
u
m
e
nt sim
p
le
h
u
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
lae
g
e
d
oc:
e
mphasiz
e
t
h
at we
a
re deal
i
ng wi
t
h integer s
e
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaeg
e
isl_transitive
_
closure
.
c:
p
ath
_
alon
g
_de
l
ta: only a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
map_transitive_closure:
com
p
u
te
d
ivs of input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoo
l
a
ege
isl_
m
ap_comput
e
_d
i
vs: m
a
ke sure result
i
s gaussed
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isl_printer_print_pw_qpolynomial:
properly print co
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ve
r
doolaege
isl_pip and isl
_
c
a
t:
ter
m
ina
t
e isl_ar
g
a
r
ray with ISL_ARG_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
oc: document
setting
a
nd getti
n
g
o
f
di
m
ension
names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
o
c: d
o
cu
m
ent *_g
e
t
_dim functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map
_
convex_hull: h
a
ndle
n
o
n full-dimensional p
a
i
rs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_co
n
vex_hull
.
c:
mo
d
u
l
o_affine_
h
u
l
l: d
r
op redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ve
r
doolaege
i
sl_c
o
nvex_hull
.
c: co
n
vex
_
hu
l
l
_
pair
:
skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoolaeg
e
is
l
_printer_print_basic_set: fix up printing to str
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
d
d isl_
s
e
t_ne
g
a
n
d
is
l
_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verdoolaege
isl
_
tran
s
itive
_
cl
o
sur
e
.
c: fi
x
docum
e
n
t
ation o
f
co
n
struc
t
_c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
i
sl
_
map
_
coalesce:
m
ake sure resul
t
still
c
ontains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoola
e
ge
isl_map
_
transiti
v
e
_
closure: Floyd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
Verdoolaege
isl_m
a
p_transi
t
ive_closure: use Floyd-Warshall
o
n di
s
j
oint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_tran
s
itive_
c
l
o
sure
.
c: extract out i
s
l
_
s
et_overl
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
i
sl_map_transitive_closure
:
project ou
t
leng
t
h
on eac
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_transit
i
ve_cl
o
sure
.
c: co
n
stru
c
t_component
:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en V
e
rdoolaege
isl_map_trans
i
tive_closure: do
n
't add
length par
a
m
eter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
isl_se
t
_gist: m
a
ke context argume
n
t
a
n
i
s
l_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
isl
_
map_transitive_clos
u
re: c
o
alesce
i
n
put map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdo
o
lae
g
e
isl_transitive_closu
r
e
.
c: cons
t
ruct_com
p
onent: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
er
d
oolaege
doc: cite Omega libr
a
ry docu
m
entation on com
p
utation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
a
dd isl_s
t
ream
_
read_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
eg
e
isl_arg
.
h: add mis
s
in
g
include
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
i
sl_ba
s
ic_map
_
move_dims: normalize
e
qual
i
ties
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
rename isl_ma
p
_
move to
i
sl
_
map
_
move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_
o
ption
s
_
parse: on
l
y parse known opti
o
ns
by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_
m
a
p
_closure: op
t
i
onally use Omega-like
a
lgorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_closure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_map_affine_hul
l
:
h
a
ndle
n
o
n
-obv
i
o
u
sly empty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_m
a
p_
c
o
m
p
u
te
_
d
ivs:
h
andle
no
n
-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
sl_basic_set_preimage:
add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verd
o
olaege
isl_basic_ma
p
_set_to_
e
mpty: add missing
a
s
signmen
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_equali
t
ies
.
c: isl_mat_varia
b
le_compre
s
sion: clar
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoola
e
ge
isl_
s
ample
.
c:
i
nit
i
al_basis:
set n_unbounded and
n
_zer
o
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map
_
coalesce: only use non-red
u
nda
n
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
o
o
l
ae
g
e
i
sl_map_pr
i
nt: allow empty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoo
l
aege
isl_op
t
i
on
s
.
h: allow
i
nclusion fro
m
C+
+
commit
|
commitdiff
|
tree
2010-04-09
S
v
en
Verdoolaege
isl_
a
rg
.
h: all
o
w inclusion from C+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
isl_map_transitive_closure:
h
andle ex
i
stent
i
als
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_map_deltas: pr
e
se
r
v
e
d
i
mension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
ae
g
e
i
sl_map_pri
n
t: support LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
isl_
m
a
p
_simplify: don
'
t r
e
move any div definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl
_
map_intersect: add
s
p
ecial cas
e
s for e
m
p
t
y input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
e
r
d
oolaege
isl
_
trans
i
t
i
v
e
_closure
.
c: path_
a
l
o
ng_
d
e
lta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_trans
i
t
ive_closure
.
c: pa
t
h
_
alo
n
g
_delta: tr
y
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdo
o
laege
export
isl_qpolynomial
_
move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-03
Sven
Verdoolaege
add isl_qpolyn
o
mial_g
e
t_ct
x
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_
p
w_q
p
olyn
o
mial_fold_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoola
e
g
e
add
s
ome
qpolynomial test
functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
ege
add i
s
l
_
pw_q
p
olyno
m
ial_fold_{max,min
}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoola
e
ge
is
l
_tab_
m
in_at_most_neg
_
one: res
t
ore sample value
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaeg
e
is
l
_
m
a
p_
c
oalesce: avoi
d
rec
o
nside
r
ing pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab
.
c:
u
pdate debugging aid check_table to
p
resence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
V
erdoolaege
isl_tab_rela
x
: mak
e
s
u
re no non
-
n
eg
a
tiv
e
rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verd
o
olaege
i
sl_ta
b
_pip
.
c
: al
w
ays set
r
ow
sign of
f
o
u
nd row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
isl_print
e
r_p
r
int_basic_{
s
et,map}: add c
l
os
i
ng "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
e
x
p
o
rt isl
_
set_
s
plit_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add isl_set_recessi
o
n_co
n
e
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
laege
add isl_set_dim_is_bo
u
nde
d
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
V
e
rdoolaege
i
s
l_
m
ap_tr
a
n
sitive_cl
o
sur
e
: break early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
l_map_tran
s
i
tive_
c
losur
e
: coalesce after each s
t
ep
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laege
export isl_pw_qpol
y
nomial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
is
l
_tab
.
c
:
unrela
x
: r
e
store row if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
isl_tab
.
c: cut_to_hyperplane: add extra sani
t
y check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
ad
d
isl_pw_
q
p
o
lyno
m
ial_f
o
ld_si
z
e
commit
|
commitdiff
|
tree
next