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: add some auxiliary functions
2010-03-04
Sven Ver
d
oolae
g
e
isl
_
stre
a
m: add some auxilia
r
y functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oo
l
aege
isl_
s
tream:
r
ead
"
definitio
n
" tok
e
n ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add is
l
_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdool
a
e
g
e
privately export isl_se
t
_
c
on
t
ains_point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoo
l
aege
add
i
s
l_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
i
sl_set_sample
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laeg
e
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_ba
s
ic_set_scan: make sure
s
u
fficient r
o
ws are
a
l
l
ocate
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_map_su
b
tract: only
a
d
d div
s
when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
ad
d
isl_map_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
extract
i
sl_t
a
b_ad
d
_div
fr
o
m
i
s
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
is
l
_vec
.
c: fix minor whitespace issu
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoola
e
g
e
add is
l
_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_ma
p
_
m
ake_disjo
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
a
d
d i
s
l_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
isl_map_print:
e
x
t
ract out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
ad
d
isl_set_fast_
i
s
_
universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_input
.
c
:
accept_
a
f
f
i
n
e: fix
memory leak on
e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_m
a
p_int
e
rsect:
d
etect empty result al
s
o i
n
ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_
map_read: sk
i
p
until the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
e
g
e
isl_stream_next
_
tok
e
n_on_same_line: check if la
s
t token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_set_wrap_facet: mak
e
sure set is
marked rational
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verd
o
olaege
i
s
l_coale
s
ce
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Ve
r
doolaege
isl_map
_
r
ead: accept
list of predicated
e
lements
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
isl_map_read: e
x
tract out p
a
rsi
n
g
of map body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
isl_map_
r
ead: add dummy variable n
a
me for unnamed
v
ari
a
bles
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n Verdoolaege
isl_stream: accept
"
;" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoola
e
ge
use -O1 o
p
timiza
t
ion level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
o
olae
g
e
isl_ma
p
_re
a
d:
accept affine combinations of
ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
oolaege
isl_map_read: co
n
s
t
r
uct basic
map while r
e
ading vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
oola
e
ge
i
s
l_map_print
:
a
dd primes to du
p
licate
n
am
e
s
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
isl_ma
p
_transitive_clos
u
re
:
intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
is
l
_map_tra
n
sitive_closure: e
x
tract out constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
Verdoolaege
isl_map_transitive_closure: move acyclicit
y
test
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdool
a
e
ge
a
dd
i
sl_set
_
lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_print: use co
n
sis
t
ent n
a
mes on a
l
l disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_cat: allow sp
e
cifi
c
ati
o
n of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
Verdoola
e
g
e
isl_map_print: suppo
r
t ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coalesce: fix some
r
egressions int
r
oduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl_
c
lo
s
ure test applic
a
ti
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
ege
ad
d
trans
i
tiv
e
closur
e
example from Kelly's
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
do
o
laeg
e
isl_map_transitive_c
l
osure:
c
onstruc
t
gene
r
al
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_ma
p
_transitive_clo
s
ure:
prepa
r
e for
t
he
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_t
r
ansi
t
iv
e
_closure: c
o
nstruct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolaege
isl
_
tran
s
itive_c
l
osu
r
e
:
extract out constr
u
ction o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
ola
e
ge
isl_map_transitive_
c
losure: use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_pr
i
n
t
: add parentheses
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_has
h
_tab
l
e: use size that
c
orresp
o
nds to
t
he
n
umbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
erdool
a
ege
isl
_
hash
_
table: grow
ta
b
le when we ru
n
out
of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
i
sl_ma
p
_c
o
a
l
e
sce
:
only
use
n
o
n-redundant
c
onst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl
_
s
et_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl
_
map_r
e
ad: a
c
cept chain
s
of com
p
a
risons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
e
xport isl
_
ma
p
_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
i
s
l_map_rea
d
: forget e
x
istentia
l
l
y
quanti
f
i
e
d variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdo
o
laege
isl_inp
u
t
.
c:
r
emove needless indirecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
d
oc: doc
u
me
n
t how to inspect s
e
ts and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
e
x
port isl_map_
c
ompute_div
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
i
sl_cons
t
raint_div: make sure
r
equested div is
a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdo
o
laeg
e
doc: drop d
o
cu
m
entation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
is
l
_ma
p
_
print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
a
dd isl_basic_map_foreach_
c
onstraint
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_m
a
p
_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
privately
export isl_
s
et_wrap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaege
i
s
l_convex_hu
l
l
.
c
: wrap_facet
:
allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc:
im
p
ro
v
e
decription
o
f
isl_map_
t
r
ansi
t
i
v
e
_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p
_
t
ra
n
sit
i
ve_closure: impr
o
ve test for exac
t
ness
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
add a
counter
e
xam
p
le
for
Th
e
o
rem 1
of th
e
CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add isl_ma
p
_l
o
w
e
r_
b
o
u
nd_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoo
l
a
e
ge
i
s
l
_
map_power:
c
oalesce doma
i
n a
n
d
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oola
e
ge
isl_flo
w
.
c:
a
d
d miss
i
ng isl_access_inf
o
_
f
ree return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_c
o
ale
s
ce
.
c: fix typo in
c
om
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
i
s
l
_
map
_
read:
accept lis
t
s of affine
e
xpressio
n
s i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verdo
o
laege
add i
s
l
_mat_from_row
_
vec and isl_ma
t
_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
aege
isl_m
a
p_read: read extended poly
l
ib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
a
e
ge
add isl_stream_next_
t
oken_on_same_
l
i
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: make sure polylib con
s
traint coeffic
i
e
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_{map,se
t
}_di
m
:
hand
l
e
NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map_
r
ead: use
more uniform
way of reading i
n
polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oo
l
a
e
ge
isl_transitive
_
closure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoo
l
aege
isl_map_transitive_clos
u
re: use
m
ore
r
elaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
ol
a
eg
e
ad
d
isl_map_powe
r
and isl_map_transit
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ve
r
dool
a
e
ge
i
sl_ma
p
_
subtract
.
c: make some
i
nternal
fun
c
tions st
a
t
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
dd generic isl_m
a
p_projec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ver
d
oolaege
add isl_
{
map,set}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ve
r
d
o
ol
a
ege
rename
i
sl_{map,set}_add to isl_{
m
ap,set}_
a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_project_out: always upda
t
e
d
i
m
ensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_dim_join:
d
on't
r
equire names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d i
s
l_map_from_do
m
ain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoola
e
ge
isl_st
r
ea
m
: trea
t
"-" as operator rather t
h
an as -
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl
_
map_r
e
ad:
a
ccept "strict" inequaliti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
i
npu
t
.
c: fix memory
deallocation pr
o
blem
on miss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dependenc
e
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
e
rdoolaege
a
dd isl_
m
ap_{partial_,}
l
ex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
e
rdoolaege
add private isl
_
{set,map}
_
m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
o
l
aege
b
a
si
s
_reduc
t
io
n
_
t
empl
.
c: fix
t
ypo in
c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
erdoolaege
isl_tab_pip
.
c
:
find_solutions: break when context beco
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoola
e
ge
isl_dim_equal: don't requir
e
names
of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdo
o
laege
is
l
_dim_map: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim_d
r
op: properly adjust length
o
f na
m
es array
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
doc: a bit more
on integers
commit
|
commitdiff
|
tree
next