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_point
2010-03-04
Sven V
e
rdoolaege
add isl_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_
b
a
s
i
c
_
set_scan: mak
e
sur
e
sufficien
t
rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
map_subtract: on
l
y
a
dd d
i
vs wh
e
n
needed
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
e
rdoolaege
add isl_map_order
_
divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
extract isl_tab_add
_
d
i
v
f
r
om
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
isl_vec
.
c
:
f
ix minor white
s
pace issue
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
a
d
d isl_s
e
t_compleme
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
e
xport isl_map_make_di
s
joint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
i
s
l
_ha
s
h
_table_fore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
oolaege
isl_map_
p
rint:
e
xtract
o
u
t print_di
s
junct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
ad
d
isl_set_fast_is
_
univer
s
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl
_
input
.
c: acc
e
pt
_
affine: fix m
e
m
o
ry leak
on
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
is
l
_
map_intersect: detect
e
mpty res
u
lt also in c
a
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_read: sk
i
p until
th
e
end of
the l
a
st li
n
e when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stream_
n
ext_
t
ok
e
n_
o
n_same_line: check
i
f
l
ast token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_set_wr
a
p_fa
c
et: make sure set is mar
k
ed ra
t
ional
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Ver
d
oola
e
ge
i
s
l_coalesce
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_re
a
d: a
c
cept list o
f
p
redica
t
ed
e
leme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
i
s
l
_
map_read: e
x
tr
a
c
t
o
ut
pa
r
sin
g
of map bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
e
rdoo
l
aege
i
s
l_map_read:
add du
m
my v
a
ri
a
ble
name for
unn
a
med variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
o
o
l
a
eg
e
isl_stre
a
m: accept "
;
" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O1 optimization l
e
vel for
g
c
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
d
rop comm
a
at the end
of enumerations in inc
l
ud
e
files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_rea
d
: accept affine co
m
binati
o
ns o
f
e
arlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map_re
a
d: constru
c
t basi
c
map whi
l
e readin
g
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
i
sl_map_print:
add primes to d
u
plicate n
a
mes
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
is
l
_
map_transitive_clos
u
r
e
:
i
mprove accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ve
r
d
oolaege
isl
_
m
ap
_
transitive_closu
r
e: pe
r
fo
r
m exact
n
ess check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_ma
p
_
t
ra
n
sitive_clo
s
u
re: reformulate
e
xactn
e
s
s
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ve
r
doolaege
add a
tra
n
sitive c
l
os
u
re exa
m
pl
e
from
the Omega t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
ol
a
eg
e
isl_m
a
p_t
r
ansitive_closure: compute pow
e
r
o
n strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_m
a
p
_transitive
_
closure: intersect w
i
th doma
i
n a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
t
r
ansitive_closure: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_transit
i
ve_
c
losure:
m
o
v
e
a
cyclicit
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
add isl_set_lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
do
o
laeg
e
isl
_
map_
p
rint: use consis
t
ent names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolaege
isl_cat: allow sp
e
cificati
o
n of output
f
o
r
m
a
t on c
o
mm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaeg
e
isl_map_prin
t
:
support
ISL_FO
R
M
A
T_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
i
sl_m
a
p_coalesce: fix so
m
e regressions
i
n
troduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolae
g
e
add isl_closu
r
e
t
e
st applic
a
t
ion
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doola
e
ge
add t
r
a
nsitive closu
r
e example from K
e
lly's 199
6
pape
r
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaeg
e
i
sl_
m
ap_trans
i
tive_closure:
c
o
nstru
c
t gener
a
l pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoolaeg
e
i
s
l
_map_tr
a
nsitive_closure
:
prepare f
o
r
t
he construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
doolaege
isl_map
_
transitive_closu
r
e: c
o
nstruct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoola
e
ge
isl_tran
s
it
i
ve_closure: extract ou
t
cons
t
ru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
doola
e
ge
isl_map_
t
ra
n
sitive_closur
e
: use
m
ore
g
e
n
eric
acycl
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_print: add parentheses a
r
o
u
n
d
di
s
juncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_hash_table:
u
s
e
size tha
t
corresponds
to the num
b
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_hash_tab
l
e: gro
w
table when we run ou
t
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
is
l
_map_
c
oalesc
e
: on
l
y
u
se no
n
-redunda
n
t
c
onstr
a
int
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoola
e
ge
add
i
s
l_set_fi
x
_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
is
l
_map_read:
a
cce
p
t
chains o
f
comparison
s
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
V
e
r
d
oo
l
aege
e
x
p
o
r
t
isl_map_ali
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoola
e
ge
isl_m
a
p_read:
f
orget ex
i
st
e
ntially quanti
f
ied var
i
abl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
eg
e
i
s
l
_i
n
put
.
c: re
m
ove n
e
edless indirect
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
e
g
e
doc:
d
ocument
how
t
o inspe
c
t s
e
t
s
and re
l
at
i
on
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
exp
o
rt
i
sl_map_comp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
isl
_
constraint_div: make sure requested div i
s
a know
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
doc: drop documentation of _dum
p
functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Ve
r
doolaege
isl
_
map_print: improve outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdo
o
laege
add
i
sl_basic_map
_
f
oreach_cons
t
raint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
laege
isl_map_coalesce: handle mo
r
e case
s
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
privately export
isl
_
set_wrap_
f
a
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_convex_hu
l
l
.
c:
w
ra
p
_fa
c
e
t
: allow un
b
oun
d
ed facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olae
g
e
d
oc:
i
m
p
rov
e
dec
r
iptio
n
of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
laege
i
s
l_map_tra
n
sitive_closu
r
e: improve test for exac
t
ne
s
s
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ver
d
oolaege
ad
d
a
co
u
nter exam
p
le fo
r
Theor
e
m 1 of the COC
O
A paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
a
dd
isl_map_lower
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
d
o
olaeg
e
is
l
_map_
p
ower: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
olaege
isl_flow
.
c
:
add missing isl_ac
c
es
s
_info_f
r
ee return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
do
o
laege
i
sl_coalesc
e
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-07
Sv
e
n Ve
r
do
o
la
e
ge
i
n
clude/isl_int
.
h: argument of mp
_
get_memor
y
_functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_
m
ap_read: accep
t
lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
ola
e
ge
a
d
d i
s
l
_
m
a
t_from_row_ve
c
and is
l
_mat_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
olaege
isl_map_read: read extended polyl
i
b format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
add isl_
s
tream_nex
t
_token_on_s
a
m
e
_lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
ege
i
s
l_map_read: m
a
ke sure po
l
ylib co
n
straint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
do
o
la
e
ge
isl_{map,set
}
_dim: han
d
le NULL inpu
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_map_rea
d
:
use more
u
ni
f
orm
wa
y
of
r
eading in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verd
o
o
laege
isl_t
r
ansi
t
iv
e
_closu
r
e
.
c: f
i
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
isl_map_transitive_clos
u
re: use more relaxed exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add isl_map_
p
o
w
er
and
isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
e
ge
isl_map_subtra
c
t
.
c: make som
e
internal f
u
nction
s
static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdool
a
eg
e
add generic isl_
m
a
p_proj
e
ct_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
add
isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
rename isl_{map,set}_add t
o
i
s
l_{map
,
set}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
isl_set
_
project_ou
t
: alway
s
u
pdate dimension,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_dim_jo
i
n
:
don't requi
r
e nam
e
s of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
a
d
d isl_map_from
_
d
o
main_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: tr
e
at "-
"
as o
p
erat
o
r
rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
isl_ma
p
_
r
e
ad: acce
p
t
"
strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
olaege
isl_i
n
put
.
c: fi
x
mem
o
ry dealloc
a
tion
probl
e
m
o
n miss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add dependenc
e
ana
l
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
add isl
_
map_
{
partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
oola
e
ge
ad
d
priva
t
e isl_{set
,
ma
p
}_mak
e
_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdool
a
ege
ba
s
is_redu
c
tion_templ
.
c: f
i
x
typo in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
i
sl_tab_pip
.
c: fin
d
_solution
s
: bre
a
k
when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_equal: don't require n
a
mes
of
i
nput and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
i
sl_dim_map: properly duplicat
e
n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoo
l
aege
i
s
l_
d
i
m
_
d
r
op
:
prope
r
ly adj
u
st length
o
f
names arra
y
commit
|
commitdiff
|
tree
next