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 i
s
l_set_
s
ample
_
poin
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
add i
s
l_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
e
r
dool
a
ege
isl_basic_
s
et_scan: make s
u
re suffici
e
n
t rows are
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
i
s
l
_
map_
s
ubtract: only ad
d
divs when nee
d
e
d
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaege
add isl_map_order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extract isl_tab_add_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
isl_vec
.
c
:
fix mino
r
whitespac
e
iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
e
r
d
o
olaege
add
i
sl
_
s
et_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
export isl_map_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
d
oo
l
aege
add isl_
h
ash_
t
abl
e
_forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
isl_map_print: extract out print_
d
isj
u
n
cts
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
aege
add
i
sl_se
t
_fast_is_unive
r
se
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
is
l
_input
.
c: accept_affine: f
i
x
me
m
ory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_map_intersect: dete
c
t empty result also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
dool
a
e
ge
isl_map_r
e
ad: skip until
the end o
f
t
h
e last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verd
o
olaege
i
sl_stream_next_token_on_same_line: check if last tok
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_set_wrap_
f
ac
e
t:
m
ake
s
ur
e
s
et i
s
m
a
rke
d
r
ational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
i
sl_
c
oalesce
.
c:
f
ix typo
i
n co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdo
o
laege
isl_
m
ap_read: accept li
s
t
of predi
c
ated element
s
commit
|
commitdiff
|
tree
2010-02-19
S
ven
Verdoo
l
aege
isl_map_read
:
extract
o
u
t parsing of map
body
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoo
l
aege
isl_map_re
a
d
: add dummy variable name
for unnamed var
i
ables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
isl_s
t
ream:
ac
c
ept "
;
" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -
O
1 op
t
imization level
for
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Ver
d
oo
l
aege
d
rop comma
a
t
the end of
e
numerati
o
ns in inclu
d
e file
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_
m
ap_read: accept affine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_read: c
o
nstruct basic map while reading varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoola
e
ge
isl_
m
ap_pr
i
n
t: add primes
t
o duplicat
e
n
ames
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_
t
ra
n
si
t
ive_closur
e
: improve accura
c
y
by cop
y
in
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
do
o
laege
isl_
m
ap
_
tr
a
n
s
itive_closu
r
e: perf
o
r
m exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_transiti
v
e_clo
s
ure: reform
u
la
t
e exact
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
add a
transitive closure example from the Om
e
ga test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_
m
ap_t
r
ansitive_c
l
osure: co
m
pute p
o
we
r
on
s
tr
o
ngl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
rd
o
olaege
isl_
m
ap_t
r
ansitiv
e
_
closure:
i
ntersec
t
w
i
t
h
do
m
ain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_transi
t
ive_closu
r
e: extract out constr
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_m
a
p_trans
i
tive_closure: mov
e
acyclicit
y
test
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
do
o
lae
g
e
add isl_set_
l
ower_bou
n
d
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_print:
u
se consistent names on all di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoo
l
a
ege
isl_cat:
allow specif
i
cation of outpu
t
forma
t
on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl
_
map_print:
s
upport ISL_FO
R
MAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
dool
a
eg
e
isl_map
_
coalesce:
f
ix
some regressions
i
ntroduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add i
s
l_closure te
s
t applic
a
tion
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
add transi
t
ive closure
example
f
rom Kell
y
'
s 199
6
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdool
a
ege
isl_map_transitive_closure: construct
general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_transitive_closure:
p
repare f
o
r the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaeg
e
isl_map_transiti
v
e_closure: construct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoolaege
isl
_
trans
i
tive_closure
:
extra
c
t out co
n
struction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
e
ge
isl_map_transitive
_
closure: us
e
more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verd
o
o
laege
isl_
m
ap_print: add
p
arenthe
s
es arou
n
d disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_hash_table: u
s
e
size t
h
at cor
r
esp
o
n
d
s
to th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdo
o
laege
isl_hash_
t
able: grow table wh
e
n w
e
r
un
out o
f
entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map
_
coalesc
e
:
on
l
y use non-redundan
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
ege
isl_
m
ap_r
e
ad: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoola
e
ge
e
xport isl_map
_
align_di
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_read
:
for
g
et exis
t
entially quantifi
e
d vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdool
a
e
g
e
isl_input
.
c: remove
needless indir
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaeg
e
d
oc: document how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_compute
_
divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
isl_c
o
nstra
i
nt_div:
m
a
ke sure
r
equested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: dr
o
p documentation of _dum
p
func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print:
i
mprove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
add i
s
l
_
basic_m
a
p_for
e
ach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
is
l
_map_coa
l
es
c
e: handle mo
r
e ca
s
e
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdoo
l
aege
p
ri
v
ately export is
l
_set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aeg
e
isl_
c
onvex_hull
.
c
:
w
rap_facet: allo
w
unbo
u
n
ded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
o
l
aeg
e
doc
:
improve decri
p
tion of isl_map_trans
i
tive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
o
olaeg
e
i
sl_m
a
p_transitive_closure: improve test
fo
r
exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rd
o
o
l
aege
add a counter ex
a
mple for Theorem 1 of the C
O
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en V
e
rdoolaege
add isl_map_
l
o
w
e
r
_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_ma
p
_power
:
coalesce
doma
i
n and ran
g
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add missi
n
g isl_access
_
info_
f
ree retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_coal
e
sce
.
c: fix
typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-07
S
ven Ver
d
oo
l
aege
include/i
s
l_int
.
h: arg
u
ment of mp
_
get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_map_read: accept lists of a
f
f
ine express
i
ons in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaeg
e
add isl_mat_from_row_vec an
d
isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_r
e
ad: r
e
ad ex
t
ended
p
olylib
f
o
r
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aeg
e
add isl_str
e
am_nex
t
_
token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
i
s
l_map_
r
ead: make sure poly
l
ib const
r
ain
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
g
e
isl_{map,set}
_
d
im
:
h
a
nd
l
e
NULL i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaege
isl_m
a
p_
r
ead: u
s
e
m
o
re
u
niform w
a
y
of reading
i
n polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl
_
transitive_closure
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolae
g
e
isl_
m
ap_tr
a
nsi
t
i
v
e
_
c
losur
e
: u
s
e more r
e
l
ax
e
d exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add isl_map_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
isl_map_sub
t
ract
.
c
:
m
ake som
e
i
n
ternal functions stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdoo
l
aege
add generic isl_map_project_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add isl_{
m
ap,set}_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verd
o
olaege
rename
isl_
{
m
ap,set}_add to
i
sl_{map,se
t
}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
d
oolaege
isl_set_proje
c
t_out: always upd
a
te dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_d
i
m
_joi
n
: don't requir
e
names of
joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ver
d
oolaege
add
i
sl_
m
ap_from_domain_and_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
e
rdoolaege
i
s
l
_
stream:
t
reat "-" as operat
o
r rather tha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdool
a
ege
isl_m
a
p_read:
a
c
cept "strict"
inequal
i
tie
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c:
f
ix mem
o
r
y
deallocation probl
e
m on missi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
ad
d
depende
n
ce ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl
_
map
_
{parti
a
l_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add private isl_{set
,
map}
_
ma
k
e
_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
bas
i
s_reduction_
t
e
m
pl
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolae
g
e
isl
_
tab_pip
.
c: find_solutions
:
brea
k
when context be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
V
erdoolae
g
e
i
s
l_dim_equal: don't re
q
uire names of input
and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl
_
di
m
_map: prop
e
rly
duplicate na
m
es
commit
|
commitdiff
|
tree
next