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 0.02
2010-03-10
S
ven
V
erdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
isl_pw_templ
.
c: copy
:
fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolae
g
e
isl_polyno
m
ial
.
c: qpolynomial_
f
old_alloc: fix up co
n
dition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
pd
a
te AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
isl_pip:
use is
l
_set_
p
rint instead of
i
sl_se
t
_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add s
o
me pip tests from the pip
l
ib dis
t
ribution
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolae
g
e
don't
print
n
ewline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use typed
e
f
to
e
n
s
u
re arg
u
ment to mp_g
e
t_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_obj_p
w
_qpolynomial_fol
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l
_
pw_
q
polynomial_fold_ev
a
l
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
s
l
_pw_qpoly
n
omial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_p
w
_qpolynomial_foreach_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
ad
d
isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_se
t
_from_p
o
in
t
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_mat_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
laege
add
i
sl
_
pw_
q
polynom
i
al_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_
q
polynomial_foreach_piece
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
isl
_
d
i
v_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
do
o
l
a
ege
i
s
l_stream:
allow "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
i
s
l_str
e
am: accept "@" t
o
ken
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_ma
p
_
r
ead:
a
c
cept
'*'
in affine
expressi
o
ns
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
i
sl_qpolynomial_ev
a
l: use
c
onsis
t
en
t
dimen
s
ion fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
lae
g
e
doc: upda
t
e to removal of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verd
o
olaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verd
o
ol
a
ege
i
s
l_stream_read_
o
bj:
add support
f
or readi
n
g piecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add
i
sl_stre
a
m
_
r
ead_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
ad
d
g
e
neric isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
lae
g
e
add support for
(piece
w
i
se) q
u
a
s
ipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolae
g
e
isl_str
e
am: pars
e
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_stream
:
p
a
rse i
n
fty
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolae
g
e
expor
t
isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_stream:
allow use
r
specified
k
eywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_strea
m
: add some
a
u
xili
a
ry functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
i
s
l_stream: read "definition" token
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add
i
sl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
privately
e
x
port
i
sl_
s
et_contains_p
o
in
t
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
ola
e
ge
a
dd
i
s
l_s
e
t_
c
o
unt
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
a
d
d isl
_
set_sample_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdool
a
ege
add isl_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_basi
c
_set_s
c
a
n
: make s
u
re sufficien
t
rows
a
r
e al
l
ocate
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolae
g
e
isl_map
_
sub
t
r
act:
onl
y
ad
d
di
v
s
w
hen nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add is
l
_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
oolaege
ex
t
ract isl_tab_
a
dd_d
i
v from isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
e
r
doolae
g
e
isl_
v
ec
.
c: fix
m
inor whitesp
a
ce
issue
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
r
d
o
olaeg
e
ad
d
isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
export isl_map
_
make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
add
isl_hash_ta
b
l
e_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
i
sl_map_print:
e
xtract out pr
i
nt_disjunc
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoola
e
ge
a
d
d i
s
l
_
s
et
_
f
a
s
t
_is_universe
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
i
s
l
_in
p
ut
.
c:
a
ccept_affine:
fix memory
l
eak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oolaege
isl_map
_
in
t
ersect
:
detect emp
t
y result
also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
isl
_
ma
p
_re
a
d:
s
k
i
p
unti
l
the end o
f
th
e
last line whe
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
eg
e
i
s
l_stream_ne
x
t_token_on_sa
m
e_line: check if last
t
oken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
dool
a
ege
isl_set_
w
rap
_
f
a
cet: make sure set
i
s marked
rationa
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coa
l
esce
.
c: fix
t
yp
o
in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_map_read: accept list of predicated elemen
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Ve
r
doo
l
aege
isl_ma
p
_r
e
ad: ex
t
ract
o
ut parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
i
s
l_
m
ap_r
e
ad: add dummy variable n
a
me
for unnam
e
d variables
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ve
r
doo
l
aege
is
l
_s
t
re
a
m: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Ve
r
doolaege
use -O1 optimizat
i
on level fo
r
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_m
a
p
_
read: accept af
f
ine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_re
a
d: c
o
nstru
c
t
basic map whi
l
e re
a
ding
v
ariabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolae
g
e
isl
_
map_print: add prim
e
s
to duplica
t
e names
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdool
a
ege
i
s
l
_
map_
t
ransiti
v
e_closure: intersect with domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_map
_
tra
n
sitive_
c
losure: e
x
tract out cons
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
isl_map_tran
s
it
i
ve_c
l
osure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laeg
e
add
i
sl_
s
et_lower
_
bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaeg
e
i
s
l_map_pr
i
nt: use c
o
nsistent names
on al
l
d
isju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_cat: allow specif
i
catio
n
o
f
o
utput forma
t
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
map_print:
s
upport ISL_
F
ORMAT
_
P
O
LYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Ver
d
oo
l
aege
isl_map_coalesce: fix some
regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
add isl_
c
lo
s
u
r
e te
s
t applica
t
ion
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
a
dd tran
s
itive
c
l
o
sur
e
e
x
amp
l
e f
r
om Kelly'
s
1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_m
a
p_transitive
_
closure: cons
t
ruc
t
general p
a
ths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_map
_
t
r
ansitive_clo
s
ure: prepare for the c
o
nstructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaeg
e
isl_m
a
p_transitive_closure: construct paths
t
hat can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitiv
e
_closu
r
e: extract
o
ut
construc
t
i
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transi
t
ive_c
l
osure: use mo
r
e generic
a
c
y
cli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_pr
i
n
t: add
p
ar
e
nthese
s
around d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
isl
_
h
ash_table: use size that corresp
o
n
d
s
t
o the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_hash_
t
abl
e
:
g
r
ow table when w
e
run out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_
m
ap_coalesce
:
only us
e
non-redundant cons
t
r
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
e
n Verd
o
olaeg
e
a
d
d isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolaege
is
l
_m
a
p
_
read: accept chains o
f
co
m
par
i
sons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ver
d
o
o
l
aege
e
x
port
i
sl_map_ali
g
n_div
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
dool
a
ege
isl_map_read: forget
e
x
i
stentially quantified va
r
i
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
ool
a
ege
isl_input
.
c: remove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolae
g
e
doc: docu
m
ent how
t
o inspect s
e
ts a
n
d
relation
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ver
d
oolaege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdoolaeg
e
isl_
c
onstrai
n
t_div: m
a
ke
s
ure
r
equested
d
i
v is a
k
no
w
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: dr
o
p docume
n
tation
o
f _dump fu
n
ct
i
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
V
erdoolaege
isl_
m
ap_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
add isl
_
b
a
sic
_
map_fore
a
ch_
c
onst
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
ola
e
g
e
i
sl_map_coalesce: ha
n
dle
m
ore c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoola
e
ge
private
l
y ex
p
ort isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
isl_convex_h
u
ll
.
c: wra
p
_face
t
:
a
llow unbounded face
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
d
o
c: improve decription of is
l
_m
a
p_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_map_tra
n
sit
i
ve
_
closure: im
p
rove test for
e
xactness
commit
|
commitdiff
|
tree
next