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_set_count
2010-03-04
S
v
en Verd
o
olaege
add i
s
l_set_count
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoo
l
aege
ad
d
isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
ad
d
isl_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
isl_basic_s
e
t_scan:
make
s
u
r
e sufficient ro
w
s
a
r
e alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
i
sl_map_subt
r
act: only add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
add isl_map_order_
d
ivs
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoolaege
e
x
tract isl_tab_add_div
f
r
om isl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_vec
.
c
: fix minor whitesp
a
ce
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
g
e
add
isl_set_comple
m
ent
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
export isl_map
_
m
a
ke_di
s
j
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d
isl_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_
m
ap_print: ext
r
a
c
t out print_d
i
sjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl_set_fast_is
_
universe
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
g
e
isl_input
.
c
:
accep
t
_affine: fix memory leak on er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_intersect: detect empty resu
l
t also
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
i
sl_map_r
e
ad: ski
p
until the end of the last line wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoo
l
ae
g
e
isl_
s
tre
a
m_next_to
k
en_on_same_li
n
e: check if
l
ast token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
isl_set_
w
rap_facet:
ma
k
e
s
ure
s
et is
marked rat
i
on
a
l
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Ver
d
o
o
l
a
ege
isl_coalesce
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
i
sl_map_r
e
a
d: accept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaeg
e
is
l
_map_
r
ead:
e
xtract
o
u
t parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
isl_map_read: add dummy
v
ariable name for unnamed variable
s
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdool
a
ege
isl_
s
tream: a
c
cept ";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
use -O1 optimization level for gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
drop c
o
mma a
t
t
he
e
n
d of enumerations in inc
l
ude
f
iles
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verd
o
olaege
isl_map_read: accept affine combinat
i
ons of ear
l
i
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_rea
d
: construct basic ma
p
whi
l
e re
a
di
n
g variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_print: add
p
r
imes to du
p
l
ic
a
te
n
a
m
es
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map
_
tr
a
nsitive
_
c
l
osur
e
:
improve acc
u
racy by
c
opyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
ool
a
ege
isl_map_transiti
v
e_closure: per
f
orm exactn
e
ss
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_t
r
ansitive
_
cl
o
sure: refor
m
ulate
e
x
a
ctness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Verdoolaege
add a transitive
closu
r
e
ex
a
mpl
e
from the O
m
eg
a
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_m
a
p
_
transitive_closure: compute power on str
o
ngly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
isl_map_t
r
ansitive_clos
u
re: in
t
e
r
s
ect wi
t
h domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l
_map_trans
i
tive_c
l
osure:
e
xtract out const
r
u
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
eg
e
isl_m
a
p_transitive_
c
losure:
move acycl
i
city
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
r
d
o
olaeg
e
add isl_se
t
_lower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_print: use c
o
nsistent names on a
l
l dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoo
l
aege
i
s
l
_cat: all
o
w
s
peci
f
ication of output format on c
o
m
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laege
isl_ma
p
_print: su
p
p
ort ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_coalesce:
fix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
add isl_clos
u
re
t
est application
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
add tr
a
nsitive
closure
exampl
e
from Kelly
'
s 1
9
96 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Ve
r
doolaeg
e
i
sl_map_
t
rans
i
t
ive_
c
los
u
r
e: con
s
truct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
i
s
l
_map_
t
ra
n
sitive_closure: p
r
e
p
are for the c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
e
rdoola
e
ge
i
s
l
_map_t
r
a
nsi
t
ive
_
clos
u
re: construct paths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
ae
g
e
isl_transitiv
e
_closu
r
e
: extr
a
ct out c
o
n
s
t
r
uction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl
_
m
ap_trans
i
t
ive_clo
s
ure: use more generic acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
la
e
ge
isl_map_print: add pa
r
entheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: use size that c
o
rres
p
onds to the nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
erdool
a
ege
isl_has
h
_
t
able: grow tabl
e
when we
r
u
n out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoola
e
g
e
isl_map_coalesc
e
:
o
nly us
e
non-redundant cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdo
o
laege
add isl
_
s
e
t
_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolaege
isl_map_r
e
ad:
a
cc
e
p
t
c
hains of c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ver
d
oolaege
export isl_
m
ap_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
i
s
l_map
_
read: fo
r
get existentially
quantifie
d
variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c: remove nee
d
less indirect
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ve
r
doolaege
doc: doc
u
ment h
o
w
to inspect sets
a
nd r
e
lat
i
ons
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
e
x
port isl_map_compute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_
c
o
n
s
t
raint_div: make sure
r
eque
s
ted di
v
i
s a known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en V
e
r
d
o
olaege
doc: drop documentat
i
on o
f
_
d
u
mp
fu
n
ction
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
sl_map_print: i
m
prove
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
do
o
laege
add isl_basic_map_foreach
_
c
onstra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdoolaege
isl
_
m
a
p
_coa
l
esce: handle more ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
priva
t
ely
e
xport isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_convex_hull
.
c:
wrap_facet: allow un
b
o
u
n
d
ed fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
doc: improve decription of is
l
_map_tran
s
i
t
ive_c
l
o
sure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_tr
a
nsi
t
iv
e
_
closure:
i
m
p
r
ove t
e
st for
e
x
actn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter exam
p
le for
The
o
rem 1 of the COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
ad
d
isl_map_
l
ower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
is
l
_map_pow
e
r: coalesce domai
n
and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
dool
a
ege
isl_fl
o
w
.
c: ad
d
m
i
ssing is
l
_acce
s
s_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
erdoolaeg
e
isl_c
o
alesce
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
Sven Ve
r
doolaeg
e
include/isl_int
.
h: ar
g
um
e
n
t of mp_get_m
e
mory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
i
s
l_map_read: accep
t
lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
a
d
d i
s
l
_
m
at_from_r
o
w_v
e
c and isl_m
a
t_vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
is
l
_
map_rea
d
: read extended p
o
lylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
add isl_s
t
ream_
n
ext_to
k
en_on_same
_
l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdo
o
l
aege
isl_ma
p
_read: make sure poly
l
ib c
o
nstraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
{
map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoola
e
ge
isl_map_re
a
d: use more uniform wa
y
of rea
d
ing
in
p
o
ly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_tr
a
nsitive_closure
.
c
:
fix
t
ypo
in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
ege
isl_map_transitive_c
l
osure:
use more relaxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
add isl
_
map_power and isl_map_t
r
a
nsitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doo
l
aege
isl_map_su
b
tract
.
c
: make
s
ome
i
n
ternal f
u
ncti
o
ns stati
c
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
a
dd g
e
neri
c
is
l
_
m
ap_p
r
oject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l
_
{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
r
en
a
me
i
sl_{map,set}_add to is
l
_{m
a
p,set}
_
add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolaege
isl_se
t
_pro
j
ect_out
:
a
l
ways up
d
ate dimen
s
ion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_di
m
_join:
d
on't require names
o
f
jo
i
ned va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
olaege
add isl_
m
ap_fro
m
_do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
olaege
isl_stream: treat "-" as operator
r
a
t
her than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_map_read: acc
e
pt "str
i
ct" i
n
equaliti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolae
g
e
isl_input
.
c: fi
x
mem
o
ry deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaeg
e
add de
p
endence analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add
i
sl_
m
ap_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
olaege
ad
d
private is
l
_{set,map}_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doola
e
ge
basis_reduction_templ
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_t
a
b_pip
.
c: find
_
solutions: break when context
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ve
r
doolaege
isl_dim_equal: d
o
n
't re
q
u
ire
n
am
e
s
o
f input and output
.
.
.
commit
|
commitdiff
|
tree
next