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
export isl_stream.h
2010-03-04
Sven Verdoolaege
expo
r
t i
s
l_st
r
e
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaeg
e
isl_s
t
rea
m
: allow user
s
p
ecifie
d
keywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
i
s
l_
s
tream: add som
e
au
x
il
i
ary
fu
n
ctions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
is
l
_
stream:
rea
d
"
de
f
inition"
t
ok
e
n ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oolaege
ad
d
isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
p
r
i
vately export isl_
s
et
_
contains_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add
i
sl_set_count
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
doolaeg
e
a
d
d
isl_set_sam
p
le_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add
isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
i
s
l_basic_s
e
t_scan: make sure
sufficient rows ar
e
al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_ma
p
_subtr
a
ct:
o
nly add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
ad
d
isl_map
_
order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
extr
a
ct isl_ta
b
_add_
d
i
v
fr
o
m isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
r
d
oolaege
isl_vec
.
c: fix m
i
nor
w
hitespace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add
i
sl_
s
e
t_complement
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaege
export isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolaege
add
i
sl_hash_table
_
fo
r
each
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
isl_map_p
r
int: extrac
t
out print_disj
u
nct
s
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolae
g
e
add is
l
_set
_
fast_is_univer
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_
i
n
p
ut
.
c: accep
t
_
af
f
ine: fix
memory
l
ea
k
on erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_map
_
intersect: d
e
t
ect empty
r
esult also
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
i
sl_
m
ap_read: skip
u
ntil
t
he e
n
d of the last l
i
ne w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doo
l
a
e
g
e
isl_str
e
am_nex
t
_to
k
e
n
_on_s
a
m
e_line: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl
_
set_wrap_facet:
make s
u
r
e
s
et
i
s
m
arked rat
i
ona
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_coalesce
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl_m
a
p
_read: accept
l
ist
of predicate
d
elemen
t
s
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoolaeg
e
isl_map_rea
d
: e
x
tract out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doo
l
aege
i
sl_map_re
a
d
: add dummy vari
a
ble nam
e
f
o
r unnam
e
d va
r
iabl
e
s
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoola
e
g
e
isl_s
t
ream: acc
e
p
t
";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
u
s
e
-
O1 optimization lev
e
l for g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoo
l
aege
isl
_
map_
r
e
a
d
:
a
c
c
ept
a
ffine combi
n
ations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl
_
m
a
p_read: constr
u
ct basic map whi
l
e reading
vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n V
e
rdoolaege
isl_map_print:
add primes to duplicate names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_map_transitive_
c
losure
:
i
n
tersect with
do
m
ain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl
_
map_
t
ra
n
s
itive_clos
u
re: extract
out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl
_
map_tran
s
it
i
ve_closure: m
o
ve acyclici
t
y
t
est
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_set_l
o
wer_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ver
d
oolaege
i
sl_
m
ap_pr
i
nt: use consistent nam
e
s on all
disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
cat:
allow spe
c
ification
o
f ou
t
p
u
t for
m
a
t
on c
o
mmand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Verdoolaege
isl_ma
p
_
prin
t
: s
u
pport
I
SL_FORMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_coale
s
ce: fix some re
g
ressio
n
s intr
o
duced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
ad
d
isl_closure test applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoo
l
aege
ad
d
transitive clos
u
re example f
r
o
m Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl
_
m
ap_tra
n
sitive
_
closure: construct general pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoo
l
aege
isl_ma
p
_transitive_c
l
osure: prepare for
the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_trans
i
tiv
e
_closure: construct
paths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
e
g
e
isl_
t
ransitive_c
l
osure: extract o
u
t constru
c
tion
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl
_
ma
p
_tran
s
i
t
ive_closure:
u
s
e
more
g
eneric acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_map_print:
a
dd paren
t
heses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdo
o
laege
isl_hash_table: use siz
e
t
h
at
c
orrespon
d
s to
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n V
e
rdoolaege
isl
_
h
a
sh_
t
able: grow
t
abl
e
when we run out
of en
t
ries
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaeg
e
isl
_
map_coalesce:
o
nly use
non-redundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdo
o
laege
add isl_set
_
fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
isl_ma
p
_rea
d
:
ac
c
ept chains of
c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
expo
r
t isl_map
_
align
_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Ver
d
oolaege
i
s
l_map_read:
forget
existen
t
ial
l
y quant
i
fied varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
ege
is
l
_input
.
c: remove nee
d
less
i
n
direction
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaege
doc: document how to inspect sets and r
e
latio
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdo
o
laege
export isl_map_c
o
mpute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdo
o
laege
isl_constra
i
nt_div: make sure
req
u
ested
d
iv
i
s a known div
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verd
o
olaege
d
o
c: drop d
o
c
umentat
i
on of _dump
functions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ver
d
o
o
l
a
e
ge
isl
_
map_prin
t
: improve outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdool
a
e
ge
add
i
sl_basic
_
map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_map_coales
c
e: handl
e
m
o
re cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
privately export
isl_set_wra
p
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
o
olae
g
e
isl_convex_hull
.
c: wrap_facet: a
l
low unbo
u
nded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
eg
e
doc: improve
dec
r
iption of isl
_
map_trans
i
tive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdoo
l
aege
isl_map_tra
n
s
itive_closur
e
: i
m
p
r
ove t
e
s
t for exactnes
s
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolae
g
e
add a coun
t
er example for Theor
e
m 1 of the
COCOA pape
r
commit
|
commitdiff
|
tree
2010-02-08
S
ven V
e
rdoolaege
add isl
_
map_lowe
r
_
b
o
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
oolaege
isl
_
map_power:
coalesc
e
d
o
m
ain
a
n
d
r
a
n
g
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
l
a
ege
isl
_
flow
.
c
:
a
d
d
mi
s
sing
i
s
l
_
a
cces
s
_i
n
fo_f
r
ee
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
a
ege
i
sl_coalesce
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdo
o
laege
i
s
l_map_rea
d
: accep
t
lists of affin
e
e
x
pressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
ad
d
isl
_
mat_from_row_vec and isl_ma
t
_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_map_read
:
read extended
p
olylib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
olaege
ad
d
i
s
l
_stream_nex
t
_token_on_sam
e
_line
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_m
a
p_read: make s
u
re polyli
b
constraint coeffi
c
ients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
isl_{map,s
e
t}_dim: han
d
l
e
NULL
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map_
r
ead: u
s
e
m
ore uniform
way of reading in p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl_map_transitive_closure: u
s
e more rel
a
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_power a
n
d isl_map_tran
s
iti
v
e
_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaeg
e
i
s
l_map
_
subtract
.
c: m
a
k
e
s
o
me internal fu
n
c
tions
st
a
t
ic
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
r
doolaege
add generic isl_map_pr
o
ject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
dd isl_{map,
s
et}_ad
d
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
r
e
name isl
_
{map,se
t
}_add to isl_{map,s
e
t}
_
add_bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
i
sl
_
set_pr
o
jec
t
_out: always
u
pdate dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_di
m
_joi
n
:
don't
r
e
qu
i
re names o
f
join
e
d v
a
ri
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
isl
_
map_from_domain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_stream: tre
a
t "-" as ope
r
a
t
or rather
t
h
a
n as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
o
l
aege
isl_map_read: accept "strict
"
ine
q
ualiti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
input
.
c
: fix memo
r
y
deallocation problem on
m
issin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
add
dependence an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_map
_
{pa
r
tial
_
,}lexop
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
add
p
r
i
vate isl_{set,
m
a
p}
_
ma
k
e_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
a
e
ge
b
a
sis_reduction_templ
.
c: fix typ
o
i
n
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ve
r
doo
l
ae
g
e
i
s
l_tab
_
pi
p
.
c
: find_solutions: b
r
eak when context beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim_equal: don't require nam
e
s of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_
d
im_map: properly duplic
a
t
e
n
ames
commit
|
commitdiff
|
tree
next