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_stream: accept "%" token
2010-03-18
Sve
n
Verdoolaege
is
l
_stream
:
a
ccept "%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ve
r
doola
e
g
e
add
basic isl_pw_qpol
y
nomial_fold
_
coalesc
e
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add
i
sl_
p
w
_qpolynom
i
al
_
fold_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_printer_p
r
int_pw_qp
o
lynomial{,_fol
d
}:
a
l
low printin
g
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add i
s
l_
q
poly
n
omial_get_d
e
n
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
ae
g
e
add isl_pw_q
p
olynomial_gis
t
and isl_pw_qpolynomial_fold_g
i
st
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
export isl
_
map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
a
dd isl_map_insert
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdoolaege
add
isl
_
prin
t
er
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
a
dd isl_pw_
q
poly
n
omial_m
a
x
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isl_qpoly
n
o
m
ial_add: replace 0-degree
polynomi
a
ls by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
doolaege
add i
s
l_set_
e
l
i
m
inate
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isl
_
map
_
ran
g
e
: o
p
timize
c
ase where the number of
input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
isl_pw
_
qpolynomial_print: fix
printing of
u
nnamed piec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
document t
r
ansit
i
ve clo
s
u
r
e implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
i
sl_stream:
a
ccept "
.
"
t
o
ken
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaege
add isl_pw
_
*
_
in
t
er
s
ect_domain
commit
|
commitdiff
|
tree
2010-03-12
S
v
en
Verdoolaege
add isl_pw_
*
_domain
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolaege
is
l
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
l
_
pw_templ
.
c:
copy: fix r
e
turn
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
e
rd
o
o
l
a
ege
isl_polynomial
.
c: qpolynomia
l
_f
o
l
d
_alloc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ver
d
oolaege
update AUTH
O
RS
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
isl_pip: use isl_set_
p
rint inst
e
a
d
of
isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
add some pip tests from the pipli
b
distr
i
bution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
d
o
n'
t
print newline in
I
S
L
_
F
ORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use typedef to ensure argument to
m
p_get_me
m
o
r
y_fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
ad
d
i
s
l_ob
j
_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add i
s
l_pw_
q
p
olynomial
_
fold_ev
a
l
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
add isl_pw_qpol
y
nomial_f
o
reach_lifted_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
aege
ad
d
isl_s
e
t
_
from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl
_
mat_insert_
c
o
l
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add is
l
_pw_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_q
p
o
l
ynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
add isl_pw_qpolynomial_ge
t
_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
ad
d
isl_di
v
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
isl_st
r
e
am: a
l
low "_" in
tok
e
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_str
e
am
:
acc
e
pt "@"
tok
e
n
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_m
a
p_read: acce
p
t '*' in affine ex
p
ressi
o
ns
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
l_q
p
ol
y
n
o
m
i
al_eva
l
: use consi
s
te
n
t
d
imension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
doc: update to removal of piplib as
a
submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
e
rd
o
o
la
e
ge
i
s
l_stream_
r
ead_obj: a
d
d su
p
po
r
t for reading piecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
ad
d
isl_strea
m
_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
ae
g
e
add gener
i
c
i
sl
_
o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d
support for (
p
iecewise) quasipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_
m
ove
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolae
g
e
isl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_st
r
eam:
p
arse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
expor
t
isl_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdo
o
laege
isl_stre
a
m: a
l
low us
e
r specified keywo
r
ds
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_stream: add some auxili
a
ry
f
unctions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_stream: rea
d
"definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
ad
d
isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
p
rivate
l
y export isl_set
_
contains_poin
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Ver
d
oo
l
aege
a
dd isl_
s
e
t
_coun
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
add isl
_
set_sample_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doo
l
aege
i
s
l_basic_se
t
_scan:
ma
k
e
s
ure sufficien
t
rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_map_
s
ubtrac
t
:
only
a
d
d divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map
_
order_div
s
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
aege
e
x
tract
isl_tab_add
_
d
i
v fro
m
isl_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_vec
.
c: fix minor
whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdo
o
laege
expor
t
isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add isl_hash_table_fore
a
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_map_
p
rint
:
e
xtract out print_d
i
sjun
c
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_input
.
c: accept_
a
ffine: fix memo
r
y leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
olaege
isl_map
_
intersect:
detect em
p
ty resu
l
t
a
lso in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdo
o
laege
i
s
l_map_read: skip until the
e
nd
o
f the l
a
st li
n
e wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
isl_strea
m
_next_
t
oken_on_same_
l
i
ne:
check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoo
l
a
ege
isl_set_
w
rap
_
facet:
m
ake sure set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
laege
isl
_
coale
s
ce
.
c: fix typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl_map_r
e
ad: acc
e
pt list o
f
predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verd
o
olaege
isl
_
map_rea
d
: ex
t
ract
out parsing of m
a
p
b
ody
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_
r
ead: add dummy vari
a
ble
n
am
e
for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_str
e
am: accep
t
";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaeg
e
use -O1
o
p
timization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
d
ro
p
comma at
t
he end
o
f enume
r
ations
in include fi
l
es
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl
_
map_r
e
ad: accept af
f
ine com
b
i
nation
s
of ear
l
ier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
o
olaege
isl_ma
p
_rea
d
:
construct b
a
si
c
map while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoola
e
ge
isl_
m
ap
_
print:
a
dd prime
s
to duplicate
n
ames
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l
_
map_transitive_closure:
improve accu
r
acy b
y
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_m
a
p_transit
i
ve_closure: perform exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
i
s
l_m
a
p_transitive_clo
s
ure: refor
m
ulate exa
c
tness t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
add
a
transitive clos
u
re exampl
e
from the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
isl_map_transitive_cl
o
s
ure: compu
t
e p
o
wer on
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_
t
ransitive_closure: in
t
ersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoo
l
aege
isl_map_transitive_
c
losure: ex
t
ract out construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl_m
a
p_tra
n
s
i
ti
v
e_closure: move acy
c
licity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
add isl_set_lower_bound_s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_m
a
p_print: use con
s
i
s
t
e
nt names on all disju
n
ct
s
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdoolaege
isl
_
cat: allow spec
i
f
i
cation o
f
output format
on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
rdool
a
ege
isl_map_print: support
I
SL_FORMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
e
r
doolaege
isl_map_coalesce
:
fix som
e
re
g
ressio
n
s
i
ntr
o
d
u
c
e
d by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoo
l
aege
add isl_cl
o
sure test app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
add transitive closure
e
xample
f
rom Ke
l
ly's
1996
pape
r
commit
|
commitdiff
|
tree
next