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_sample_point
2010-03-04
Sven Verdoolaeg
e
add isl_set
_
s
a
m
ple
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
i
sl_basic_
s
et_scan: make su
r
e
s
u
f
ficient rows are
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_subtra
c
t: only add div
s
when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl_ma
p
_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
extract isl_tab_add_
d
iv from isl
_
t
a
b
_
pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_vec
.
c: fix min
o
r
whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
add isl
_
s
e
t_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
export isl
_
ma
p
_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add
i
sl_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
i
sl
_
map_pr
i
nt:
e
xtract out print_disjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
l
a
eg
e
ad
d
isl_set_fast_is_uni
v
erse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_inp
u
t
.
c
:
accept_
a
ffi
n
e:
f
i
x
m
emory leak on
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_intersect
:
d
etec
t
empty
r
esu
l
t
a
ls
o
in
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_ma
p
_read:
s
kip until
the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoola
e
ge
isl_stream_ne
x
t
_
t
oken_on_same_line: check if l
a
st token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_set_wrap_facet: make s
u
re set
is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
is
l
_
c
o
alesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read:
accept list of
predi
c
ated eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
is
l
_
m
ap
_
read: ex
t
ract
out p
a
rsi
n
g
of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoo
l
aege
i
s
l_map_read:
add dummy var
i
able name
f
or unna
m
ed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laeg
e
i
s
l_stream: acc
e
p
t
"
;" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
use -O1 optimiz
a
tion level
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
i
s
l_map_read:
accept affin
e
combinations o
f
earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
r
d
o
olaege
isl_map_read: const
r
uct basic map while read
i
ng vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erd
o
ol
a
ege
isl_map_print:
add p
r
im
e
s to duplicate na
m
es
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
l
a
ege
is
l
_map_tra
n
sitive_closu
r
e:
i
nter
s
e
c
t
with domain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verd
o
olaege
i
sl_map_t
r
ansit
i
ve_closure: extrac
t
out const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
oolaege
isl_m
a
p
_
transiti
v
e_clo
s
ur
e
: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
add
i
sl_set
_
l
o
wer_
b
o
und
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
l
a
eg
e
isl_map
_
print:
use consistent names on all disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_cat:
a
l
low sp
e
cificat
i
on
of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
a
e
ge
is
l
_
m
ap_print:
s
uppo
r
t
ISL_F
O
R
M
AT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_coalesce: fi
x
some regre
s
sions introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoo
l
aege
add isl_closure tes
t
application
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
add tr
a
nsi
t
i
v
e clos
u
r
e examp
l
e
from Kell
y
's
1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoo
l
aege
i
s
l_map_transitiv
e
_closure: c
o
nstruct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verd
o
olaege
isl_map_transit
i
v
e_closure: prepar
e
for the con
s
tructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoola
e
ge
isl_map_
t
ransit
i
ve_closure: cons
t
ruct
p
aths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ve
r
doolaege
i
sl_trans
i
tive
_
closure:
e
xtract ou
t
construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdoolaeg
e
isl_map_
t
ran
s
itive_closure:
us
e
m
ore generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_prin
t
: a
d
d par
e
ntheses arou
n
d d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_ha
s
h
_
table: use size that corresponds to
the n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_
t
ab
l
e: grow table w
h
en we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
oolaeg
e
isl_map_coalesce:
o
nly use non
-
redundant constra
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
e
rdoola
e
ge
ad
d
isl_
s
et_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_ma
p
_read:
a
ccept chai
n
s of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
r
d
oolaege
export
i
sl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_
r
e
a
d: f
o
rget ex
i
sten
t
ially qu
a
n
t
ified v
a
r
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
ool
a
ege
isl_input
.
c: remove ne
e
dless
i
n
d
irection
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoola
e
ge
doc: doc
u
ment
h
o
w to inspect sets
a
nd
r
elati
o
ns
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
export isl_map_compute_div
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolae
g
e
isl_con
s
traint_
d
iv: make sure requested div is
a
known di
v
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Ve
r
doolaege
doc: drop
documentation o
f
_d
u
m
p
fu
n
ction
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
g
e
isl_m
a
p
_
pr
i
nt: improve
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ver
d
oolaege
add isl_ba
s
ic_ma
p
_foreach_cons
t
rain
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
i
s
l_map_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdo
o
laege
p
r
ivately ex
p
ort
i
s
l
_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_con
v
e
x_hull
.
c: w
r
ap_f
a
cet: al
l
ow unbounde
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdo
o
l
aege
do
c
:
i
m
p
rove
decription of isl_ma
p
_transitive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_map_transit
i
ve_closure: i
m
prove tes
t
for exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoo
l
ae
g
e
a
dd a cou
n
ter exam
p
le for
T
heor
e
m 1
of the C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolae
g
e
add i
s
l_map_lower_
b
o
und_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
l
a
ege
isl_map_power
:
c
o
ale
s
ce
d
omain a
n
d ran
g
e
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
i
sl_flow
.
c: add
mi
s
sing isl_access_
i
n
fo_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_coalesce
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
lae
g
e
isl_map_read
:
accept l
i
sts of affine expressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
laege
a
d
d
is
l
_mat_from_row_vec
a
nd isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdool
a
e
g
e
isl_map_read: read extended polylib
f
ormat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
add is
l
_stream
_
next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_read: make su
r
e
polylib constrain
t
c
o
effici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verdoolaege
isl_{map,
s
e
t}_dim: han
d
le NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
is
l
_
map_rea
d
: use more unif
o
rm way of reading in
p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
i
s
l_transitive
_
c
los
u
re
.
c: fi
x
typo
i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdool
a
ege
isl
_
map
_
tr
a
nsitive_clos
u
re:
use mor
e
relaxed ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
ool
a
ege
add isl_
m
ap_power and
i
s
l
_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ver
d
oolaeg
e
isl_map_s
u
b
tract
.
c: make some inte
r
nal
function
s
static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_map_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
olaege
add is
l
_{map,se
t
}
_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdoolae
g
e
rename
i
sl_{map,
s
et}_a
d
d t
o
isl_{map,set}
_
add
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoola
e
ge
i
sl_se
t
_pro
j
ect_out: a
l
w
a
ys update di
m
e
n
s
ion, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
a
e
ge
isl_di
m
_join: don't requ
i
re na
m
es of j
o
i
n
ed vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add isl_m
a
p
_
f
r
om_
d
omain_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_stream: treat "-"
a
s operator rath
e
r than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
d
ool
a
ege
isl_map_r
e
ad:
accept
"
st
r
ict"
i
nequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doo
l
a
ege
isl_in
p
ut
.
c: fix
memory deallocation pro
b
lem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add is
l
_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoo
l
aege
ad
d
priv
a
te isl
_
{
se
t
,ma
p
}_
m
a
k
e_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
ba
s
is_reduction_templ
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pi
p
.
c: find_solutions: b
r
eak wh
e
n conte
x
t
b
eco
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
isl_dim_equal:
d
o
n't require
n
ames
o
f input and
out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
la
e
g
e
i
s
l_dim_map: properly duplicate
names
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
er
d
ool
a
ege
i
s
l
_dim_drop: properly adjust leng
t
h of names array
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
d
o
c: a
b
it more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoola
e
ge
doc: de
s
cribe in
p
ut/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
:
fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
add isl_cat te
s
t application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add omega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add isl
o
utput
commit
|
commitdiff
|
tree
next