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_set_scan
2010-05-13
Sve
n
Verdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
a
dd is
l
_stream_
r
ead_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add
i
sl_qpolyn
o
mial_fro
m
_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add
isl_qpolyn
o
m
i
al_fro
m
_
constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
isl_
b
asic_set_foreach_bound
_
pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
add isl_qpolynomial_as_polynomial
_
on
_
do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd is
l
_basic
_
set_dims
_
g
e
t
_
sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_ctx: ad
d
ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_qpolynomi
a
l_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add
i
sl_ba
s
i
c
_
s
e
t
_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ver
d
oolaege
isl_
q
po
l
ynom
i
al_fold_opt_on_do
m
ai
n
: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval: fix hand
l
ing
o
f empty
input
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoo
l
aege
add isl_bas
i
c
_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
ool
a
ege
ex
p
ort
i
s
l
_qp
o
lynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
e
g
e
add
isl_qpolynomi
a
l_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
isl_map
_
trans
i
tive_cl
o
s
ur
e
: c
o
ales
c
e input
b
efore checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
map_le
x
_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoolaeg
e
isl_map_lex_le:
u
s
e one b
a
sic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n
Verdoolaege
i
s
l_st
r
eam: accept
l
ex
i
c
ogr
a
phi
c
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
isl_ma
p
_transitive_closu
r
e: check if input is
c
l
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
doolaeg
e
add isl_printer_
f
l
u
sh
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
map_read: parse parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read
:
fi
x
typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_con
v
e
x
_
h
u
ll
.
c: is_b
o
und: a
n
y
inequalit
y
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
i
s
l_c
o
nvex_hul
l
.
c
: add_bounds:
p
ropagate
e
r
r
o
rs from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
V
erdoola
e
g
e
document isl_map
_
rev
e
rs
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
la
e
ge
isl_stream_nex
t
_tok
e
n: te
r
mina
t
e string
t
oke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoola
e
ge
isl_m
a
p
_transitive_clos
u
re:
t
r
e
at
equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven
Verdoolaege
isl_map_transitive_cl
o
sure
,
o
me
g
a
-
like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaeg
e
isl_
m
ap_transitive_c
l
osur
e
: use
simpl
e
h
u
l
l
in ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl
_
map_transitive_closure: try a
n
d compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
aege
isl_ma
p
_coalesce: allow wrap
p
in
g
i
n
s
ets th
a
t
s
tick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
coalesce: allow
i
ng cutting equalities in
adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some more coal
e
scing
t
est
case
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
erd
o
olaege
i
sl_basic_map_gis
t
: be more aggressive in remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolae
g
e
isl_stream:
a
ccept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl
_
tab_
r
o
llback
:
restore rows t
h
a
t
are
no longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
doc:
document
s
im
p
l
e
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
e
mpha
s
ize that we
a
re dealing
w
ith integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_tra
n
s
i
tive_cl
o
sure
.
c: path_along
_
d
elta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
isl_
m
ap_
t
ransitive
_
closure
:
comp
u
t
e div
s
of
inpu
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
isl_
m
ap_co
m
pute_div
s
: mak
e
sure r
e
sult is
g
aus
s
ed a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Verdo
o
laege
is
l
_printer_print_pw_qp
o
lyn
o
mial: properly pri
n
t constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ver
d
oolaege
i
sl
_
pip and i
s
l
_cat: term
i
nate isl_arg
array
with ISL
_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
e
rdoolaege
doc: doc
u
ment settin
g
a
nd ge
t
t
in
g
of dimension na
m
e
s
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
d
o
c: document *_get_dim fu
n
ction
s
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
Verdoo
l
aege
isl
_
map_co
n
ve
x
_hull: handle n
o
n full-dimensi
o
nal pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c: modulo_aff
i
ne_hull: drop
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
i
s
l_conv
e
x_hull
.
c: convex_hull_
p
air: skip
dire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
ge
i
sl_p
r
inter_print_basic_set:
fi
x
up printing to str
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
olaege
add isl
_
s
e
t_neg and isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven
V
erdool
a
ege
i
sl_
t
ransitive_cl
o
sure
.
c:
fi
x
documen
t
ation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolae
g
e
isl_map_coa
l
esce: ma
k
e sure resu
l
t
s
till con
t
ains
s
et
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdo
o
laege
isl
_
map_tr
a
nsitive_closu
r
e: Floyd-War
s
hall
:
p
roperly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
olaeg
e
isl_map_transitive_c
l
o
sure: use Flo
y
d-Wa
r
shall on
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Ver
d
oolaege
isl_transit
i
ve
_
closure
.
c: extract out isl_
s
et_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map
_
t
r
ansi
t
ive_closure: pro
j
ect out
l
ength on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
isl_transitive
_
closure
.
c: construct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Ver
d
oolaege
isl_map_transitive_closure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolae
g
e
do
c
: fix
t
y
p
o
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
isl_set_gi
s
t
:
make con
t
e
x
t
argumen
t
an
i
s
l
_
s
et
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaeg
e
isl_map_tr
a
nsitive_closur
e
: coalesce input
m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
isl_transitive_
c
l
o
sure
.
c: c
o
nstru
c
t_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
lae
g
e
doc:
cite Om
e
ga
l
i
br
a
ry documentati
o
n o
n
computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
add isl_stream
_
re
a
d_map
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdool
a
ege
i
s
l_arg
.
h: add missing
include
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaege
isl_basic_ma
p
_move
_
dims: normali
z
e equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
rename isl_map_move to isl_map_move
_
di
m
s
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
i
sl_
o
ptions_pars
e
: only parse kn
o
wn options
by default
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_map_closure: optionally use Omega-like algo
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
S
ven V
e
rdoolaege
isl_cl
o
sure:
take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laeg
e
isl_map_
a
ffi
n
e
_
hull: handle non-obviousl
y
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
map_c
o
m
put
e
_
d
ivs: h
a
ndle non-obvio
u
sly
e
mpty
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_basi
c
_set_preimage: add ext
r
a sani
t
y check
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
dool
a
e
g
e
isl
_
basic_m
a
p_set_to
_
empt
y
:
add missing ass
i
gn
m
ent
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
isl_equa
l
i
ties
.
c: isl_mat_variable
_
c
o
m
p
ression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
s
ample
.
c:
initial_ba
s
is: se
t
n
_u
n
bounded
and n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoola
e
g
e
is
l
_
m
a
p_
c
o
alesce: only use non-redundant con
s
trai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdo
o
laege
isl_m
a
p_
p
rint: al
l
ow em
p
ty
c
onstrain
t
s
commit
|
commitdiff
|
tree
2010-04-09
S
ven
V
erd
o
o
l
a
ege
isl_
o
ptions
.
h: allow inclu
s
ion f
r
om
C++
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
isl_arg
.
h
: al
l
ow
i
nclus
i
on
f
rom C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verd
o
o
l
aege
i
sl
_
map_tran
s
it
i
ve_closure: hand
l
e ex
i
s
t
entials
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_
m
ap_d
e
ltas: pres
e
rv
e
dimensi
o
n names
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
o
ola
e
g
e
isl_map_print:
support LaTeX outpu
t
format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_
m
ap_sim
p
lify
:
d
o
n
't remove a
n
y di
v
definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_map_intersect
:
add s
p
ec
i
al cases
f
o
r em
p
t
y i
n
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_transitive_closure
.
c: path
_
along_d
e
lta
:
share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rd
o
ol
a
ege
isl_tr
a
nsitive_closure
.
c: p
a
th_along_d
e
lta: t
r
y
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdo
o
laege
exp
o
r
t
i
s
l
_qpolynomial_move_d
i
m
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
a
d
d isl_
q
poly
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
add
i
s
l
_pw_qpolynomial_fold_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoo
l
aege
add
s
o
me qpolynomi
a
l test fu
n
ctio
n
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
o
laege
add isl_pw_qp
o
ly
n
omial_fold
_
{
m
a
x,m
i
n}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
sl_tab_min_at_most_neg_one: restore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdo
o
l
a
ege
isl_map_
c
oalesce:
a
v
o
i
d reconsidering pair
s
c
onsidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoola
e
ge
i
s
l_tab
.
c: update d
e
bugging aid check_
t
able to prese
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
isl
_
tab
_
relax:
mak
e
s
u
re
n
o
non-negati
v
e ro
w
s get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_pip
.
c: always set row sign of fou
n
d row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_printer
_
print_ba
s
ic_{
s
et,map}:
a
dd closing "}"
commit
|
commitdiff
|
tree
next