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 Verdo
o
laege
isl_stream_next_to
k
en_on_same_line
:
che
c
k
i
f
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolaege
is
l
_set_
w
rap_f
a
cet: mak
e
sure set is
ma
r
ked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoola
e
ge
isl_coales
c
e
.
c: f
i
x ty
p
o
i
n co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_r
e
a
d
: accept list
o
f
pr
e
dicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolae
g
e
isl_map_read: extract out p
a
rsing of map b
o
dy
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_re
a
d:
add
d
u
mm
y
v
a
r
ia
b
le nam
e
for unna
m
ed va
r
iables
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolae
g
e
isl_strea
m
: accept ";"
token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
use -O1 optimization
l
evel
for gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map
_
r
e
ad: accept affine comb
i
nations of e
a
rli
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoo
l
a
e
g
e
isl_ma
p
_
read: construct b
a
sic
m
ap
while reading
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
isl_map_print: add p
r
i
mes to duplicat
e
names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_t
r
ansi
t
ive
_
c
l
osure: int
e
rs
e
ct with domai
n
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_map_transitive_closure: extract out c
o
nst
r
ucti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verd
o
olaege
isl_m
a
p_transitiv
e
_
clos
u
re:
move acyclicity test u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ve
r
doolaege
add isl_set_lower_bo
u
n
d
_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_print: use con
s
isten
t
n
a
m
es on all d
i
sju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ve
r
doolaege
isl_cat: a
l
low specification
o
f outpu
t
format o
n
comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
r
d
oolaeg
e
i
s
l_map_prin
t
: suppor
t
I
S
L_FO
R
MAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map_coal
e
sce: fix some regr
e
s
sion
s
int
r
o
d
uc
e
d by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolae
g
e
add isl_closu
r
e
test
a
ppli
c
at
i
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
add t
r
ansitive clos
u
re exam
p
le from Kelly's 1996 p
a
pe
r
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oolaege
i
s
l_map_transitive_cl
o
s
ure:
constru
c
t
g
eneral p
a
ths
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_tra
n
sitiv
e
_closure
:
pre
p
are
f
o
r
t
h
e con
s
tru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
i
s
l
_
map_t
r
ans
i
tive_closure: construct pa
t
h
s
t
hat can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transi
t
ive_closure: extract out
construc
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_map_tr
a
n
sitive
_
closure: use mo
r
e
generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erd
o
olaege
isl_map_print: add parenthes
e
s around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
i
sl_h
a
sh_table:
us
e
size th
a
t correspon
d
s to the num
b
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Ver
d
oolaege
isl_
h
ash
_
t
a
ble: grow table
when
we ru
n
out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
aege
isl_map_coalesce: only
use
non-re
d
u
ndant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolaeg
e
add isl_set_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolae
g
e
isl_map_read: acc
e
p
t c
h
ains of
c
omparison
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl
_
map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rd
o
olaege
isl_map_read: f
o
rget existentially
q
u
a
n
tifi
e
d variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
isl_input
.
c: r
e
m
ove needless indirec
t
ion
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
doc: d
o
cument how
to insp
e
c
t
sets and
rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Ve
r
doolaege
export is
l
_
map_c
o
mpute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
isl_constraint_div:
make sur
e
r
e
quest
e
d div i
s
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
doc:
d
r
op d
o
cume
n
tation of _dump functio
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verd
o
o
laege
i
s
l_map_print:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
a
d
d i
s
l_ba
s
ic_map_foreach_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_co
a
lesce:
handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
p
r
ivately export i
s
l_se
t
_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_hull
.
c: wr
a
p_facet: a
l
l
ow u
n
bounded fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
o
o
laege
doc: imp
r
ove
d
e
c
ription of isl_map_tran
s
itive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_m
a
p_tran
s
itive
_
closure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
add a
counter e
x
a
mpl
e
fo
r
Theorem 1 of the COCOA
p
ap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_ma
p
_power: coalesce domain an
d
r
a
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolae
g
e
is
l
_flow
.
c: add missin
g
isl_
a
ccess_info_free
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_coalesce
.
c
:
fix t
y
p
o i
n
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
er
d
oolaege
isl_m
a
p_rea
d
:
a
ccept lis
t
s of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
V
erdoolaege
add isl_mat_fro
m
_row_
v
ec and isl_
m
a
t_
v
ec_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaege
isl_map_read: read extende
d
polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_nex
t
_tok
e
n_
o
n
_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolae
g
e
isl_m
a
p_read: make sure poly
l
ib constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,set}
_
dim: handle
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
o
laege
isl_map_rea
d
: use more uniform
w
ay
of
r
eading in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_transitive_closure
.
c: fi
x
t
y
po in co
m
men
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_transitive_closure: use mor
e
rel
a
xe
d
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
laege
add isl_ma
p
_powe
r
and isl
_
map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_m
a
p
_
s
ubtract
.
c: make some internal functio
n
s
s
tat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoola
e
ge
add generic isl_map_project
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
rename isl_{ma
p
,set}_add to is
l
_{
m
ap,se
t
}
_add_b
a
si
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_s
e
t
_
p
r
o
ject_out: always
u
pdat
e
dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_dim_join: don't re
q
uire names of
joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add isl
_
map_from_domain
_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
olaeg
e
isl
_
stream:
treat "-" as operator
rather
than
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
doolaege
isl_map_re
a
d:
accep
t
"str
i
ct" inequalities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_input
.
c: fi
x
memo
r
y deallocation problem o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verd
o
olae
g
e
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdoolaege
add
private
i
s
l
_{set
,
map
}
_make
_
disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Ver
d
oo
l
aege
ba
s
is_reduction_te
m
pl
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pi
p
.
c: find_s
o
lutions: break when
context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdool
a
ege
isl_dim
_
equal: don't
require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
sl
_
d
im_map: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim
_
dr
o
p: pro
p
erly ad
j
ust length
of names
a
rray
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolae
g
e
doc
:
a bi
t
more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: de
s
cr
i
be
input/
o
ut
p
ut
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdool
a
ege
d
o
c
: f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat
t
est applic
a
tio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add omega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdo
o
l
a
e
ge
isl_t
e
st: use
i
sl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdool
a
ege
a
dd
i
sl_set_rea
d
_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verd
o
olaeg
e
add isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_map_r
e
ad_from_file: allo
w
unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
isl_basic_m
a
p_read: read d
e
fi
n
i
t
ions of ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
pr
i
va
t
ely expor
t
isl_b
a
s
i
c_map_add_d
i
v_cons
t
r
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_bas
i
c_map_
r
e
ad: rea
d
a
ffine c
o
n
straint
as two affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
isl_input
.
c:
o
ptionally read
p
arameters from
in
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
t
o
k
e
nizer: ac
c
ept "and" keywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
laege
export isl_map_read_from
_
file
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
a
ege
export isl_basic_map_
r
ead_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
dro
p
redundant
i
nput_f
o
r
m
at argument from reading fu
n
ctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
isl_input
.
c:
merge
f
u
nction
s
for reading P
o
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
aege
isl
_
input_omega
.
c: accept
P
olyLib
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
ut_omeg
a
.
c: pr
e
pare fo
r
r
eading paramet
r
i
c
union
s
commit
|
commitdiff
|
tree
next