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
Sven Verd
o
olaege
isl_qpo
l
ynomial_
f
old_o
p
t
_
on_dom
a
i
n: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_pw_*_eval: fix han
d
ling of emp
t
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_b
a
sic_set_m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doo
l
aege
export isl_qp
o
lyno
m
ial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoola
e
g
e
add isl_
q
polynomial_g
e
t
_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaeg
e
isl_map_transi
t
iv
e
_
closure
:
coalesce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_l
e
x_*_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaeg
e
isl_map_lex
_
l
e:
u
s
e one basic s
e
t less
i
n r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
laege
isl
_
stre
a
m: accept lexicograp
h
ic operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Ve
r
dool
a
ege
isl_m
a
p_tran
s
itive_clos
u
r
e
:
c
heck if input i
s
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
lae
g
e
add isl_printer_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
r
doolae
g
e
isl_map_re
a
d
: pa
r
se p
a
rametric
Om
e
ga i
n
put
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolae
g
e
isl_map_read:
f
ix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_convex_hull
.
c
:
is_
b
ound:
a
ny inequality is
a
boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Ve
r
doolaege
isl_convex_hull
.
c
:
add_b
o
u
n
d
s
:
p
r
opagate error
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
doc
u
ment isl_map_r
e
ver
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
isl_stream_ne
x
t_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
transitive_clo
s
u
re: tr
e
at equal
i
ty as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
i
sl_m
a
p_transitive
_
c
l
osure, omega
-
like: o
n
l
y
us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_map_transitive_closure: use
s
im
p
le h
u
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
la
e
ge
isl_map_t
r
ansitive_clos
u
re: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Ver
d
o
olaege
isl_map_coalesce: allow
wra
p
ping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolae
g
e
isl_map_coalesce: allowing c
u
tt
i
ng
e
qua
l
itie
s
in
a
djac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
doolaege
add some more
c
oalescing
test c
a
s
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
is
l
_basic_map_gist: be
m
o
r
e aggr
e
ssive
i
n removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_stream: accept
str
i
ng
token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab
_
rollback: restore rows that are no longer mark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
doc
:
document simp
l
e
h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doolaege
doc: emphasize that
we ar
e
dealing wit
h
integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
isl_transitive_clos
u
re
.
c: pa
t
h_alo
n
g
_
d
elta: only
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_tr
a
nsitiv
e
_clo
s
ure: compute div
s
of
i
nput
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
i
s
l_map_compute_d
i
vs: make sur
e
result is ga
u
s
s
e
d an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_pri
n
ter_pr
i
nt_
p
w
_qpol
y
nomial: properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip and isl_c
a
t:
termina
t
e
i
sl_arg arr
a
y with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: d
o
cum
e
n
t
setting and
g
e
ttin
g
of dime
n
s
i
on
n
ames
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
d
o
c:
do
c
ument *_ge
t
_dim
f
unctions
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Verdoolaege
isl_map_convex_hu
l
l: handle non full-dimen
s
ional
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_c
o
nvex_h
u
ll
.
c: modulo_af
f
i
n
e_hull: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c:
convex_hull_
p
air: skip directio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdoo
l
a
e
ge
i
s
l_printer
_
pr
i
nt_basic
_
set: fix
u
p
pri
n
t
ing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoo
l
aege
add isl_set_neg and is
l
_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transitive_c
l
os
u
re
.
c:
fi
x
documentation o
f
cons
t
ruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_map_coalesce:
m
a
ke s
u
re result still
c
o
n
tains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdoolaege
is
l
_
map_transitiv
e
_c
l
osu
r
e: Floyd-Wa
r
shall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaege
isl_ma
p
_transitive_closure:
use Floyd-Wa
r
shall on d
i
sjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoola
e
ge
isl_tra
n
sit
i
ve_closure
.
c: extract
o
u
t isl_set_o
v
e
r
laps
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_trans
i
t
ive_closure: pro
j
ect out length on
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rd
o
olaege
isl_transi
t
ive_closure
.
c: construct_compon
e
nt: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_
m
ap_transitive_
c
losure: do
n
't add le
n
gth parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoola
e
ge
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
is
l
_set_g
i
st: make con
t
ext argument an
i
sl_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaeg
e
isl_map_transitive_closure: coal
e
sce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oo
l
aege
isl_transitive_closu
r
e
.
c: construct_co
m
ponent: a
l
ways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: c
i
te Omega l
i
brary documentation o
n
computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add isl_stream
_
read_map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaege
isl_
a
rg
.
h: add missin
g
include
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Ve
r
d
o
olaege
is
l
_basic
_
map_move_dims: norma
l
ize equ
a
lities
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaege
rename isl
_
m
ap_move to isl_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-04-10
S
ven
V
erdoolaege
isl_options_parse: only p
a
rs
e
known o
p
tions b
y
default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_closure:
o
ptional
l
y use Ome
g
a-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_clo
s
ure: take o
p
tions
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_affi
n
e_
h
u
l
l: handle non-obvio
u
sly
empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
V
erdoola
e
ge
isl_map
_
compute_
d
ivs: handle
n
on-o
b
vio
u
sly empt
y
i
nput
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
aege
isl_basic_set_pre
i
mage: add
extra
s
anity check
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n V
e
rd
o
olaege
isl_basic_map_set_
t
o_empty: add m
i
ssing assignme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_equ
a
lities
.
c
: isl_mat
_
vari
a
b
l
e_c
o
mpression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
isl_sa
m
ple
.
c: initial
_
basi
s
: s
e
t
n_u
n
bounded an
d
n_zer
o
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoola
e
g
e
isl_map_co
a
les
c
e: o
n
ly
u
se non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map
_
print: al
l
ow e
m
pt
y
constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
isl_opt
i
ons
.
h
:
allow in
c
l
u
sio
n
from C+
+
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoola
e
ge
isl_
a
rg
.
h: al
l
ow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolae
g
e
isl_map_transitive_closure: handle existential
s
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoola
e
g
e
isl_m
a
p_deltas: pre
s
erv
e
dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_m
a
p
_
pri
n
t: support
L
aTeX outpu
t
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdool
a
e
g
e
isl_map_sim
p
lify: don't remove any div defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
l
_m
a
p_intersect
:
add spe
c
ial cases
f
or emp
t
y input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_t
r
ansitive_closur
e
.
c
:
p
ath_along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolae
g
e
isl_transitive_clo
s
u
r
e
.
c: path_along_del
t
a: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoo
l
aege
export
i
sl_qpolynomial_move
_
dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
add isl_qpolynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
add
i
sl_pw_qp
o
lynomi
a
l_fold
_
get_di
m
commit
|
commitdiff
|
tree
2010-04-03
S
ven
Verdoolaege
a
d
d some
q
p
olynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
add isl_
p
w_qpolynom
i
al_fold_
{
max,min
}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
do
o
laege
isl_tab_
m
in_at_mos
t
_neg_on
e
:
r
e
store sample v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_co
a
le
s
c
e: avoid reconsidering p
a
i
rs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
is
l
_tab
.
c: updat
e
d
ebugging aid check_
t
able to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolae
g
e
isl_t
a
b
_
r
elax: make sure no non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doo
l
aeg
e
isl_t
a
b
_pip
.
c
:
alway
s
set row sign
of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aeg
e
isl_printer_prin
t
_basic_
{
set
,
map}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdo
o
laege
export isl_set_sp
l
it_dims
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
add
i
sl_set_rec
e
ssion
_
cone
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erd
o
olae
g
e
add
i
s
l_s
e
t_dim_is
_
b
ounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
l_map_transitive_
c
losu
r
e: bre
a
k early if input
m
ap
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
isl_map_transitive_clos
u
re: c
o
alesce afte
r
each step
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
export isl_pw_qpolynomial_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
sl
_
tab
.
c: unrelax: restore
r
ow
i
f var
i
able
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaeg
e
isl_t
a
b
.
c: c
u
t_to_hyper
p
lane: add extr
a
sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_pw_qp
o
lynomial_
f
old_size
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Ver
d
oolae
g
e
add isl_pw_qpo
l
ynomial_split_dims
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
isl
_
qpolynomia
l
_max: fix detection of inactive variables
commit
|
commitdiff
|
tree
next