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
doc: fix typo
2010-03-18
Sve
n
Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
erdoolaege
add basic
i
sl_pw_qpolynomial
_
fold_
c
o
a
lesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl
_
pw_qpolynomial_fold
_
get_
c
t
x
commit
|
commitdiff
|
tree
2010-03-18
S
v
en V
e
r
d
oolaege
i
s
l_printer_print_
p
w_q
p
ol
y
nom
i
a
l
{,_fold
}
:
all
o
w
print
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
a
dd isl_qpolynomial_get_den
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verd
o
olaege
ad
d
isl_pw_q
p
olynomial_g
i
st and isl_pw_qpolynomial_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
export isl
_
map_gist
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
add is
l
_map_insert
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdo
o
laege
ad
d
isl_p
r
i
nter
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
er
d
o
olaege
add isl_pw_qpolynom
i
al_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
l
_qpolynomial_add:
replace 0-d
e
gree pol
y
nomials b
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add
i
s
l
_set_e
l
imina
t
e
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
i
sl_map
_
ra
n
ge: op
t
imize case where the n
u
mber
of inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
i
s
l_pw_qpolyn
o
mial_print: fix printing o
f
unname
d
piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdo
o
lae
g
e
documen
t
t
r
ansitiv
e
closure im
p
leme
n
tation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoola
e
ge
isl
_
stream: accep
t
"
.
"
token
commit
|
commitdiff
|
tree
2010-03-12
S
ven Verdoo
l
aege
add is
l
_pw_*_intersect_domain
commit
|
commitdiff
|
tree
2010-03-12
S
v
en
V
erdoolaege
add isl_pw_*_do
m
a
i
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdool
a
ege
i
s
l
_
p
w
_templ
.
c: co
p
y: fix return
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verd
o
o
l
aege
isl_polynomia
l
.
c
: q
p
olynomi
a
l_fold_all
o
c
: fix up cond
i
tion
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
e
rdoolaege
updat
e
AUTH
O
RS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
isl_pip: use is
l
_
set_print i
n
stead of isl_set_d
u
mp
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verd
o
olaege
add some pip
test
s
f
r
om t
h
e piplib distrib
u
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
don't
p
rint n
e
wline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
us
e
typedef
t
o e
n
sur
e
argumen
t
to mp_get
_
memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
add isl_o
b
j
_
p
w
_qp
o
l
ynomial_fol
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
ge
ad
d
isl_pw_
q
p
olyno
m
ial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
d
d isl_pw
_
qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
add isl_
p
w_qp
o
lynomial_fore
a
c
h
_lifted_p
i
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aeg
e
a
d
d isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolae
g
e
add isl_
s
et_from_poi
n
t
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aeg
e
add isl_mat_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
add isl_p
w
_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
a
d
d isl_p
w
_qpo
l
ynomial_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_qpolynomial_get_di
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
isl_stream: allow
"
_"
i
n tokens
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
isl_stream:
accept
"@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
i
sl_map_read: accept '*' i
n
affine expres
s
ions
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
e
ge
i
s
l_qpo
l
ynomial_
e
val: use con
s
istent dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
laege
doc: update t
o
r
e
mo
v
al of pipli
b
as a su
b
modu
l
e
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
isl_stream_read
_
obj
:
add suppo
r
t
f
o
r reading pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
er
d
oolaege
add isl_stream_read
_
obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
ad
d
generic is
l
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add suppo
r
t for (piece
w
ise) q
u
asipolynomi
a
l
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
add i
s
l_map
_
move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_str
e
am
:
p
a
r
s
e inf
t
y
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
exp
o
rt isl
_
stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: allow
u
ser
specified keywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolaege
isl_stream: add
s
ome au
x
iliary
f
un
c
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_st
r
e
a
m: read "defi
n
i
tion
"
tok
e
n
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl
_
int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoo
l
a
ege
privately
e
xport isl_set_contains_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
r
doolaege
add
i
sl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_se
t
_sample_point
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
r
d
oo
l
a
ege
add
isl_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
i
sl_basic_s
e
t_
s
can:
m
ake sure sufficient
r
ows are
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
sl_map_subtract
:
only add divs wh
e
n
n
e
e
d
ed
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Ver
d
o
olaege
add is
l
_map_order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
o
laeg
e
extract isl_tab
_
add_div
f
r
o
m isl
_
ta
b
_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_vec
.
c: f
i
x minor w
h
itespa
c
e
i
ssue
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n V
e
r
d
o
olaege
add isl_set_co
m
plement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaeg
e
add isl_hash_table_fo
r
e
ach
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_map_pri
n
t
:
extract out prin
t
_disju
n
cts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_s
e
t
_fast_
i
s_u
n
iv
e
r
se
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaeg
e
isl_input
.
c
:
a
c
cept_affine: f
i
x memor
y
l
e
ak
o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaeg
e
isl
_
map_in
t
ersect
:
detect empty
r
esult
a
lso
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_map
_
r
e
ad: skip until the end of t
h
e
last li
n
e when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_stream_next_token_on_same_line:
c
hec
k
if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_set_wrap_facet: m
a
k
e
sure set is m
a
rked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
c
oalesce
.
c:
fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read:
a
c
c
e
p
t list
o
f
predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_m
a
p_read: ex
t
r
a
c
t o
u
t p
a
rsing of m
a
p body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_r
e
ad: add dummy variable name for unnamed va
r
i
abl
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolae
g
e
i
sl_s
t
ream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
e
g
e
us
e
-O
1
o
p
ti
m
izatio
n
level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
drop comma
a
t the end
o
f enumerat
i
ons in
include files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoolae
g
e
isl_map_read: accept affin
e
combinations o
f
e
arlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verd
o
o
l
ae
g
e
isl_map_r
e
ad: con
s
tr
u
ct basic map while readin
g
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_print:
add primes to
d
uplicate
name
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
o
l
a
e
ge
isl_map_transitive
_
c
l
o
sure: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
isl_map_transitive_cl
o
su
r
e:
perform exactness
check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoo
l
a
e
ge
isl_map_t
r
a
nsitiv
e
_cl
o
sur
e
: reformu
l
at
e
exa
c
tness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
ad
d
a
transit
i
ve cl
o
sure exampl
e
f
r
om
t
h
e Ome
g
a test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_map_
t
ransi
t
i
v
e_closure: co
m
pute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
a
e
g
e
isl_ma
p
_
t
r
a
nsitive
_
closure: intersec
t
with domain
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_cl
o
su
r
e: extract out co
n
s
tructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map
_
t
ransit
i
v
e_closure
:
m
o
ve acyclicity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
add isl_
s
et_lower_bound
_
s
i
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaeg
e
isl_m
a
p_print: us
e
consistent n
a
mes on all di
s
ju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_c
a
t: all
o
w
speci
f
ication of
ou
t
put
format on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rd
o
olaege
is
l
_map_print: support
I
S
L
_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
rdoolae
g
e
isl_map_coale
s
c
e
: fix some regre
s
sions
introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ve
r
doo
l
a
e
ge
add isl_clo
s
u
r
e test applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
add
transitive
c
losu
r
e
example
from K
e
lly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_tran
s
itive_
c
losure: construct general p
a
t
h
s
commit
|
commitdiff
|
tree
next