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_complement
2010-03-04
Sven Ver
d
o
olaege
a
d
d isl_set_compl
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
doolaeg
e
e
xpor
t
is
l
_
m
ap_make_dis
j
oint
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
add is
l
_hash_table_forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
m
a
p_print: extract out pri
n
t_dis
j
uncts
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaeg
e
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_input
.
c:
ac
c
ept_affine: fix memory leak
o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
isl_map_intersect: detect empty res
u
lt also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
laege
isl_map_read: skip until
the en
d
of the l
a
st li
n
e
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
i
s
l_strea
m
_next_toke
n
_on_same_line
:
check if last
t
oke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_set_wrap_f
a
cet: make sure s
e
t is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coalesce
.
c: fi
x
typo in
co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doo
l
aege
isl_map_read: accept list
of predic
a
ted elements
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdool
a
ege
isl_map_read: ex
t
ract
out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Ver
d
oolaege
isl_m
a
p_re
a
d: add dummy v
a
riable
n
ame for un
n
a
med variables
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verd
o
olaege
i
sl_st
r
eam: accept ";"
t
ok
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
use -O1
optimiz
a
tion level for
g
cc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
i
sl_map_read: accept af
f
ine combinat
i
ons
o
f earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaeg
e
isl_map_rea
d
: construct
bas
i
c map while reading vari
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a t
r
ansitive
c
losure e
x
ample fr
o
m the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Ve
r
doolaege
isl_map_transit
i
ve_clo
s
ure:
c
ompute
power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verd
o
olaege
isl_map_trans
i
tive_closure: in
t
ersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoola
e
ge
isl_map_transitive_closure: extrac
t
ou
t
cons
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaeg
e
isl
_
map_transit
i
ve_closure: move ac
y
clicity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdool
a
ege
i
sl_map_pri
n
t: u
s
e
c
onsistent
names o
n
all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_cat: allow speci
f
ication o
f
outp
u
t format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
i
s
l_
m
ap_
p
r
i
nt
:
support IS
L
_FORMAT_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coa
l
esce: f
i
x
some regressions i
n
troduce
d
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
laeg
e
add isl_closur
e
te
s
t appli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add tr
a
nsitive closure exa
m
ple from Kelly's 1
9
96
paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdool
a
ege
isl_ma
p
_trans
i
tive_closure: c
o
nstruct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_transit
i
ve_closu
r
e:
prepare fo
r
the
c
onst
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_
t
rans
i
t
ive_closure: construc
t
paths
t
hat
c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoo
l
aege
i
sl_
t
ransitive_closure: ext
r
act
out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_tr
a
nsit
i
ve_closure:
u
se more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdoolaege
isl_map_print: add
p
arenthese
s
ar
o
un
d
disjunct
s
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n V
e
rdoolaege
is
l
_
h
ash_table: u
s
e
siz
e
t
hat
c
orres
p
o
nds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oolaege
isl
_
hash_table: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdool
a
ege
isl_map_
c
oalesc
e
:
only us
e
non-redundant constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
oolaege
add isl_
s
et_
f
i
x
_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
i
sl
_
m
a
p_r
e
ad: a
c
cept chain
s
of compari
s
ons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
ege
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_read:
forg
e
t exi
s
tenti
a
lly quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaege
isl
_
in
p
ut
.
c: r
e
move needles
s
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
do
c
: document
h
ow to
inspect set
s
and r
e
lation
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
ex
p
ort isl_map_comp
u
te
_
d
i
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdo
o
lae
g
e
isl_constraint_div: make s
u
re
r
equeste
d
div is
a
known di
v
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaege
doc
:
dro
p
d
o
cumentation of
_
d
ump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
is
l
_
map_print:
impr
o
ve
output
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolae
g
e
add isl_ba
s
ic_map_
f
or
e
ach_
c
onstra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_co
a
lesc
e
: handle
more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
doolaege
privately export
i
sl_se
t
_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_
c
onvex_hul
l
.
c: wrap
_
fa
c
et: allow unbounded fa
c
et
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: impr
o
ve d
e
cript
i
on of
isl_map_tr
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
i
sl_map_transitive_closure
:
improve t
e
st for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
a
d
d a coun
t
er example for
T
heorem 1 of
t
he
COCOA
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add i
s
l_map_lower_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verdoolaege
isl_m
a
p_power:
coalesce doma
i
n an
d
range
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
i
sl
_
flo
w
.
c: add mis
s
ing isl
_
access_info_fr
e
e r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_coal
e
sce
.
c: fix typo in
comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
a
ege
isl_
m
ap_read: accept lists of
a
ffine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
d
o
olaege
add isl_mat
_
from_
r
ow_vec and isl_mat
_
v
ec_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
is
l
_
m
a
p
_r
e
a
d: read
extended
po
l
ylib
format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_next_token_on_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map_read: make sure polylib constraint
c
oefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl
_
{map,set}_dim:
handle NUL
L
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read:
u
se m
o
re uni
f
o
r
m way of readi
n
g
i
n polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c
: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rdoolaege
isl_
m
a
p_tra
n
sitive_closure: use
m
ore rela
x
ed ex
a
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoola
e
ge
add isl_map_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaeg
e
i
s
l_map_subtract
.
c: make s
o
me
i
nternal
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add ge
n
er
i
c
is
l
_map_pro
j
ect_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
add isl_{ma
p
,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
rename isl_{map
,
set}_add to isl_{map,set}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_set_project_ou
t
: always u
p
date
d
i
m
ension,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_join: don't requi
r
e na
m
es
of joined va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
add isl_map_from
_
do
m
ain
_
a
n
d_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
l
a
ege
i
s
l_stream: trea
t
"-" as
o
perator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_ma
p
_r
e
ad:
a
ccept
"strict" inequalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaeg
e
isl_input
.
c: fi
x
memor
y
de
a
l
l
oca
t
ion p
r
oblem o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add d
e
p
e
n
d
enc
e
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_
m
a
p_{partia
l
_,}l
e
xopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d
private isl_
{
se
t
,m
a
p}_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
o
laege
basis_re
d
uction_templ
.
c:
f
i
x
t
ypo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
doolaege
i
sl_tab_pip
.
c
:
f
i
nd_solution
s
: break wh
e
n context becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_di
m
_
equal: don't require
n
ames of
input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
i
s
l_dim_m
a
p: properly duplicate
n
ames
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop
:
properly adjust length of na
m
es array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
doc: a bit more on intege
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
d
escribe inp
u
t/outpu
t
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
doc:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolae
g
e
add isl_cat test app
l
ic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
add omega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaeg
e
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_t
e
st: use i
s
l_se
t
_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
ool
a
e
g
e
add isl_set_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oolaege
a
d
d isl_
m
ap_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
isl_ma
p
_read_fr
o
m_file:
a
llo
w
unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_ma
p
_read
:
read
d
e
fin
i
ti
o
n
s
of existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
ge
privately ex
p
ort isl_b
a
sic_map_
a
dd_d
i
v
_
constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_b
a
sic_map_
r
ead: read affine constrain
t
as two
affine
.
.
.
commit
|
commitdiff
|
tree
next