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_map_order_divs
2010-03-04
Sve
n
Verdoolaeg
e
add isl_map_
o
rder_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
extract isl_
t
ab_add
_
div from isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoo
l
aege
i
s
l_vec
.
c: f
i
x
m
inor whites
p
ace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
add isl_set_
c
omplement
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
export isl_map_
m
ake_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add isl
_
hash_table_
f
ore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
isl_map
_
p
r
int:
e
x
tract out print_disju
n
cts
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdo
o
laege
add isl_set
_
fast_is_
u
ni
v
erse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
e
ge
i
s
l_input
.
c:
a
c
cept_affin
e
: fix
memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_map_intersect: detect empty result a
l
s
o in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_map_read: skip until the
end of the last line w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
is
l
_str
e
am_next_toke
n
_on_
s
ame_line:
check if
l
ast token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
i
s
l_set_w
r
ap_facet: make sure s
e
t is marked
r
ational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_coalesc
e
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
ap_r
e
ad: ac
c
ep
t
list of predica
t
e
d
element
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_r
e
ad: ex
t
rac
t
ou
t
parsing o
f
map bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdool
a
ege
i
sl_map_read: add dummy va
r
iable name
fo
r
unn
a
med variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
o
l
a
e
g
e
isl_stream: a
c
ce
p
t ";"
t
o
k
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoo
l
aege
u
s
e -O
1
o
ptimiz
a
tion level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
drop
c
o
m
ma at t
h
e end of enum
e
rations in
i
n
clude fi
l
es
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verd
o
o
l
aege
i
s
l_map_re
a
d: accept affine
combinations of earl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
ool
a
eg
e
i
s
l_map_r
e
ad: construct basic map wh
i
l
e
r
eading va
r
i
able
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
is
l
_
map_
p
rint: add primes to duplica
t
e names
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_m
a
p_trans
i
tive_closu
r
e
: improve accurac
y
by
c
opyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
V
erdoola
e
ge
i
s
l_map_transitive_
c
losur
e
: perform ex
a
ctness
check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven
V
erdoolae
g
e
i
s
l_map_transitive_closure: reformulate exact
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
add a transitive clo
s
ure example from th
e
Om
e
ga
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdoolaege
isl_map_
t
ransit
i
ve_closur
e
: c
o
mpute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolae
g
e
isl_map_transitive_
c
losure: inte
r
sect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
i
sl_map_transitive_closure: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
a
e
ge
isl_
m
ap_transitive_closure:
move acyclicity
t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oo
l
aege
add i
s
l_set_lower
_
bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoola
e
ge
isl_map_print: use consi
s
tent
n
ames on a
l
l di
s
j
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laeg
e
isl_cat: allow
specificati
o
n of output forma
t
on c
o
mmand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
print:
sup
p
ort
ISL_F
O
RMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_coalesc
e
:
fix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
add
i
sl
_
c
l
o
sur
e
test applicat
i
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
ad
d
transitive closure exa
m
p
l
e from Kelly's 1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
i
sl_map_transit
i
ve_c
l
osure: constr
u
ct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
isl_
m
ap
_
transitive_closure: prepare for the
c
o
nstruc
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
s
l
_m
a
p_transitive_
c
losure: construct
p
aths th
a
t ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
olaege
isl_transitive_closure
:
ex
t
rac
t
out c
o
ns
t
ruction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_transitiv
e
_cl
o
sure:
u
se more ge
n
eric acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
isl_map_print: ad
d
parentheses aro
u
nd
dis
j
u
ncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_hash_table: use size that cor
r
esp
o
n
d
s
to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
isl_hash_tab
l
e: grow table
w
he
n
we
r
u
n out of ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_coa
l
esce: only use
non-re
d
u
n
dant
constraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven
V
erdoo
l
aege
a
d
d i
s
l_set
_
fi
x
_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoola
e
ge
isl_map_read: accept chains of co
m
pari
s
on
s
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verd
o
olaege
e
x
port isl_map
_
align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
is
l
_ma
p
_read: forget existentially
q
u
antified va
r
i
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoo
l
aege
i
sl_input
.
c: remove needl
e
ss indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
do
c
: do
c
ument how to
i
n
spect
s
ets and relations
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
e
r
doolaege
e
xpor
t
isl_map_com
p
ute
_
di
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
dool
a
e
ge
isl
_
constrain
t
_div: make su
r
e requested di
v
is
a
know
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdoolaege
doc: drop
docu
m
entation of _d
u
mp functi
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verd
o
olaege
isl_map_pr
i
nt: impro
v
e
output
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
erdoolae
g
e
a
d
d isl_basic_
m
ap_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verd
o
ol
a
ege
isl_map_coalesce:
h
a
nd
l
e more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
dool
a
e
g
e
privately exp
o
rt
i
sl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rd
o
olaege
isl_convex_hu
l
l
.
c: wrap
_
f
acet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc
:
improve decription of
isl_
m
a
p
_t
r
ansi
t
ive_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_
t
ransitive_closu
r
e: improve
test for exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ver
d
oo
l
aege
add a coun
t
e
r
example for Theore
m
1 o
f
the CO
C
OA pa
p
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
isl_map_
l
owe
r
_bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_map_power
:
coal
e
sce domai
n
an
d
range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
e
rdoola
e
g
e
isl_
f
lo
w
.
c
:
add mi
s
sing isl_acce
s
s_i
n
f
o_
f
ree
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_c
o
a
l
esce
.
c: fix t
y
po in com
m
en
t
commit
|
commitdiff
|
tree
2010-02-07
S
v
en Verdoolae
g
e
include/isl_int
.
h: argumen
t
o
f
m
p_
g
et
_
memor
y
_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoo
l
a
ege
isl_map_r
e
ad:
a
ccept lists of affine
e
xpression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdool
a
ege
add
i
sl_mat_f
r
om_row_ve
c
and isl_mat_vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
i
sl_map_read: read e
x
tended pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
ol
a
ege
ad
d
isl
_
stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_map_read: make sure polylib constra
i
nt coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl
_
{map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_ma
p
_r
e
ad: use
more
unif
o
rm
w
a
y of rea
d
ing in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoo
l
aege
isl
_
transitive_clos
u
re
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl
_
map_tra
n
si
t
ive_clos
u
r
e
: use more relaxed exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoola
e
ge
a
dd isl_map
_
power an
d
isl_map_transit
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doola
e
ge
isl_ma
p
_subtract
.
c: make some intern
a
l
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
l
ae
g
e
add
g
e
n
eric
i
s
l
_map_
p
roject
_
o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d
i
sl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
ren
a
me isl_{
m
ap,se
t
}_add to i
s
l_{map
,
s
e
t}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_set_project_out: alwa
y
s update dim
e
nsi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_dim_join: don't requ
i
re names
of j
o
ined
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
olaege
add isl_map_f
r
om_domain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
doolaege
isl_st
r
eam: treat "-" as oper
a
tor rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_m
a
p
_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdo
o
laege
i
sl_input
.
c: fix memory deal
l
ocat
i
on proble
m
o
n
missi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
o
l
aeg
e
add dependence analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdo
o
laege
add
i
sl_m
a
p_
{
pa
r
tial_,}le
x
opt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private is
l
_{set,m
a
p}_make_
d
is
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_
r
eduction_templ
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
isl_ta
b
_pip
.
c: find_solutions: break when context b
e
come
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdool
a
ege
isl_dim_e
q
ua
l
: don't req
u
ire names
o
f input an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_ma
p
: properly dupli
c
ate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolae
g
e
isl_dim_d
r
op: pro
p
e
rly adju
s
t length
o
f
n
ames array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on
i
ntegers
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc:
d
escri
b
e input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olae
g
e
d
oc: fix t
y
po
commit
|
commitdiff
|
tree
next