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
S
v
en
V
erdoolaeg
e
ex
p
ort isl_s
t
re
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
i
sl_
s
t
ream: allow user
specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_stream: add
som
e
aux
i
liary
f
unction
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
is
l
_
s
tream:
r
ead "defin
i
ti
o
n" t
o
k
e
n ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
private
l
y export isl_set_co
n
tai
n
s_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoo
l
aege
a
dd isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
ool
a
e
g
e
a
d
d
i
sl_set_s
a
m
ple_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl
_
point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
ool
a
e
g
e
i
s
l
_basic
_
set_
s
can:
m
ak
e
s
u
re suffici
e
nt r
o
w
s are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
isl_map
_
s
u
btract:
on
l
y add divs
w
hen neede
d
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
add isl_ma
p
_order_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
olaege
extr
a
ct is
l
_
tab_add_div from
i
sl
_
ta
b
_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_v
e
c
.
c: fix minor wh
i
tes
p
ace
issue
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
ad
d
isl_se
t
_comp
l
ement
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdool
a
ege
expor
t
is
l
_map
_
ma
k
e_d
i
sj
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoo
l
a
ege
add is
l
_has
h
_tab
l
e_forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_ma
p
_pr
i
nt: extra
c
t out print_disjunc
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_s
e
t_f
a
st
_
i
s
_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
e
g
e
isl_input
.
c: acce
p
t_affine: fix memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
map_intersect:
detect
e
mpty r
e
sul
t
also
in cas
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_map_read: s
k
ip until
t
he end o
f
the
l
ast lin
e
w
hen
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_stream_nex
t
_token_on
_
sa
m
e
_
line:
check if last tok
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_set_wrap
_
f
acet
:
m
a
k
e
sure set
i
s marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
i
s
l_co
a
lesce
.
c:
fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_ma
p
_read: a
c
cept list of predicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ve
r
d
oolaege
isl_m
a
p_read: extra
c
t out parsing of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
i
s
l_map_rea
d
: add dummy
v
ariable name for unnamed va
r
i
a
b
l
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept ";"
t
oken
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
use -O1
o
p
timization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
drop comma at the end of enumerations
in include files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_re
a
d: accept a
f
fine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven
V
erd
o
olaege
i
sl_map_re
a
d: constru
c
t bas
i
c map whi
l
e r
e
ad
i
ng v
a
riabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
V
erdoolaeg
e
isl_map_print: add prime
s
to dup
l
icate
n
ames
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdool
a
ege
i
s
l_map_transitive_closu
r
e: improve
accu
r
a
c
y by
c
opying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ve
n
Verdoolaege
isl_ma
p
_transit
i
ve_closure: p
e
rform exactne
s
s check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdo
o
laege
isl_ma
p
_trans
i
tiv
e
_closure: reformulate
e
xactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
a
dd a t
r
ansit
i
ve closure example from the Omeg
a
tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n V
e
r
doo
l
aege
is
l
_map_tr
a
nsitive_closure: compute
power o
n
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdool
a
ege
isl
_
ma
p
_tran
s
itive_closure:
i
nters
e
ct with domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map_tra
n
s
i
tive_c
l
osure: extra
c
t out con
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oo
l
aege
i
sl_map_trans
i
ti
v
e_clo
s
u
r
e
: move ac
y
c
licity test u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
add i
s
l
_set_
l
o
wer_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl_map_pr
i
nt: use consistent name
s
on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat:
allow specific
a
tion of outp
u
t format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
ma
p
_print: support IS
L
_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdoolaeg
e
isl_map_coalesce: f
i
x some regr
e
ssions introduced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
ad
d
isl_cl
o
sure test applicatio
n
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolae
g
e
add transi
t
ive closure exampl
e
from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
ae
g
e
isl_map_t
r
ansitive_closu
r
e:
construct general
paths
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolae
g
e
isl_map_transi
t
i
v
e_cl
o
s
u
re
:
p
repa
r
e f
o
r the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_t
r
ansi
t
ive_
c
losu
r
e: constru
c
t paths th
a
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aeg
e
isl_transiti
v
e_closure: extract out construct
i
on
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoola
e
ge
isl_map_t
r
ansitive
_
closure: use
m
ore g
e
neric acyclicit
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_print:
ad
d
pare
n
the
s
e
s
around
di
s
junct
s
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdo
o
l
ae
g
e
isl_has
h
_table: use
size
t
hat c
o
rresponds to t
h
e numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
isl_ha
s
h_table:
g
row table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_map_coalesc
e
:
o
nly
u
se no
n
-r
e
dundant con
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ve
r
d
oola
e
g
e
add i
s
l_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoolae
g
e
isl
_
map_read: accept chains of comparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
export isl_
m
a
p
_alig
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map
_
read: forget exist
e
n
tially
q
uantified
v
ariabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
isl_input
.
c: remove needl
e
ss i
n
direction
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n V
e
rdoolae
g
e
doc: document h
o
w to inspect se
t
s
and
relatio
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
expo
r
t isl_map_c
o
mpute
_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
g
e
isl_constraint_
d
iv: make sure req
u
es
t
ed div i
s
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolae
g
e
doc: d
r
op d
o
c
u
m
e
n
tation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
l
aege
isl_map_print: i
m
pro
v
e output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_map_foreach
_
c
o
nstr
a
int
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce:
h
andle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately ex
p
ort isl
_
set_
w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_co
n
vex_hull
.
c:
w
rap_facet: allo
w
un
b
o
u
n
d
e
d facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
doc: impr
o
ve decription of isl_ma
p
_transit
i
v
e_
c
losu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ver
d
ool
a
ege
isl_map
_
t
ransitive_c
l
osu
r
e
:
imp
r
ove test for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
add
a
counte
r
example
f
or Th
e
o
rem
1
of t
h
e COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
a
d
d
is
l
_
m
ap_lower_boun
d
_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
doolaeg
e
isl_
m
ap_p
o
wer: coalesce do
m
ain a
n
d
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
laege
isl_fl
o
w
.
c: add missi
n
g isl_ac
c
ess_inf
o
_
free retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
i
sl_coales
c
e
.
c
: fi
x
typo in
commen
t
commit
|
commitdiff
|
tree
2010-02-07
Sven Ve
r
doolaege
i
n
clude/isl_in
t
.
h:
a
r
gument of mp_get_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
i
sl_map_read: accept
lists of
a
ffine expressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoolaege
add isl
_
m
at_from_row_vec
and
isl_mat_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
isl_map_read: read
extended polyli
b
f
o
r
mat
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
a
d
d isl_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
oo
l
ae
g
e
isl_map_read:
make sure polylib constrain
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
dool
a
eg
e
isl_{map,set}_dim
:
handle N
U
L
L
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_
r
ead: use
more u
n
iform wa
y
of reading in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
is
l
_trans
i
tive_closure
.
c
: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doolaege
isl_map
_
tra
n
sitive_closure: us
e
more r
e
la
x
e
d e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
a
e
ge
add isl_map_
p
ower a
n
d isl
_
map_tr
a
ns
i
tive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolae
g
e
is
l
_map
_
subtract
.
c
:
mak
e
some inte
r
nal functions
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
add g
e
n
eric isl_map_project_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
add isl_{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
V
erdoolaege
rename isl_{map,set}_add to is
l
_{map,set}_add_bas
i
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_set_
p
rojec
t
_
out: alw
a
ys update dimensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_jo
i
n
:
don't require names of jo
i
ned var
i
ab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
ad
d
isl_m
a
p_
f
r
o
m_domain_and
_
ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
o
laege
isl_strea
m
: treat "-" as ope
r
ator
r
ather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_
m
ap_rea
d
: accep
t
"strict
"
i
n
equalities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdoolaege
isl_input
.
c: fix memor
y
d
e
al
l
ocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
next