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_read: accept chains of comparisons
2010-02-13
Sven
V
e
r
d
oolae
g
e
isl_map_read: accept chai
n
s of c
o
mparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n
V
erdoolaege
expo
r
t isl_map
_
al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoola
e
ge
i
s
l
_
map_read: forget existent
i
ally qua
n
tified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
isl_input
.
c: remove
n
e
e
d
l
es
s
indi
r
ection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
do
c
: d
o
cument how
t
o i
n
s
pect sets
an
d
relation
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
export isl_m
a
p_comp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
V
erdoolaeg
e
isl_cons
t
r
a
int_div: mak
e
sure requested div is a k
n
ow
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop docume
n
t
ation o
f
_dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verd
o
olaege
isl_
m
a
p
_print: improve outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
add
isl_basic
_
map_foreach_co
n
straint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coal
e
sce: handle more
cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaege
priva
t
ely export i
s
l_set_wr
a
p_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdo
o
laege
isl_con
v
ex_hull
.
c
:
w
r
ap_
f
acet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc
:
imp
r
o
v
e
d
ecriptio
n
o
f isl_map_transitive
_
c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_
m
ap_tr
a
nsit
i
ve_
c
losure: impro
v
e test for
e
xactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
add a counter example f
o
r Theorem
1
o
f the
C
OCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add isl_map_lower_bo
u
nd_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_powe
r
: co
a
le
s
c
e
domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aeg
e
i
s
l_flow
.
c
:
add missing
isl_access_info_f
r
e
e return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
is
l
_coalesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Ve
r
do
o
laege
i
n
clude/
i
sl_int
.
h: argument
of mp_get_memory_f
u
nction
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolae
g
e
i
sl_map_read: acc
e
pt lists
o
f affine
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
add isl
_
mat_from_row_vec and isl_ma
t
_v
e
c_c
o
n
ca
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_read:
r
e
ad
e
xt
e
nded
p
o
lylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
add isl_stream_next_token_on_sa
m
e_lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map_re
a
d: make sure polylib constrai
n
t coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolae
g
e
isl_{map,set
}
_dim: handle NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
i
sl_map_read:
u
s
e more unifor
m
way of readi
n
g i
n
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_transitive_closure
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
is
l
_m
a
p_trans
i
tive_clos
u
re:
u
se
more r
e
laxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l_
m
ap
_
power an
d
isl
_
map_transi
t
ive
_
cl
o
s
ure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_map_su
b
tract
.
c:
make s
o
me intern
a
l f
u
nctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Ver
d
ool
a
ege
ad
d
i
s
l_{
m
ap,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
rename
isl_{map,set}_add
to isl_
{
ma
p
,set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
l
a
ege
isl_
s
et_pro
j
ec
t
_ou
t
:
always u
p
date
dimensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_di
m
_j
o
in: don't
r
e
quire names
o
f joine
d
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
d
ool
a
ege
add isl_ma
p
_
f
ro
m
_d
o
main_and
_
r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolaege
isl
_
st
r
eam: treat "
-
" as operator rather
t
h
an as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
olaege
isl
_
map_re
a
d: acce
p
t
"st
r
ict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_
i
nput
.
c: fix mem
o
ry dea
l
l
oc
a
tion pro
b
le
m
on m
i
ssing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
add depen
d
ence ana
l
ys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
add isl
_
map_{partial
_
,
}
l
exopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add
p
rivate isl_{set,ma
p
}_ma
k
e_d
i
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
basis_r
e
duction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
V
erdoo
l
a
ege
isl_tab_pip
.
c: find_
s
olutions: break when context
b
eco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_equal:
don't require names of input and outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl_
d
im_m
a
p
: p
r
o
perly dup
l
icate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laeg
e
isl_dim_drop: prope
r
ly
a
dj
u
st l
e
ngth o
f
names array
commit
|
commitdiff
|
tree
2010-01-26
S
ven V
e
rdoolaege
doc
:
a bit more on i
n
te
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc: desc
r
ibe in
p
ut/o
u
tput formats
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Ve
r
doolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl_cat t
e
st applicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoola
e
ge
add
omega
output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdool
a
ege
a
d
d
isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rd
o
olae
g
e
i
s
l_te
s
t: use isl
_
s
et_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
olaege
ad
d
isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add
isl_m
a
p_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolae
g
e
isl_map_read_f
r
om_f
i
le:
a
llow unions in
i
sl for
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
is
l
_
b
asic_map
_
read: read defini
t
ions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
pri
v
ately e
x
port isl_basic_map_add_
d
iv_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
i
s
l_basic_ma
p
_r
e
ad:
read affine c
o
n
straint
a
s two aff
i
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl
_
inp
u
t
.
c: optionally read
p
aramet
e
rs from input
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
tokenizer
:
accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
eg
e
export isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
laege
export isl_basi
c
_
m
ap_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ver
d
oo
l
aege
drop re
d
un
d
ant input_format argument from read
i
ng f
u
n
ctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolae
g
e
isl_input
.
c: merge
f
unctions for
reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdo
o
lae
g
e
isl_input_omega
.
c: a
c
cept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl
_
input_o
m
ega
.
c:
p
repare for reading para
m
etric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
a
ege
i
s
l_input_
o
m
e
g
a
.
c: fi
n
al
i
ze an
d
sim
p
lif
y
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
i
s
l_input_om
e
ga
.
c: fix check f
o
r
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
V
erdoolaege
isl_
s
t
ream_
n
ext_toke
n
:
s
kip comm
e
nt lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
oolaege
isl_tab_bas
i
c_m
a
p_par
t
i
a
l_l
e
xopt: p
r
operly ha
n
d
le empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
lae
g
e
i
sl_basic_map_set_to_empty:
remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
add
i
sl_set
_
f
a
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven V
e
rdoolaeg
e
properly
r
e
move
p
iplib submo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdo
o
l
aege
isl_basic_map_update_fr
o
m_tab: r
e
-gauss re
s
ulting bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n Verdoo
l
aege
ax_s
u
bmodule
.
m4: do
n
't let --with-modul
e
conflict
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolae
g
e
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
i
s
l_basic
_
set_compare_at:
c
ompute result in
t
e
r
ms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoola
e
ge
isl_tab_pi
p
.
c
:
add cuts
for a
l
l non-int
e
ger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
i
s
l_bas
i
c_map_gist: don't d
r
op equal
i
ties from context
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaeg
e
isl_convex_hull
.
c
:
i
ni
t
ial
_
facet
_
constra
i
nt
:
d
rop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verd
o
olaege
isl_co
n
v
e
x_hull
.
c: is_independe
n
t_boun
d
: normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
rdoolaege
isl_conve
x
_hull
.
c
:
extend:
c
heck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdo
o
l
a
e
ge
isl
_
mat_
r
ight
_
inverse
:
b
e more ve
r
bose
o
n
error
condition
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_
c
onstrain
t
_du
p
:
m
ake sure li
n
e refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
r
dool
a
e
g
e
a
d
d copyright s
t
a
tements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verd
o
olaege
re
m
ove functions for converting between
i
sl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
S
v
en Ver
d
oolaege
isl
_
tab_solve_lp: invert optimal value
b
ack when computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaege
isl_map_intersec
t
: add speci
a
l case for adding a
s
ingle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdool
a
ege
i
sl_map_is
_
subset: break off a
s
soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
co
m
p
ut
e
set differenc
e
using a backtracking algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
d
oolaege
isl_map_s
u
btract
.
c:
extract fro
m
i
s
l_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
e
g
e
isl_ta
b
: k
e
ep track of i
s
l
_basic_map instead of is
l
_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
aege
privately export isl_basic_map
_
c
o
nta
i
ns
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
add isl_basic_map_add_
i
neq a
n
d isl_basic_ma
p
_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_tab_detect_redundan
t
: return status in
s
tead
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdo
o
l
a
ege
isl_ta
b
: add i
s
l_tab_freeze_constraint
commit
|
commitdiff
|
tree
next