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_add: replace 0-degree polynomials by their constant terms
2010-03-14
Sven Verd
o
olaege
i
s
l_qpolynom
i
al_add: replace
0
-deg
r
ee poly
n
omials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
a
d
d isl_se
t
_eli
m
inate
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
doolaege
isl_
m
ap_ran
g
e: optimi
z
e case wher
e
the number of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
isl
_
pw_qpolynomial
_
print: fix
p
rint
i
ng of
u
n
named pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
o
olaege
d
o
cume
n
t transitiv
e
closure im
p
lementation
commit
|
commitdiff
|
tree
2010-03-13
Sven
V
erd
o
olaege
isl_stre
a
m:
a
ccept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sve
n
Verdoolaege
ad
d
isl_pw_*_intersect_domain
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoo
l
aege
a
dd isl
_
pw_
*
_
domain
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
doolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoo
l
aege
isl_pw_templ
.
c: c
o
py: fix return
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
is
l
_po
l
ynomial
.
c: qpo
l
ynomial_fol
d
_alloc: fix up conditi
o
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
up
d
ate AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
laege
i
s
l
_
p
ip:
use is
l
_
set_p
r
int instead of is
l
_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
add s
o
m
e
pip tests fr
o
m the piplib dist
r
i
bution
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
oolaeg
e
don't print newli
n
e
in ISL_FORMAT_I
S
L
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use typedef
t
o en
s
ure argumen
t
to mp_get
_
memo
r
y_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
aege
add
isl_o
b
j_pw_q
p
olyno
m
i
a
l
_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
o
o
la
e
ge
add isl_p
w
_
q
pol
y
no
m
ia
l
_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
add isl_pw_
q
polynomial_f
o
ld
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
add isl_pw_qpolynomial
_
f
oreach_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolae
g
e
add
i
s
l_se
t
_
l
ift
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaeg
e
add isl_set_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl
_
m
a
t
_
i
n
s
e
rt_col
s
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
d
d
isl_pw_qpolyno
m
ial_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_pw_qpoly
n
omia
l
_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
ge
a
d
d isl_
p
w_qpolynomial_g
e
t_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_d
i
v_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
sl_stream: allo
w
"_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
isl_stream: ac
c
ept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
isl_map_
r
ea
d
: acce
p
t '*
'
i
n affi
n
e expressi
o
ns
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_qpolynomial_eval: use consis
t
ent dimen
s
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
doc: update to removal of
p
iplib as
a
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
isl_stream_rea
d
_ob
j
: add
support fo
r
re
a
ding pie
c
ewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oo
l
aege
a
d
d isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaeg
e
a
dd
g
en
e
ric isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoo
l
aege
add support for (piecewise
)
q
uasi
p
olynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream:
par
s
e
N
aN
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_stre
a
m: parse
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
expo
r
t isl_
s
tream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
s
l_strea
m
: allow user spe
c
ified
ke
y
word
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
lae
g
e
isl_st
r
eam:
add some a
u
xiliary
funct
i
ons
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
isl_stream:
r
ead "definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
p
r
ivat
e
ly export i
s
l_set_contains_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Ve
r
doolaege
add is
l
_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_sa
m
p
le_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_b
a
sic_se
t
_scan: make sure s
u
ff
i
cient rows
ar
e
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
map_subtract: only add di
v
s
when needed
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdool
a
ege
add isl_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
extract
i
sl_tab_add_div from
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_ve
c
.
c
: fix minor wh
i
te
s
pa
c
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_compl
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
exp
o
rt isl_map_mak
e
_
d
is
j
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
a
d
d is
l
_h
a
sh_table_fore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verd
o
ola
e
ge
isl_ma
p
_print: extract out
p
rint_disjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set
_
f
a
s
t_is_u
n
iverse
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
is
l
_input
.
c
: a
c
c
e
pt
_
a
ffine: fix mem
o
ry leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_map_intersect: detect empty result also
in
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_ma
p
_
r
ead:
skip
u
n
t
il the e
n
d
o
f
the
last line
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl
_
stream_next_tok
e
n_on_sa
m
e_line: check if last t
o
ken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_set
_
wrap_fac
e
t: make
s
u
re
set is marked
r
ati
o
n
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_c
o
a
l
e
s
ce
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_m
a
p_read
:
accep
t
lis
t
o
f predicated e
l
ements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_r
e
a
d: extrac
t
out pars
i
ng
of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
is
l
_map
_
read: add dummy
variable na
m
e for unnamed variabl
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olae
g
e
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
u
se -O1 opt
i
mizatio
n
level
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
m
a
p_read
:
accep
t
affine c
o
mbinations of earli
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
do
o
laege
isl_map
_
read
:
constr
u
ct bas
i
c
map while
r
e
ading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
add a tra
n
sit
i
ve c
l
os
u
r
e exampl
e
from the Ome
g
a
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
lae
g
e
isl_map_transitive_
c
losure: compute power on str
o
n
g
ly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
ma
p
_transitive_closur
e
: intersect with domain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_map_transiti
v
e_closure
:
extract
o
ut constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_transiti
v
e
_c
l
osure: mo
v
e
acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n V
e
rdo
o
laeg
e
i
s
l_m
a
p
_
p
r
i
n
t: use consi
s
t
e
n
t
names on
a
l
l
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_cat:
a
llow specification of output
format on
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
i
s
l
_
m
ap
_
pri
n
t: support I
S
L_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoola
e
ge
isl_map_coa
l
esc
e
: f
i
x some
regr
e
ssio
n
s
introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
add
i
s
l_closure test a
p
p
l
ication
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
add transit
i
ve closure example fro
m
K
elly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_tra
n
sit
i
ve_c
l
o
s
ure:
c
onstr
u
ct general paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_ma
p
_transi
t
ive_
c
losur
e
: prepare for the co
n
s
t
ructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_ma
p
_
t
ransitiv
e
_closure: construct paths th
a
t
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolaege
isl_trans
i
tive_closure:
e
x
tr
a
ct out constructio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdo
o
laege
isl_map_transiti
v
e_cl
o
sure: use more
gene
r
ic
a
cycl
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oo
l
a
ege
isl
_
m
a
p_print: ad
d
parenthese
s
a
round disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash
_
table: use
s
ize that corre
s
ponds to the
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
doolaege
is
l
_
hash_table: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
V
e
rdo
o
laege
isl_map_coalesce: on
l
y
u
se non-re
d
undant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoola
e
ge
add isl_set_fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdool
a
ege
isl_
m
ap_read:
a
c
c
ept chains o
f
co
m
parisons
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdo
o
laege
export isl_map_
a
lign
_
div
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_read:
forget
e
xistentially quantified varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdo
o
laege
isl
_
i
nput
.
c: r
e
move n
e
edles
s
indi
r
e
c
tion
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: document
h
ow to inspect sets and rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
lae
g
e
exp
o
rt isl_map_comput
e
_div
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ve
r
do
o
la
e
ge
isl_constrai
n
t_div: m
a
ke su
r
e re
q
uested
d
iv is
a
known div
commit
|
commitdiff
|
tree
next