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
export isl_qpolynomial_sub
2010-05-04
S
v
en Verdoolae
g
e
exp
o
rt isl_qpoly
n
omi
a
l_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
add isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
aege
i
sl_map_transitive_c
l
os
u
r
e
: coa
l
esce
i
nput before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_l
e
x_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
isl_map_lex_le: use o
n
e
b
asic set
l
e
s
s in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoo
l
aege
i
sl_stream:
a
ccept lexic
o
graphic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
ap
_
transiti
v
e_closure:
c
hec
k
if
i
nput is
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
ad
d
isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
isl_map_read: par
s
e
p
arametric Omega
i
npu
t
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
i
sl_map_read: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Ve
r
doolae
g
e
isl_convex_hul
l
.
c
:
is
_
bound: any in
e
qua
l
ity is a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l
_
convex_hull
.
c:
a
d
d
_b
o
u
n
ds: pr
o
paga
t
e errors fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaeg
e
docume
n
t isl_ma
p
_r
e
verse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
isl_str
e
am_next_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdool
a
ege
i
sl_map_transi
t
ive_closure: trea
t
e
qu
a
l
ity as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_ma
p
_
t
ransitive
_
closure, o
m
e
g
a
-
like: onl
y
u
se ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_t
r
a
n
sitive_closure: u
s
e simple h
u
ll in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
r
doolaege
i
s
l_map_t
r
ansitive
_
closure:
try an
d
compute clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_c
o
alesce: allow w
r
apping in sets t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaeg
e
isl_map_coalesce:
a
llowi
n
g cuttin
g
equal
i
ties in adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ve
n
Verdoolaege
add s
o
me more coalescing t
e
st c
a
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
olae
g
e
isl_basic_map_gi
s
t: be more aggressive in r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_stream
:
accept
s
tring
toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_roll
b
a
c
k: res
t
ore
r
ows
th
a
t are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: docume
n
t sim
p
le
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
doc:
e
mpha
s
ize that we
are dea
l
ing with i
n
t
e
ger set
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
isl_
t
r
ansitive_closure
.
c:
path_along_delta: only av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
isl_map_transitive_clo
s
ure:
com
p
ute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_map_
c
omp
u
te_divs: make sure
r
esult is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
i
sl_print
e
r_pr
i
n
t_pw_
q
polynom
i
a
l
: properly pr
i
nt constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
i
sl_pip and isl_cat: terminate isl_arg array with IS
L
_ARG_
E
N
D
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
r
doolaege
do
c
: document se
t
ting and getting of d
i
mension name
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aege
doc: document *_get_d
i
m
function
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map
_
convex_
h
u
l
l: handle non full-dim
e
nsional
pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdo
o
laeg
e
i
s
l_con
v
ex_hull
.
c:
m
o
d
u
lo_aff
i
ne_hull
:
dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_
c
onve
x
_hull
.
c
:
c
o
nvex_hull_p
a
ir: skip di
r
ection
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
doolaege
isl_
p
rinter_print_basic_s
e
t:
fix up printi
n
g to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Verd
o
o
laeg
e
add isl_se
t
_neg and
isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transitive_closure
.
c
: fi
x
d
ocume
n
ta
t
ion
of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaeg
e
isl_map
_
coa
l
esc
e
:
m
a
ke sur
e
result still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
i
s
l_ma
p
_
transitive_closu
r
e: Floy
d
-
Wa
r
shall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
er
d
oola
e
ge
i
sl_ma
p
_tran
s
itive_
c
losure: use
F
loyd-Warsh
a
ll on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl
_
transitive
_
c
l
o
s
u
re
.
c: extract out isl_s
e
t
_overl
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transiti
v
e_closure: p
r
oje
c
t out length on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Ver
d
oolaege
isl_tr
a
nsitive_closure
.
c: c
o
nstruct_compone
n
t: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
oolaege
i
s
l_map_
t
ransitive_closure: d
o
n't
a
dd length para
m
eter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc
:
f
ix typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
i
s
l_s
e
t
_
gist:
make context argument an isl_set
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
isl_map_t
r
ansitive_c
l
os
u
re: coale
s
ce input map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaeg
e
i
sl_t
r
an
s
itive_closu
r
e
.
c:
construct_component:
a
lways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
doc: ci
t
e
O
m
e
ga library documentation on co
m
putation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verd
o
olaege
a
dd is
l
_
stream_read_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h
: add missing in
c
lude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
e
ge
isl_
b
asic_map_move_d
i
m
s: norm
a
lize e
q
u
a
lit
i
es
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdo
o
laege
rename isl
_
map_m
o
ve to isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl
_
o
p
tio
n
s_
p
arse: only
p
ars
e
known options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_
m
ap_c
l
osure: optionally use O
m
eg
a
-like algorit
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_closure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
d
oolaege
isl_
m
ap_
a
ffi
n
e_hull: handle non-
o
bviously e
m
p
ty i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Ve
r
doolaege
isl_ma
p
_
comput
e
_di
v
s: handle non-obviously empty i
n
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolae
g
e
i
s
l_basic_set_
p
reimage: add ex
t
ra s
a
nity check
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
isl_b
a
s
i
c_map_set
_
to_empty:
a
dd missing assi
g
n
m
ent
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_equalities
.
c: isl_
m
at_variable_compression:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_sample
.
c: initia
l
_basis:
s
et n
_
unbounde
d
a
nd
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erd
o
o
l
aege
isl_map_coa
l
esce
:
on
l
y use non
-
redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoo
l
aege
isl_ma
p
_print
:
allow empty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erd
o
olaege
i
s
l_option
s
.
h: allow inc
l
us
i
on f
r
om C++
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdool
a
ege
isl_arg
.
h: allow inc
l
us
i
on fro
m
C++
commit
|
commitdiff
|
tree
2010-04-07
S
ven Ver
d
oolae
g
e
isl_m
a
p_tr
a
nsit
i
ve_closure
:
handle exist
e
ntia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rd
o
olaege
i
sl_map_deltas: p
r
eserv
e
dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
isl_m
a
p_p
r
i
nt: support La
T
eX o
u
t
p
ut
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl
_
map_simplify: don't remove any div definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
isl_m
a
p_inters
e
ct
:
add special cases for empt
y
inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_
t
rans
i
tive_closure
.
c: path_alo
n
g_
d
elta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_transitive_
c
lo
s
ure
.
c: path_along_delta: tr
y
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n
Verdoolaege
exp
o
rt isl
_
qpolynom
i
al_move_
d
ims
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdoolaege
add
isl_qpo
l
ynomi
a
l_get
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add is
l
_pw_qpolynomial_fold_ge
t
_
dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
Ver
d
oolaege
a
dd so
m
e qpolynomial tes
t
functions
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verd
o
olaege
a
dd isl_pw_q
p
olynomial_
f
old_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaege
isl_tab_min_at
_
m
ost_
n
eg_one: res
t
o
re sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
dool
a
eg
e
isl_map
_
coales
c
e:
avoid reconsidering pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rd
o
olaege
isl_
t
ab
.
c: up
d
a
t
e de
b
ugging ai
d
check
_
t
able
to
pres
e
nce
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
is
l
_tab_relax:
m
ake sure n
o
non-
n
e
g
a
tive
rows
g
et a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
Verd
o
ola
e
ge
isl_tab_pi
p
.
c: al
w
ays set row sign
of fo
u
n
d row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_print
e
r_print_basic
_
{set,map}: add c
l
o
sing "}"
commit
|
commitdiff
|
tree
2010-04-01
S
ven
V
e
r
d
oolaege
export isl_set_split_
d
ims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
ad
d
isl_
s
et_recession_cone
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoola
e
g
e
add isl_
s
et
_
dim_is
_
bo
u
nded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
ege
isl_map_tr
a
nsitive_clos
u
r
e
:
break early i
f
input ma
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
l_map_trans
i
tive_closure: co
a
lesce after each
step
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n V
e
rdo
o
laege
e
xpor
t
i
s
l_pw_qpolynomial_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
isl
_
tab
.
c
:
unr
e
lax:
r
estore row if variable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
isl_tab
.
c: cut_to_hyp
e
rplane: add
extra sanity
check
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
Ver
d
ool
a
ege
add isl_pw_q
p
olynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
d
o
o
laege
add
isl_pw_qpolyn
o
m
ial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpolynomial_max: fix detection of
i
n
a
c
tive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
doc: fi
x
transit
i
v
e
closure exa
m
pl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
l
a
ege
isl_c
o
nvex_
h
ull
.
c
: valid_directio
n
:
properly n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
r
doo
l
ae
g
e
isl_convex_hull
.
c:
s
implify comp
u
tation o
f
initial
.
.
.
commit
|
commitdiff
|
tree
next