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_pip: use isl_set_print instead of isl_set_dump to print results
2010-03-10
S
v
e
n
Verdo
o
laege
isl_pip: use isl_s
e
t_print instea
d
o
f
isl_set_
d
ump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add some pip tests from the p
i
plib distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
don
'
t print newline in ISL_FORMAT_IS
L
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
dool
a
ege
u
se typedef
t
o ensure argument to mp_ge
t
_me
m
ory_f
u
ncti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_
o
b
j
_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoo
l
aege
add isl_pw_qpolynomial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_pw_qp
o
lynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add i
s
l_
p
w_qpolynomi
a
l_fo
r
ea
c
h_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolae
g
e
add i
s
l_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
laege
add isl_set
_
from_point
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add
i
sl_mat_ins
e
rt_c
o
ls
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_p
w
_
q
polynomial_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
add
i
s
l
_
pw_qpolynomial_fore
a
ch_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
s
l
_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
i
s
l_stream: allow "_" in toke
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
is
l
_
s
tream: accept "@
"
token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_map_read: accept '*' in a
f
f
i
n
e expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
isl_qpolynomial_eval: use consiste
n
t dimension fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoola
e
ge
d
o
c
: update to removal
o
f piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doola
e
ge
doc:
f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
i
s
l_stream_read_obj: add support for
reading piec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
a
dd isl_str
e
am_rea
d
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
V
erdoolaege
add suppor
t
for (piecewis
e
) qu
a
sipo
l
yno
m
i
a
ls
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
a
d
d isl
_
m
a
p_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_
s
tre
a
m:
parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
is
l
_stream: parse
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
export
i
sl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
e
g
e
isl_stream: allow user specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_stream: add
some a
u
x
ili
a
r
y
f
unctions
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verd
o
o
l
aege
isl_stream:
r
ea
d
"definit
i
on" token ":="
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
olaege
add
i
s
l
_
int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoolaege
pr
i
vate
l
y
e
x
port
i
sl_set
_
c
o
ntains_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
add isl_set_
c
ount
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
V
e
rdoola
e
ge
ad
d
isl_set_sample_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
e
r
doolaege
add
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_
b
a
s
ic_set
_
scan: mak
e
s
ure
s
uff
i
c
i
ent rows are a
l
locate
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoo
l
aege
isl
_
map_s
u
btr
a
ct: only
a
dd
divs when n
e
eded
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
doolaege
add isl_ma
p
_order_divs
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoola
e
g
e
extract i
s
l
_
tab_a
d
d_div fr
o
m isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_vec
.
c: fix minor
whit
e
space issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaege
export
i
s
l
_map_
m
ake_
d
isj
o
int
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolae
g
e
add
isl_hash_table_
f
o
r
each
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_ma
p
_prin
t
: ex
t
ract
out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d is
l
_set_
f
ast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_input
.
c: a
c
cept_affine: fix memory
l
e
ak
on
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
o
o
laege
i
s
l_map_int
e
r
sect: d
e
tect emp
t
y result al
s
o in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
ae
g
e
isl_
m
ap_read: s
k
ip until the
e
nd of the las
t
l
i
ne when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_stream_ne
x
t_token_on_same_line
:
check if last
t
oke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
et_wrap_facet:
make
sure set is
marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
s
l_coal
e
s
ce
.
c:
f
i
x
typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_ma
p
_read: acce
p
t
list of predi
c
ated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
isl_map_r
e
a
d
: extrac
t
o
ut parsing of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoo
l
aege
i
s
l_map_read: add dummy
vari
a
ble nam
e
for unnamed variab
l
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven
Ve
r
d
ool
a
ege
isl_stream: accept ";" t
o
k
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoola
e
ge
use -O1 optimiza
t
ion level
f
or gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
v
en
V
erd
o
olaeg
e
drop
comma at the end
of
e
n
umerat
i
ons in incl
u
de files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoola
e
g
e
isl_map_read: accept affi
n
e combinatio
n
s of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ve
n
Ver
d
oolaege
isl_
m
ap_
r
ead: construct basic map while r
e
ading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_p
r
int
:
add primes to duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_map_transitive_closure:
i
m
p
r
ove accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
i
s
l
_
map_t
r
ansit
i
ve
_
closure: perform exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdoo
l
aege
isl_
m
ap_transit
i
ve_c
l
os
u
re: reformulate exa
c
tness
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a
t
r
ansitive closur
e
ex
a
mple f
r
o
m
the Ome
g
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
isl_map_transitive_cl
o
su
r
e:
compu
t
e power on
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transi
t
iv
e
_closu
r
e: inte
r
sect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_tran
s
itive_closure:
extr
a
ct out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doo
l
aeg
e
isl_
m
ap_transiti
v
e_
c
losure: move acyclicity t
e
s
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n V
e
rdoolaege
add
isl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_
m
ap_pr
i
n
t
: use co
n
sistent
names
on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdool
a
ege
isl_cat: allo
w
speci
f
icatio
n
of output
f
ormat on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
ol
a
eg
e
i
sl_m
a
p_print: support ISL_
F
O
RMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl
_
m
a
p_coalesce: fi
x
some reg
r
essi
o
ns
i
ntrodu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d
isl_c
l
osur
e
test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aeg
e
add tra
n
s
itive closure example from Ke
l
ly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_c
l
osure: c
o
n
s
tru
c
t
ge
n
eral p
a
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
is
l
_map_trans
i
tive_
c
losure: prepare for the c
o
ns
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_
m
ap_t
r
ansiti
v
e
_
closure: const
r
uct path
s
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdool
a
ege
isl_tr
a
nsiti
v
e_c
l
o
s
ure: extract out constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_ma
p
_transitive_closure: use
mor
e
g
en
e
ric acy
c
licity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdool
a
ege
isl_map_print: add parenthe
s
e
s
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
h
a
sh_t
a
ble: use siz
e
t
h
at
c
orr
e
spon
d
s
t
o the n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
i
sl_hash_table: g
r
o
w
table
when we run out of en
t
ri
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
e
g
e
isl_m
a
p_coalesce: o
n
ly
u
se
n
on-redundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven V
e
r
d
o
o
laege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdo
o
la
e
ge
is
l
_map_rea
d
: a
c
ce
p
t chai
n
s
of c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oola
e
ge
export i
s
l_m
a
p_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdo
o
laege
isl_map_
r
ead: forget existentially quan
t
i
f
ied
v
ari
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
sl_i
n
put
.
c
: rem
o
ve needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
do
c
:
d
o
c
u
m
ent how to inspect
s
ets and relation
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
V
erdoolaege
e
xport isl_ma
p
_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdo
o
l
a
e
ge
isl_constrain
t
_div: m
a
ke s
u
re
requested
div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
lae
g
e
doc
:
dro
p
d
o
cumentation of _
d
ump
f
unction
s
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ve
r
doolaege
isl_
m
ap_
p
rint: imp
r
ove outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
add is
l
_basic_m
a
p_foreac
h
_co
n
str
a
int
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdool
a
ege
isl_m
a
p_co
a
les
c
e: h
a
ndle more
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
pri
v
ately e
x
p
ort isl_set
_
wra
p
_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_convex_hull
.
c: wrap_facet: all
o
w unbounded
facets
.
.
.
commit
|
commitdiff
|
tree
next