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
update AUTHORS
2010-03-10
Sven
Verdo
o
la
e
ge
update AUT
H
ORS
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
oola
e
g
e
isl_p
i
p: use isl_set_pri
n
t
instead o
f
i
sl_se
t
_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olaege
a
d
d
so
m
e pip t
e
sts fro
m
t
he piplib di
s
tribution
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaeg
e
d
on'
t
print
new
l
ine in ISL_FO
R
M
AT_IS
L
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdool
a
eg
e
u
s
e t
y
ped
e
f
to ensure argum
e
nt to
m
p_get_memory_
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add is
l
_ob
j
_
pw_
q
polynomial
_
f
old
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
pw_qpolynomial_fold
_
eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
a
d
d isl_pw_qpo
l
ynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
d
ool
a
e
g
e
add isl
_
pw_qpolyn
o
m
ial_foreac
h
_lift
e
d_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
add
isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
add isl_set_fro
m
_
po
i
nt
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
add isl_mat_inser
t
_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
olaege
ad
d
i
sl_pw_qpolyno
m
ial_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oola
e
ge
add isl_pw_qpolyno
m
ial_f
o
rea
c
h
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoo
l
aege
add isl_pw_qpol
y
nom
i
al_
g
et_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaeg
e
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
l
_
str
e
a
m
: allow "_" in t
o
kens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
doolaege
i
sl_stream: accept "@" to
k
en
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
isl_map_read: ac
c
ept '*' in affine
expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
isl_qpolynomia
l
_e
v
al: use con
s
i
s
tent dimen
s
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdool
a
ege
doc: updat
e
to
removal of
piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
o
olaege
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
isl_s
t
r
e
am_read_obj: a
d
d support
f
or reading piecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
add isl_str
e
am
_
read
_
obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
ad
d
generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erdoolaege
add support
f
or (pi
e
cewise)
q
uasipo
l
yn
o
mials
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaeg
e
add i
s
l_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaeg
e
isl_stream:
p
a
r
s
e NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_s
t
ream: parse
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
e
ge
export
isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_str
e
am: allow user
s
pecified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_stream: add s
o
me auxilia
r
y fun
c
tions
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_
s
tream: re
a
d "de
f
inition" token ":=
"
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
ola
e
ge
add i
s
l_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
priv
a
t
e
ly export isl_set_co
n
tains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl_set_coun
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
ad
d
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_basic
_
set_scan: make
s
u
r
e suff
i
cient
r
ows are allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdool
a
ege
isl_map
_
subtract: onl
y
add di
v
s when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_map_orde
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extr
a
ct isl_tab_add_div
f
r
om i
s
l_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
dool
a
eg
e
is
l
_vec
.
c: fix minor whit
e
spac
e
issue
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
ad
d
isl_set_compleme
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdool
a
ege
export isl_map
_
make_di
s
joint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
add
i
s
l_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaege
isl_map
_
pr
i
nt:
extract out pri
n
t
_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
o
l
a
eg
e
add isl_set_fast_is_un
i
verse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_input
.
c: accept_affine: fix memo
r
y
l
eak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_int
e
rsect: detect
e
mpty re
s
u
lt
als
o
in
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_map_read: s
k
ip until the end o
f
the last
l
i
n
e
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
ege
isl_stream_next_token_on_same_line: check if l
a
st token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
e
t_wrap_facet:
m
ake
s
ure set is marked rationa
l
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
isl_co
a
lesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
i
sl_
m
ap_read
:
accept
list of pre
d
icated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_ma
p
_read:
e
xtrac
t
o
u
t
parsing of ma
p
b
ody
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read:
ad
d
du
m
my variable
name f
o
r
unnamed var
i
a
b
les
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoola
e
ge
i
sl_s
t
rea
m
: acc
e
pt ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
use
-
O1 o
p
timization level for gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
V
e
r
do
o
laege
isl
_
map_read: acce
p
t affine combinations of
e
arlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
i
s
l_map_read: c
o
nstru
c
t basic map while re
a
d
i
ng v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ve
r
doolaege
a
d
d a tra
n
sitive cl
o
sure ex
a
m
ple from the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolae
g
e
isl
_
map_t
r
a
n
sitive
_
clo
s
ure
:
compute power
o
n strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_m
a
p_transiti
v
e_clo
s
ure:
i
ntersect with d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verd
o
ol
a
ege
isl_
m
ap_transitive_
c
losure: extr
a
ct out constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
i
sl_m
a
p_tra
n
sitive_closure:
move acycli
c
ity
t
est u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_map_
p
rint: use consistent nam
e
s o
n
all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
i
s
l_cat: allow speci
f
icati
o
n of output
format on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verd
o
olaege
isl_map_p
r
int
:
support ISL_FOR
M
A
T_POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_coale
s
ce: fi
x
some
r
egressions
intro
d
u
c
e
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
aege
a
dd isl_closure
t
est appl
i
c
a
tion
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oola
e
g
e
add transitive cl
o
sure
e
x
a
mple from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdo
o
laege
isl_map_trans
i
ti
v
e_clos
u
re
:
construct g
e
nera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_transitive_
c
losure:
p
repare f
o
r
the
c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
i
s
l_map
_
tr
a
n
s
itive_closu
r
e: co
n
struct pa
t
hs that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_
t
r
ansitive
_
closure
:
extract out constru
c
tio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
o
o
laege
isl_map_trans
i
tiv
e
_
c
losure:
u
s
e
more
generi
c
acy
c
licity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_print: add parenthes
e
s
a
ro
u
nd disjuncts
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_hash
_
tab
l
e: use s
i
ze that cor
r
esp
o
nds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl
_
h
ash_t
a
ble:
g
r
ow t
a
ble when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_
c
oalesc
e
: only
use non-r
e
dun
d
ant c
o
nstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolaege
add isl_set_fi
x
_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n
Verdoolaeg
e
isl_
m
a
p
_r
e
ad: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_ma
p
_
align
_
divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaege
isl_
m
ap_read: forg
e
t existentially
q
u
anti
f
ied vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
ege
isl_input
.
c: rem
o
ve needless
i
ndi
r
ection
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
doc: d
o
cu
m
ent how to inspect se
t
s and r
e
lation
s
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
d
oolaege
expor
t
isl_map_co
m
pu
t
e_
d
i
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
isl
_
c
o
n
straint_
d
i
v:
m
a
k
e
s
u
re requested div
i
s a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaeg
e
do
c
:
d
r
op docu
m
entation of _dum
p
f
unctions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
Verdoolaeg
e
isl_map_print: im
p
rove ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
e
rdoola
e
ge
add isl_basi
c
_map
_
foreach_con
s
traint
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
i
s
l
_map_coalesce: handle more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
laege
privately export isl_set_wrap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaege
isl_convex_hull
.
c: wrap_facet: al
l
ow un
b
ound
e
d fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
doc:
i
mpro
v
e decriptio
n
of isl_map_
t
ransit
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
i
sl_map_transiti
v
e_closu
r
e
: improve test
fo
r
exactn
e
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doola
e
ge
add
a
counter
e
xam
p
le f
o
r Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
add isl_ma
p
_l
o
w
e
r_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_map_pow
e
r:
c
oalesce domai
n
and ran
g
e
commit
|
commitdiff
|
tree
next