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_stream_next_token_on_same_line: check if last token read was a newline
2010-03-04
Sven Verdoolaege
is
l
_stream_next_token_on_same_lin
e
: check if
last to
k
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_set_w
r
ap_facet: make su
r
e set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
i
s
l_coalesce
.
c: fi
x
typo
i
n comment
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n Verdoola
e
g
e
isl_
m
ap_re
a
d: a
c
cept list of predic
a
t
e
d elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
map_re
a
d: extract out parsing
o
f
m
a
p bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdo
o
laege
isl_
m
ap_read
:
add
dummy varia
b
le
n
ame for unnam
e
d variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolae
g
e
isl_stream
:
accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
V
erdoolaege
u
s
e -O1 optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl
_
map_read
:
acce
p
t affine
c
ombinatio
n
s of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoola
e
ge
isl
_
map_read: construct basic map
w
hile reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
i
s
l_map
_
p
r
int:
a
dd primes to dupl
i
c
a
te names
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Verdoolaege
isl_map_
t
r
ansitive_clos
u
re: interse
c
t
with
d
omain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
e
rdoolaege
isl_map_transitive
_
cl
o
sur
e
: extract
out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map_
t
ransitive
_
clos
u
re: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
add i
s
l_set_lower_bo
u
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolaege
i
s
l_map_print: use consistent names on all
d
i
sjun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdo
o
l
a
ege
isl_cat: allow
specifi
c
atio
n
of output
f
o
rmat
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map_print
:
support ISL_FORMAT_PO
L
YLI
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
is
l
_m
a
p_coalesce: fix some regressions
intro
d
uce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
aege
add isl_clos
u
re test app
l
icati
o
n
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
add transitive closu
r
e example
fro
m
Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_tr
a
nsitive_closu
r
e: constru
c
t general
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_
t
ransitive_closure: prepare for the
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
e
r
do
o
l
a
ege
isl_map_tr
a
nsitive_c
l
osu
r
e: construc
t
path
s
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
e
rdo
o
l
a
ege
isl_transitive_closure: extract out con
s
t
r
uct
i
on of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolae
g
e
is
l
_map_transitive
_
c
l
osu
r
e: use more generic acyc
l
ici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_ma
p
_prin
t
: add parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oo
l
aege
isl_hash_table: use
s
ize th
a
t corr
e
sponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl
_
hash_
t
able: grow tab
l
e
when we run out of ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl
_
map_c
o
al
e
sce: o
n
ly u
s
e
non-redundan
t
c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n
V
erdoolaege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
i
s
l_map_read: accept
chain
s
o
f
comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaeg
e
e
xport isl_ma
p
_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Ve
r
doolaege
isl
_
map_re
a
d: forget existent
i
a
lly quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
isl_inpu
t
.
c: remove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: document how to inspect sets and r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
ex
p
ort isl_map
_
c
ompute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ve
r
d
o
olaege
isl
_
constra
i
nt_div
:
make sure
requested
d
iv is a k
n
own div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c
:
drop docume
n
tation of _
d
u
mp fu
n
c
t
i
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Ver
d
oolae
g
e
i
s
l_ma
p
_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaeg
e
add
isl_basic_map_foreach_constr
a
i
n
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolae
g
e
isl_map_coalesce: ha
n
dle
mo
r
e ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
p
rivately
e
xport isl_set_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl
_
c
onvex_hull
.
c: wrap_facet: allow
u
nbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
d
o
c: impro
v
e decription o
f
i
s
l_map_t
r
a
n
sitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_transitive_cl
o
sure: improve
t
est for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
ad
d
a counter e
x
ample for
T
heorem
1
of
t
h
e CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
olaege
add i
s
l_map_lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdoolaege
isl_map_power
:
coalesc
e
domain and rang
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl
_
flow
.
c: add miss
i
ng isl_a
c
cess_i
n
f
o
_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_coa
l
e
sce
.
c:
f
ix
typo
in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
is
l
_map_read: accept lists of
affine ex
p
res
s
i
ons
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
ad
d
i
sl_mat
_
f
r
om_
r
ow_ve
c
and isl_mat_v
e
c_concat
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolae
g
e
isl
_
m
a
p_read:
r
ead extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
a
d
d isl_strea
m
_next_t
o
ken_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdool
a
ege
i
s
l_
m
ap_
r
e
a
d: make
sure
p
olyl
i
b constraint
coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oolaege
isl
_
{map,set}_dim: hand
l
e NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_m
a
p
_read: us
e
more
uniform way
o
f readi
n
g in poly
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
i
sl_transitive_closure
.
c
:
fi
x
typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
la
e
ge
isl_map_
t
r
a
n
sitive_closure: us
e
more relax
e
d exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
add isl
_
map
_
power
a
nd
isl_m
a
p
_t
r
ansitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ol
a
ege
isl_map_subtract
.
c
: mak
e
s
ome
i
nternal
f
u
ncti
o
ns static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
a
dd generic
i
s
l
_
map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add i
s
l_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
r
ename isl_{map,se
t
}_add to i
s
l
_
{
map,se
t
}_ad
d
_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdool
a
ege
isl_set_proje
c
t_out
:
al
w
ays update dimen
s
i
on, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_di
m
_joi
n
: don't requir
e
na
m
e
s
o
f
joined var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdool
a
ege
a
d
d
isl_map_from
_
do
m
a
i
n_and
_
r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
oolaege
i
sl_strea
m
: treat
"-" as
oper
a
tor rat
h
e
r than a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n V
e
rdoolaege
i
s
l_map_rea
d
: accept "strict" in
e
qu
a
li
t
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
dool
a
ege
isl_in
p
ut
.
c: fix m
e
m
ory deallocation problem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
add dependence
a
nal
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolae
g
e
add
isl_ma
p
_{parti
a
l_,}l
e
xopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
basis_red
u
cti
o
n_templ
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_tab_pip
.
c: f
i
nd_
s
olutions: break when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_equal: don't require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verd
o
o
laege
isl_dim_m
a
p: p
r
operly dupli
c
ate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoo
l
ae
g
e
is
l
_dim_drop: prope
r
l
y
a
djust
length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a b
i
t
m
ore
on intege
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
e
ge
doc:
describe inp
u
t
/
o
u
tput formats
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdo
o
laeg
e
do
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add
is
l
_cat test app
l
ication
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add
om
e
ga
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
do
o
l
aege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l
_
test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl_set_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
a
e
ge
add isl_map_read
_
f
r
om_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
l
a
eg
e
i
sl_map_
r
e
a
d_fro
m
_file
:
all
o
w union
s
in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
i
sl_basic_map_read: r
e
ad
d
efinitions o
f
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laeg
e
priv
a
tely export isl
_
b
asic_
m
ap_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoo
l
a
ege
isl_basic
_
map_read:
read affine
c
o
nstraint as
two affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: o
p
ti
o
nally read p
a
rameters
f
rom input
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Ver
d
o
olaege
t
o
kenizer
:
accept "and" keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoo
l
ae
g
e
expor
t
isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
export isl_bas
i
c_map_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant input_format a
r
gument
f
rom reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_input
.
c: merge
f
unct
i
ons for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_input_omega
.
c
: accept PolyLi
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verd
o
olaege
isl_input_
o
mega
.
c:
p
repare for
r
eading par
a
metric un
i
o
n
s
commit
|
commitdiff
|
tree
next