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_map_transitive_closure: extract out construction of extended path
2010-02-17
Sven Verd
o
olaege
isl_map_tr
a
nsitive_c
l
o
s
ure: e
x
t
r
act out constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laege
i
s
l
_
m
ap_transitive_clo
s
ure: move acyclici
t
y test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
Verdoo
l
a
ege
is
l
_
map_prin
t
: u
s
e
consistent names
o
n all di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl
_
c
at: allow speci
f
i
c
a
t
i
on of output
format o
n
c
o
mman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdool
a
ege
i
s
l_map_print: support ISL_FORMAT
_
PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_coalesce: fix
so
m
e re
g
ressio
n
s introdu
c
ed
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
laege
a
d
d isl_closure te
s
t application
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoola
e
g
e
a
d
d transiti
v
e closu
r
e e
x
a
m
pl
e
fr
o
m
K
e
l
l
y
's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_transi
t
ive_closure: constr
u
ct genera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdo
o
l
a
ege
isl_map
_
trans
i
tive_clos
u
r
e
: prepare for the c
o
n
struct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolaege
isl_map_tran
s
itive_closure: c
o
nstr
u
ct
paths tha
t
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitive_clo
s
ure
:
extract out
c
onstruct
i
on of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verd
o
olaege
isl_map_tr
a
nsi
t
ive_closu
r
e: us
e
more generic acyc
l
icity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_
m
ap_print:
add
p
arentheses
a
round
d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
is
l
_hash_table: use size t
h
at correspon
d
s to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oolaege
i
s
l_h
a
sh
_
table: grow table
when w
e
run out of e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
is
l
_map_co
a
lesce: only u
s
e non-redund
a
nt constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
ege
i
s
l_map_read:
a
c
c
ept ch
a
ins of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaeg
e
export isl_map_align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
Sven
Ve
r
dool
a
ege
isl_map_read
:
forge
t
ex
i
s
t
entia
l
ly quantif
i
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verd
o
o
l
aege
isl_input
.
c
: rem
o
ve
n
e
edles
s
indirect
i
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verd
o
o
laege
doc: document
h
o
w
to inspect sets and re
l
atio
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_compute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolae
g
e
isl_cons
t
raint_div: make sure
requested div is
a kn
o
wn
div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en V
e
rdoolaege
doc
:
dro
p
documentation
of _dum
p
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl
_
map
_
pri
n
t
:
improv
e
output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
d
oolaege
add i
s
l
_basic
_
map_foreach_con
s
traint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
o
olaege
isl_map_coalesce: han
d
le
m
or
e
ca
s
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
o
olaege
privately export isl_
s
e
t
_wrap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
i
sl_co
n
vex_
h
ull
.
c: wrap_face
t
:
a
llow unbounded facet
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
olaege
doc: improve d
e
cripti
o
n
of
i
sl_map_transitive_
c
losur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaeg
e
isl_
m
ap
_
trans
i
tive_
c
losu
r
e:
i
mprove t
e
st for
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add
a c
o
unter example for Theorem 1 of the COCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lo
w
er_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aeg
e
isl
_
map_power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_flow
.
c: add
missing i
s
l_ac
c
ess_info_fre
e
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
o
l
aeg
e
isl_
c
o
alesc
e
.
c:
f
i
x typ
o
in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sven
V
erdoolaege
include/isl_int
.
h: a
r
gument of mp_get_me
m
ory
_
functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
i
s
l
_
map_read:
a
c
c
ept
l
i
sts of affin
e
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
add isl_m
a
t_fr
o
m
_
row_vec and i
s
l_mat_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_r
e
ad: read
e
xtended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
add isl_stream_n
e
xt_toke
n
_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ve
r
doolaege
is
l
_map
_
read: make s
u
re polylib const
r
aint coeffi
c
i
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
e
g
e
isl_{map,set}_di
m
:
handle N
U
LL i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdool
a
ege
isl_
m
a
p_r
e
ad: u
s
e
m
o
r
e
u
ni
f
orm way of re
a
di
n
g in polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
s
l
_
trans
i
t
ive_cl
o
sure
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
i
s
l
_
map_tra
n
sitive_c
l
osure:
u
se more
rela
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoola
e
ge
ad
d
is
l
_
m
ap_power
a
nd is
l
_map_transitive_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolae
g
e
isl_map_subtract
.
c: make
s
ome in
t
ernal functi
o
ns stati
c
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
add generi
c
is
l
_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
g
e
add isl_
{
m
a
p
,
s
et}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
r
enam
e
isl_{m
a
p
,
s
e
t}_add
t
o
isl_{map,
s
et
}
_add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_set_project_o
u
t: alwa
y
s update di
m
ension
,
e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
is
l
_d
i
m_join: don't req
u
ir
e
names of joi
n
ed varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add
i
sl
_
map_from_domain_and_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_stre
a
m: treat "-" as opera
t
o
r
rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
olaege
isl
_
map
_
read: ac
c
ept "strict"
ine
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoola
e
g
e
isl_input
.
c: fix
m
emory deallocation
p
roblem on mi
s
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdoolaege
a
d
d
depe
n
dence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_map_{part
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private is
l
_{set
,
map}_make_disjoin
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
basis
_
red
u
c
t
ion_tem
p
l
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdo
o
laege
i
sl_tab_pip
.
c:
find_s
o
lutions
:
break when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
oolaege
isl_
d
im_equal: don
'
t require na
m
es of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim
_
map: pr
o
perly duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaeg
e
isl_dim_drop: p
r
operly adjust
length of nam
e
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdoolaege
doc: a bit mor
e
on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
d
oc: describe input/
o
utput
f
ormat
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
ol
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
ae
g
e
a
d
d isl_c
a
t test appli
c
ation
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add ome
g
a
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
ge
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_te
s
t: use
i
sl_set_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
a
ege
a
d
d
i
sl_
s
e
t
_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdo
o
laege
add isl_m
a
p_rea
d
_
f
rom_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_map_read_fr
o
m_file:
allow unio
n
s in isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
b
asic_map_read: rea
d
defini
t
io
n
s of exist
e
nt
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
p
r
ivately export isl_basic_map_a
d
d_div_co
n
straints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
lae
g
e
i
sl_basic_map_
r
ea
d
:
re
a
d
a
ffin
e
c
onstr
a
int as
t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
is
l
_inp
u
t
.
c:
o
pti
o
nally read parame
t
e
r
s from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
t
o
keniz
e
r: acc
e
pt "and" keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
export isl_map_r
e
ad_from_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oo
l
aege
export isl_basic_ma
p
_r
e
ad_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
drop
r
e
dundant
i
nput_format argument
from
r
e
a
ding functions
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ve
r
d
o
olaege
i
s
l_input
.
c:
m
er
g
e functi
o
n
s for reading
PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
s
l_inpu
t
_omega
.
c
:
accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdo
o
laege
isl_in
p
ut
_
o
mega
.
c: pre
p
are
f
o
r
reading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl_input_
o
meg
a
.
c
:
finalize and simplify
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doo
l
aege
is
l
_input_omega
.
c: fix
c
h
e
c
k
for
m
e
mory al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream
_
next_
t
o
ken: s
k
ip comment
l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
is
l
_tab_ba
s
ic_map_
p
artial
_
lexop
t
: properly h
a
n
dl
e
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdo
o
laege
is
l
_b
a
sic
_
map_set_to_empty:
re
m
ove
s
ample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolae
g
e
a
dd isl_s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
e
g
e
p
r
operly
r
emove
pi
p
lib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ve
r
doolaege
i
s
l_
b
asic_m
a
p_updat
e
_from
_
tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x_submodule
.
m4: don't let --w
i
th-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
Verdoolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basi
c
_set
_
compare_a
t
: com
p
ute result
in
t
erms
of
.
.
.
commit
|
commitdiff
|
tree
next