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
add isl_mat_insert_cols
2010-03-09
Sven Verdoolaege
add isl_
m
at
_
insert_c
o
ls
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
d
o
olaege
ad
d
i
sl_pw_qpolynomi
a
l_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw
_
qpolynomial_for
e
ach_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qp
o
lyn
o
mia
l
_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_div_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
i
s
l_stre
a
m: al
l
ow "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
isl_stream:
a
ccept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
is
l
_map_r
e
ad: accep
t
'
*
' in aff
i
ne expres
s
ions
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
isl_qpol
y
nomial_
e
val: use
c
onsistent dim
e
n
s
i
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdo
o
laeg
e
doc: upd
a
te to removal o
f
piplib as a su
b
modul
e
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoo
l
aege
isl_stream_read_obj: add suppor
t
for r
e
ading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaeg
e
a
dd
isl
_
s
tream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
add ge
n
eric isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolae
g
e
ad
d
support for
(
p
i
ecewise) qua
s
ipolynomial
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl
_
ma
p
_m
o
ve
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stre
a
m: par
s
e Na
N
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_st
r
eam: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
export isl_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
s
tream: allow use
r
spe
c
ifi
e
d key
w
ords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_stream: add some
aux
i
l
iary functio
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: read "definit
i
on" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
d
oolaege
privately export isl_set
_
contains_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_se
t
_count
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdo
o
laege
add isl_se
t
_sa
m
ple_point
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdool
a
e
g
e
add isl
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_basic_set_scan: make su
r
e sufficient rows are alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
isl_map_subtract: o
n
l
y
a
dd divs
when
n
eede
d
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdo
o
l
a
ege
add isl_map_orde
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
extract isl_tab_
a
dd_div
f
rom isl_ta
b
_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_vec
.
c: fix minor whitespa
c
e issue
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
dool
a
eg
e
a
d
d i
s
l_set_comple
m
ent
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erd
o
ola
e
g
e
export
isl_
m
ap_m
a
k
e_disj
o
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ol
a
ege
add isl_hash_ta
b
le_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_map_print: e
x
t
r
ac
t
out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdo
o
laege
add
isl_set_f
a
st_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_input
.
c: accept_affine: fix me
m
ory
lea
k
o
n err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_m
a
p
_
int
e
rsect: detect empty
r
e
s
u
l
t also i
n
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laege
isl_ma
p
_r
e
ad
:
ski
p
until
th
e
end
of the l
a
s
t
line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_stream_next_t
o
ken
_
on_same_li
n
e: check if last t
o
ken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_se
t
_wr
a
p_facet: make sure set is
mar
k
e
d
rationa
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
i
sl_co
a
les
c
e
.
c:
fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
V
erdoolaege
isl_ma
p
_
r
ead:
a
ccept
l
ist of predicat
e
d
elements
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ver
d
o
o
laeg
e
i
s
l_
m
ap_re
a
d: extract o
u
t p
a
rsing of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
r
do
o
laege
i
sl_map_rea
d
: add
d
ummy
var
i
ab
l
e n
a
me for unnamed variab
l
es
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Ver
d
o
o
l
aege
isl_stream: accept ";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
use -O1 opti
m
ization level
for
g
cc
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
drop com
m
a at th
e
end of e
n
umerations i
n
include
f
i
les
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: ac
c
ep
t
affine
c
om
b
ination
s
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
l
a
e
g
e
i
s
l_map_read:
c
onst
r
u
c
t bas
i
c m
a
p
while re
a
ding variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_print: add primes
t
o dup
l
i
c
a
te names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
ola
e
ge
i
s
l_map_
t
r
a
n
sitive_c
l
o
s
ure:
i
mprove
a
ccuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_tr
a
nsi
t
ive_closure: perf
o
rm e
x
actness
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
o
olaeg
e
i
sl
_
map
_
tra
n
si
t
iv
e
_closur
e
:
reformu
l
ate e
x
a
ctness t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
ol
a
ege
a
dd
a
tra
n
sitive clo
s
ure examp
l
e fr
o
m
t
he Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n V
e
r
d
oolaeg
e
isl_map_transitive_closure: compute powe
r
on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoola
e
g
e
isl_map_transitive_closure: intersect with
doma
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
i
s
l_map_tra
n
s
itiv
e
_clo
s
ure: e
x
trac
t
out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdool
a
ege
isl_map_tran
s
it
i
ve
_
closure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
d
o
olaege
add
i
sl
_
set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
ven V
e
r
d
ool
a
ege
isl_map_pr
i
nt: use c
o
n
sis
t
ent names on all dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoola
e
g
e
i
s
l_cat:
a
llow speci
f
ication of output
format o
n
comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_pr
i
nt: support ISL_FORMA
T
_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolae
g
e
isl_map_coalesce: fix
some
regressi
o
ns in
t
ro
d
uced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
add isl_closure test appli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdool
a
ege
add tra
n
sitive c
l
osure e
x
ample
fro
m
Ke
l
l
y's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
laege
is
l
_
ma
p
_t
r
ansiti
v
e_closure: c
o
nstruct
g
ener
a
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verd
o
olaeg
e
isl_map_t
r
an
s
itive_c
l
osure: prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoo
l
aege
isl_map_transitive_clos
u
re: constr
u
ct paths that ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_transitive_closure: extrac
t
out construction
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_
t
ransiti
v
e_closure: use more generic acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoolaege
isl_map_pr
i
nt: add pare
n
theses a
r
o
u
nd disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoola
e
g
e
i
sl_hash_
t
a
b
le: use
siz
e
that corresponds to the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdo
o
laege
isl_hash
_
table: grow table when we run out of ent
r
i
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
aege
isl_map_coales
c
e: only us
e
non-redund
a
nt const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verd
o
olaege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Ve
r
doolaege
isl
_
map_re
a
d: ac
c
ept chains
o
f com
p
arisons
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdo
o
l
a
e
g
e
export isl_map
_
align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oolaege
isl_ma
p
_read: forge
t
existentially quanti
f
ied
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
rdoolaege
isl_
i
nput
.
c:
r
emove needless indirecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
doc
:
docume
n
t how to ins
p
ect sets an
d
relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
isl_constra
i
nt_div: mak
e
sure re
q
u
e
ste
d
d
iv is
a known d
i
v
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdoolaege
doc: drop
d
ocu
m
enta
t
ion
o
f _du
m
p fun
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolaeg
e
a
d
d
isl_basi
c
_map_fo
r
e
a
ch_constraint
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaeg
e
isl_map
_
coalesce: handle mo
r
e c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolae
g
e
privately export isl_set_w
r
a
p
_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
convex_hull
.
c: wrap_facet
:
all
o
w
u
nboun
d
ed facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
doc: i
m
prove decription of
i
s
l_
m
ap_transi
t
i
v
e_clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_map_tr
a
nsitive_c
l
osure: improve tes
t
for e
x
actness
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaeg
e
add a counter example
f
or T
h
eorem 1 o
f
the COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
ege
add is
l
_
m
a
p_
l
ower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
i
sl
_
map_power: coalesc
e
domain
and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
oo
l
a
ege
i
s
l_flow
.
c: add missing isl
_
a
c
c
e
s
s_info_free r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdo
o
laege
i
s
l_coalesce
.
c: fix
typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include/
i
sl_in
t
.
h: argument of mp
_
get_mem
o
ry_function
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
i
sl_map_
r
ead: accept
lists of affine exp
r
es
s
i
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdo
o
laege
a
d
d isl_mat_fro
m
_
r
o
w
_ve
c
and isl_
m
at_vec_co
n
c
at
commit
|
commitdiff
|
tree
next