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 Verdoolaege
add i
s
l_set_comp
l
emen
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
expor
t
isl_map_make_disjoin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add i
s
l_hash
_
tab
l
e
_
foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
i
s
l_map_
p
rint: extract out print
_
disjuncts
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
ad
d
isl_set_fast_is_
u
niverse
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
doolaege
i
sl_input
.
c: accept_af
f
ine: fix memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_m
a
p_intersect: detect
e
mp
t
y res
u
lt also
in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
olaege
i
s
l_map_r
e
ad:
s
kip unt
i
l the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_
s
tr
e
a
m_next
_
t
oken_o
n
_same_line:
ch
e
ck if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_set_wrap_facet: make sure set is marked
r
ation
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
a
ege
isl_coales
c
e
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
i
s
l_map_re
a
d: acc
e
p
t
l
ist of predic
a
t
ed elements
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
isl_map_read: extract out parsing
of map
body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolae
g
e
i
s
l_
m
ap_read:
add
dummy variable name for
u
nnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
isl_stream: acc
e
p
t
";"
token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaeg
e
use -O1
optimiz
a
tion level for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolae
g
e
drop comma at the e
n
d of enumerati
o
ns in include fil
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
m
ap_read: accept affine combinati
o
n
s
of earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_
r
ead
:
construct b
a
sic m
a
p
w
hile reading
va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_print: ad
d
primes to duplicate
n
ames
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
r
dool
a
ege
is
l
_
map_
t
ra
n
sitive_closure: imp
r
ove accurac
y
by co
p
ying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_m
a
p_
t
ransi
t
ive_closur
e
:
p
erform exactness c
h
eck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ve
r
doolaege
isl_map_tr
a
nsitive_closure: ref
o
r
mulate exactness
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
a
dd
a
transitive closu
r
e ex
a
m
p
l
e
f
rom the O
m
ega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
ol
a
ege
i
s
l_map_
t
ransi
t
ive_closure:
c
ompute po
w
er o
n
str
o
ngly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: intersect wit
h
domain a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl
_
map_transitive_closure: extract out constr
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
la
e
ge
isl_ma
p
_tr
a
n
s
i
tive_closure: move acyclicity
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolae
g
e
add isl_se
t
_lowe
r
_
bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
aege
i
sl_m
a
p_pr
i
nt
:
use consistent
names on all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdo
o
laege
isl_cat
:
a
l
l
ow
s
pecifi
c
ation of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_
m
ap_prin
t
: support ISL_
F
ORMAT_
P
OLY
L
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coa
l
esce: fix some re
g
ression
s
in
t
roduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d
isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
add transitive closure example from Kell
y
's 1996
p
a
p
er
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
d
oolaege
isl
_
map
_
trans
i
tive_clo
s
ur
e
: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl
_
map_transitive_closure: prepar
e
fo
r
the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_map_t
r
ansit
i
v
e
_closure:
c
onstruct paths tha
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_
t
ransitive_closure: extract
out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
i
s
l
_
map
_
transiti
v
e
_
closu
r
e: use more gener
i
c acyc
l
icity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
d
oolaege
isl_
m
ap_print: add p
a
rentheses ar
o
und
disjun
c
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_hash_table: use size t
h
a
t
correspond
s
to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
sl_hash_t
a
ble: grow table
w
hen we run
o
ut of e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_m
a
p_coalesce: onl
y
use non-
r
edundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdool
a
ege
add isl_se
t
_fix
_
si
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
oolaege
isl_map_re
a
d:
a
c
c
e
pt c
h
ains of
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoo
l
aege
e
xpor
t
i
sl_map_ali
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
isl_map
_
read
:
f
orget
e
xiste
n
tially quantified va
r
iable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
V
e
rdoolaege
isl_inp
u
t
.
c
: re
m
ov
e
ne
e
dless i
n
directi
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n V
e
r
d
oolaeg
e
d
o
c: document ho
w
to i
n
spect
s
ets and relations
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdoolae
g
e
export isl_map_compu
t
e_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rd
o
olae
g
e
isl_constraint_div: make sure requ
e
sted div is a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
d
o
c: drop do
c
umentation of _d
u
mp functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Ve
r
doolaeg
e
isl_
m
ap_print: improve outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
a
dd isl_bas
i
c_ma
p
_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ve
r
doolaege
i
s
l
_map_coa
l
esce: handle more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
priv
a
tely
export isl_set_
w
r
ap
_
fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_conve
x
_hull
.
c:
w
rap_facet: allow
u
nbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: i
m
pro
v
e d
e
c
r
iption
of is
l
_ma
p
_transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_tra
n
siti
v
e_closure: improve test for ex
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
la
e
ge
add a
c
o
u
nter e
x
ample for Theorem 1 of t
h
e
C
OCOA
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
ege
add
i
sl_
m
ap_l
o
wer
_
bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoo
l
aeg
e
isl_map_power
:
c
oalesce domain
a
nd r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
is
l
_fl
o
w
.
c: add
m
issing isl_access_i
n
fo_f
r
ee retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoo
l
aege
isl_
c
oalesce
.
c
:
fi
x
typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include/
i
sl_int
.
h: argument of m
p
_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
isl_map_read
:
accept
l
ists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
add isl_mat_fr
o
m
_row_ve
c
and isl_
m
a
t
_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
aege
is
l
_map_read: read exte
n
ded polylib
f
ormat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
V
erdoolaeg
e
a
d
d isl_
s
tr
e
am_ne
x
t_token_on
_
same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
en V
e
rdoola
e
ge
isl_map_read: make sure
polylib co
n
straint coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_{map,set}_dim
:
h
a
ndle N
U
L
L
input
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_ma
p
_
read: us
e
more
u
nifo
r
m w
a
y of re
a
ding in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Ve
r
d
o
olaeg
e
isl_transitive_closure
.
c: fi
x
typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdool
a
ege
isl_map_trans
i
ti
v
e_cl
o
su
r
e: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
olaeg
e
ad
d
isl_map_power
a
nd is
l
_
map_t
r
a
n
sitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
i
sl_map_
s
ubtra
c
t
.
c:
make
s
ome internal
functions st
a
tic
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
d
oolaeg
e
add gene
r
i
c isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolae
g
e
a
d
d isl_{map,set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
re
n
am
e
isl_{map,se
t
}_a
d
d to isl_{map,set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
i
sl_set_project_
o
ut: alw
a
ys u
p
date dimens
i
on, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdo
o
laege
isl_dim_join:
d
on't r
e
quir
e
nam
e
s
of joi
n
ed
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
add isl_map_fr
o
m
_
domain_an
d
_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl
_
stream: treat "-" as operator rather
than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
d
o
olaege
isl_m
a
p_read: acc
e
pt "str
i
ct" inequalities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
is
l
_
input
.
c: fix memory deallo
c
atio
n
problem on miss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
ad
d
d
e
pe
n
den
c
e
analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add isl_ma
p
_{
p
artial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_
{
set
,
map}_
m
ake
_
d
i
s
jo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdool
a
ege
basis_reduction_tem
p
l
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_ta
b
_pip
.
c: find_solutions: break when contex
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_d
i
m_equal:
don
'
t
r
equire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_dim_map: properly
duplicate name
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
i
m
_d
r
op: properly
adjust length of
n
ames a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
do
o
laege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
V
erdoolaege
d
oc: desc
r
ib
e
input
/
output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add isl_cat test
a
pplic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
isl output
commit
|
commitdiff
|
tree
next