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_coalesce: fix some regressions introduced by recent extensions
2010-02-17
Sve
n
Verdoolaeg
e
i
sl_m
a
p_co
a
les
c
e
: fix some re
g
r
e
ssions intr
o
duced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl_clos
u
re te
s
t application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add transitive cl
o
sure example from Ke
l
l
y
's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_map_transitiv
e
_closure: co
n
s
t
ruct gener
a
l paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
ege
is
l
_
m
ap
_
transitiv
e
_closure: p
r
epare for
t
he constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdool
a
ege
isl_map_transiti
v
e_closure: con
s
t
ruct path
s
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ve
r
doolaege
isl_tr
a
n
s
itive_c
l
osu
r
e: e
x
tra
c
t out constru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_transitive_closure: u
s
e more ge
n
eric
acy
c
licity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
o
o
l
aege
isl_map_print: add
parenth
e
ses aroun
d
di
s
jun
c
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_ha
s
h_
t
able
:
use size that corr
e
s
p
onds to
t
he
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
l
aege
isl_
h
ash_t
a
ble: grow table
w
hen we run out o
f
ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_ma
p
_coalesce: only use non-redundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolae
g
e
ad
d
isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoolaege
isl
_
map_read: acc
e
p
t
c
h
a
ins of com
p
a
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
o
o
laeg
e
e
x
port isl_
m
ap_a
l
i
gn_d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
isl_map_read: forget ex
i
s
tent
i
a
l
l
y
q
u
antified variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
is
l
_input
.
c: remove nee
d
less ind
i
r
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: do
c
um
e
nt
h
ow to
i
nspect sets and rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
export isl_
m
ap_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l_co
n
straint_div: make sure requested div
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
doc:
d
rop docum
e
ntation of
_dump funct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
isl_map_
p
r
int: improve out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
add isl
_
basic_map_foreach_constr
a
int
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoo
l
a
e
g
e
i
s
l_
m
a
p_coa
l
esce: handle m
o
re cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
privately
export
isl_set_w
r
ap_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
doolaege
is
l
_convex_hull
.
c: w
r
ap_facet: allow unbo
u
n
ded fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
doc: improve decri
p
t
io
n
o
f is
l
_m
a
p_tr
a
n
siti
v
e_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
olaege
isl_ma
p
_transitive_closu
r
e: improve test for exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
ad
d
a
co
u
nter example for Theorem 1 of the COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lower_bou
n
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_m
a
p_po
w
er: co
a
l
e
sce domain and r
a
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl_flow
.
c: add missing isl_ac
c
e
ss_info_free re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_coa
l
e
s
ce
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
i
sl
_
map_rea
d
: accept li
s
ts of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
ool
a
ege
add
isl_ma
t
_fr
o
m_row_vec
and
isl
_
mat
_
ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
aege
i
s
l_map_read: read extended p
o
lylib forma
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
V
e
rdo
o
laege
add is
l
_stream_next
_
t
o
k
en_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map_read: make sure p
o
lylib constraint coeffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
is
l
_{map
,
set}_dim: handle
N
ULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaeg
e
i
s
l_map_read: use more
u
n
i
form wa
y
of reading in
p
ol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
o
ol
a
ege
isl_tran
s
itive_cl
o
s
ure
.
c
:
fix t
y
po in co
m
men
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map_trans
i
tive
_
c
lo
s
ure:
use more
rela
x
ed e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
V
e
rdoolaege
add isl
_
map_pow
e
r and isl_map_transitive_c
l
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
i
s
l_map_su
b
tract
.
c
:
make s
o
me internal funct
i
o
n
s
stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
doolaege
add generic i
s
l_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aeg
e
ad
d
is
l
_{ma
p
,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename i
s
l_{map,set}_
a
d
d to isl_{map,set
}
_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
i
sl_set
_
project_
o
ut:
always update
d
imensio
n
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_dim_joi
n
: don't req
u
ire na
m
e
s of joined v
a
r
iab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
olae
g
e
add
isl_map_from_d
o
main_a
n
d_range
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolaege
isl_strea
m
: treat "-" as operator rather t
h
an as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
isl_map_
r
ead: accept "strict" i
n
equalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_input
.
c: fix memory deallocation prob
l
em on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
add dependence a
n
aly
s
is
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
a
d
d isl_ma
p
_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
a
dd private isl_{set,map}_ma
k
e_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
b
asis_reduction_templ
.
c: f
i
x typo
i
n commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
isl_tab_p
i
p
.
c: fin
d
_solutio
n
s: break w
h
en context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_di
m
_equal:
d
o
n
't re
q
uire
names of input
a
nd outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
i
s
l_dim_m
a
p: pr
o
per
l
y dupl
i
cate n
a
m
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
i
s
l_
d
i
m_drop: p
r
operly a
d
just length
o
f names a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
doc:
a
bit more o
n
inte
g
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
doc:
describe input/outp
u
t
f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n V
e
rdoolaege
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add
isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oolaege
add omega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
add
i
sl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
i
s
l_test
:
u
s
e i
s
l_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_set_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_map_read_f
r
om_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_map_read_from_file: allow
u
nions in
isl
f
orma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
i
s
l_basic_map_rea
d
: r
e
ad
d
efini
t
i
o
ns o
f
ex
i
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately export isl_basic_map_
a
dd_
d
i
v
_cons
t
raints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
b
asic_map_
r
ead: re
a
d
a
ff
i
ne constraint as two
a
ffi
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
is
l
_input
.
c
:
optio
n
a
lly
r
ead
p
arameters f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
toke
n
izer:
a
ccept "and"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_
m
ap_read_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
export isl_b
a
s
ic_map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant input_format argument from reading fun
c
tion
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
is
l
_
input
.
c:
m
erge functions
f
or reading P
o
l
y
Lib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ve
r
d
o
olae
g
e
i
sl_input
_
omeg
a
.
c: ac
c
ept P
o
l
y
L
ib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_input
_
o
mega
.
c: prepare for reading para
m
e
tric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
a
ege
isl_inpu
t
_omega
.
c
:
fin
a
lize and simp
l
ify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaeg
e
isl_input_omega
.
c:
f
ix
c
h
eck
f
or memo
r
y al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
r
d
oolaege
isl_stream_next_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_tab_basic_map_p
a
rtial_l
e
x
opt
:
p
r
op
e
rly
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_basic_map_set_to_em
p
ty: remove sample (
i
f any)
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdool
a
ege
ad
d
isl_set_fast
_
is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven
Verdoolaege
prope
r
l
y rem
o
v
e
p
iplib sub
m
odule
commit
|
commitdiff
|
tree
2010-01-08
S
ven Ver
d
oolaege
isl_
b
asi
c
_
m
a
p
_up
d
ate_from_tab: re-gaus
s
resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoola
e
ge
ax_
s
ubmodule
.
m
4
: don't l
e
t
--with
-
module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
i
s
l_basic_set_c
o
mpar
e
_at: c
o
mpute
r
e
s
ult in terms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_pip
.
c
: add cuts
for all non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdoo
l
aege
isl
_
basic_map_gist: don
'
t
drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoola
e
g
e
isl_convex_hull
.
c
:
initial_f
a
cet_constraint: drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdool
a
ege
isl_convex_hull
.
c
: is_in
d
ependent_bound: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
isl_conv
e
x_h
u
ll
.
c: ext
e
nd: c
h
e
c
k hu
l
l argu
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
g
e
isl
_
ma
t
_right_inver
s
e: be
more verbose on e
r
ror cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
e
rdoolae
g
e
isl_cons
t
raint_dup
:
make
s
ur
e
line refe
r
s to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
isl_map_interse
c
t: ad
d
s
pec
i
al case f
o
r adding a single
.
.
.
commit
|
commitdiff
|
tree
next