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_map_read: accept affine combinations of earlier variables in variable tuples
2010-02-18
Sven Verdool
a
e
ge
isl_map_read: accept affine
c
ombinations of
e
arl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven
V
erdoolaege
isl_map_read:
con
s
truct basic
m
ap whi
l
e readi
n
g variabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
ool
a
ege
isl_ma
p
_print: add primes to dupli
c
ate
n
ames
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verd
o
olaege
isl_map
_
transitive_closure: i
n
t
ersect with
d
o
m
ain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oo
l
aege
i
s
l
_map_transitive_closur
e
:
extr
a
ct
o
ut con
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verd
o
olaege
isl_map_tr
a
nsitive
_
closure:
move acyclici
t
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
add isl_set_lo
w
er_
b
ou
n
d_
s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_map_print: use consist
e
n
t names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ca
t
: allow specification of ou
t
p
u
t
format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_m
a
p_print: suppor
t
ISL_FORMAT_POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_m
a
p_coalesce: f
i
x some regressions int
r
oduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verd
o
o
l
aege
add isl_
c
losure test appl
i
cati
o
n
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
a
d
d transitive closure e
x
amp
l
e from
Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_tra
n
s
itive_closur
e
: construct genera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_ma
p
_
tr
a
n
sitive
_
closure: prepa
r
e for
t
he c
o
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
s
l_map_tra
n
sitive_closure: construct p
a
ths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
doolaege
isl_transitive_c
l
osure: e
x
tract o
u
t
cons
t
ruction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
is
l
_
m
ap_transitive_closure:
u
se more g
e
neric acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_map_pri
n
t: add parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_h
a
sh_table:
use size that corresponds to the nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
h
ash_table
:
grow table when we run
o
ut
o
f
entries
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
i
s
l
_map_coalesce: only
use non-r
e
dundant cons
t
r
a
in
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoo
l
aege
a
d
d
isl_set_fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoo
l
aege
isl
_
ma
p
_
r
e
a
d
:
a
c
c
e
p
t
c
h
a
ins of
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erd
o
olaege
export isl_map_ali
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdool
a
ege
i
sl_map_read:
f
orget existentially
q
u
a
ntified va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
ae
g
e
isl_input
.
c: remove needless ind
i
rection
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoola
e
ge
doc: docu
m
ent
h
o
w
t
o
inspect
s
ets
and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
e
x
port isl_map_com
p
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdo
o
la
e
g
e
is
l
_
c
o
n
s
t
rain
t
_div: ma
k
e sure requested
d
iv is a
k
n
o
wn
div
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaeg
e
doc: drop documentation o
f
_dump functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Ve
r
doola
e
ge
is
l
_map_pri
n
t: i
m
p
ro
v
e output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
a
d
d
i
sl
_
bas
i
c_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_coalesce: h
a
ndle more ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
g
e
p
r
i
vately expo
r
t isl_set_wrap_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
laege
isl_convex_hul
l
.
c: w
r
a
p
_facet:
a
l
l
o
w u
n
bounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
o
olaege
doc: improve
d
ecription
of i
s
l_map_t
r
ansitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en V
e
rd
o
olaege
i
s
l
_
m
a
p_transitive_closure:
i
mprove test for exactnes
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaeg
e
add a
counter examp
l
e for Theorem 1 of the COCOA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdo
o
la
e
ge
a
dd isl_map_
l
ower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaeg
e
isl_map_power: coalesce do
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
o
olaege
isl
_
flow
.
c: add
missing isl_access_info_fre
e
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Ver
d
o
o
laege
isl_coalesce
.
c: fi
x
typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
sl_map_read: acce
p
t
l
ists of affine expressi
o
n
s in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
i
sl_mat_fr
o
m_row_vec and
i
s
l
_mat_vec_c
o
nca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map_read: read
e
xtended po
l
ylib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add is
l
_stream_next_token_on_s
a
me_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map_read: make
s
ure pol
y
lib constraint coeff
i
cie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_{map,se
t
}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
i
s
l
_
map_read: use more uniform way of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transitive
_
closu
r
e
.
c: fix ty
p
o in
comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_m
a
p_t
r
a
n
sitive
_
closure:
u
se more re
l
axe
d
exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
d
oola
e
g
e
a
d
d isl_m
a
p_powe
r
a
nd isl_map_tra
n
sit
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoola
e
ge
i
s
l_map_subtract
.
c:
ma
k
e
s
ome intern
a
l functions static
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolae
g
e
add generi
c
isl_map_project_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oolaege
add isl
_
{
m
a
p
,
s
et}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
rename isl_{map,set}_add to isl_
{
map,se
t
}_add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolaege
is
l
_set_proje
c
t_out: alw
a
ys u
p
date dimension, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ve
r
doolaege
isl_dim_join: d
o
n't require names of
joined
var
i
abl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add isl
_
map_from_do
m
ain_and_ra
n
ge
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
i
s
l
_stream: treat "-" as oper
a
t
or rather than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaeg
e
isl_map
_
rea
d
: accept "st
r
ic
t
" ine
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c
: fix
m
emory deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
a
dd dependence analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaeg
e
add isl_map_
{
partial_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,map}_
m
ak
e
_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_red
u
ction_templ
.
c:
fix
typo in
c
ommen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l_
t
ab_pip
.
c: find_solu
t
i
o
ns:
b
reak when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
isl
_
dim_equal: don't re
q
uire names o
f
inp
u
t and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdo
o
laege
isl_dim_map:
p
rop
e
rly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Verdoo
l
aege
is
l
_
dim
_
drop: properly
a
dju
s
t lengt
h
of
n
a
m
es array
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: a
b
it m
o
re on
integers
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ve
r
doolaege
doc: describe
i
nput/
o
utpu
t
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
a
d
d isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
a
d
d omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolae
g
e
isl_test
:
use isl_set_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl_set_r
e
a
d
_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
olaege
add isl_m
a
p
_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_map_read_from_fi
l
e: al
l
ow unions
i
n i
s
l
for
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_
m
a
p
_re
a
d: re
a
d defi
n
itions of exis
t
e
n
tial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
privately expor
t
isl_basic_map_
a
dd_
d
iv_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
isl_bas
i
c_map_rea
d
: read affine co
n
straint
a
s
t
wo aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_in
p
ut
.
c
: opt
i
o
nall
y
read
p
arameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaeg
e
t
okenizer
:
a
c
cept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
export i
s
l_map_read_from
_
f
ile
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
g
e
export i
s
l_bas
i
c
_map_read
_
f
rom
_
st
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rd
o
o
l
a
ege
drop
redund
a
nt input_format arg
u
ment
from r
e
ading func
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl_input
.
c: merge fun
c
tions
for r
e
adi
n
g Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_input_omega
.
c:
ac
c
ept PolyLi
b
i
n
put
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
ut_omega
.
c: pr
e
pare for readin
g
para
m
etric
u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
laege
isl_input_omega
.
c: final
i
z
e
an
d
simpli
f
y resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
inp
u
t_omega
.
c
:
fix che
c
k for memory alloca
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_nex
t
_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n V
e
rdoolaeg
e
isl
_
tab_basic_map_partial_lexopt: pro
p
er
l
y handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Ve
r
d
oolae
g
e
isl_
b
asic_map_set_to_empty: remove sample (if
a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
add isl_
s
e
t_fast_is_empt
y
commit
|
commitdiff
|
tree
2010-01-13
S
v
en Verd
o
ola
e
g
e
properly remove pi
p
lib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ver
d
oolaege
isl_basi
c
_map_update_fro
m
_
t
ab:
r
e
-
gaus
s
r
esulti
n
g bma
p
commit
|
commitdiff
|
tree
next