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 a counter example for Theorem 1 of the COCOA paper
2010-02-08
S
ven Ver
d
oolaege
ad
d
a
counter
example for Th
e
orem 1
of t
h
e COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add is
l
_
m
ap_l
o
wer_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_
m
ap
_
p
ow
e
r
:
co
a
lesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
oolaege
isl_flow
.
c: add missin
g
i
s
l_access_info_fre
e
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
e
g
e
isl_coa
l
esce
.
c:
f
ix typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
erdo
o
la
e
ge
isl_map_read: a
c
c
ept
lists of affine expressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
add isl_mat_fr
o
m_row_v
e
c and isl_
m
at_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
is
l
_
m
ap_read: read extended polylib
format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_str
e
a
m
_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolae
g
e
isl_map_read
:
m
ake su
r
e
polylib constraint coeffi
c
ients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolae
g
e
isl_{map,set}_dim: hand
l
e N
U
LL input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ve
r
d
oolae
g
e
i
s
l_map_r
e
ad: use
more
un
i
form way
o
f r
e
a
ding in
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaeg
e
isl_tr
a
nsitive_closure
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
isl_map
_
tr
a
nsi
t
ive
_
clo
s
ure:
u
se more re
l
ax
e
d
e
xactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_
m
ap_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oo
l
aege
isl_
m
ap_subtract
.
c: make some
int
e
rnal fun
c
t
i
on
s
static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
a
dd ge
n
e
r
ic is
l
_map_project
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map
,
set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
rename
i
sl_{map,
s
et}_add to isl_{map,s
e
t}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
i
sl_s
e
t_pro
j
ect_out: always update d
i
m
e
nsion
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
Verdoolaege
i
s
l_dim_join: don'
t
require names of joi
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add isl_map_fr
o
m_dom
a
in
_
an
d
_ra
n
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_strea
m
: t
r
eat "-"
a
s operato
r
r
athe
r
than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl
_
map_read
:
accept
"
strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_in
p
ut
.
c:
f
ix m
e
mory deallocation
p
ro
b
lem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoola
e
ge
add
dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
rdoo
l
aege
add
is
l
_
map_{partia
l
_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doo
l
aege
a
d
d private isl_
{
set,map}
_
make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdoolaege
ba
s
i
s_redu
c
tion_templ
.
c: f
i
x t
y
po
i
n commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
is
l
_
t
ab_pip
.
c: fi
n
d_soluti
o
n
s
: break whe
n
context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_eq
u
al: don
'
t r
e
quire na
m
es
o
f i
n
put an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
rdoola
e
ge
isl_dim_map:
properly
du
p
licate names
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdool
a
e
ge
isl_dim_drop: prope
r
ly a
d
just length of n
a
mes
arra
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
d
oc: a bit more on
i
ntegers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: d
e
s
cribe input/outp
u
t formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
d
o
olaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl
_
cat test application
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
r
d
o
o
laege
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
add
isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doolaege
isl_test
:
u
s
e isl_set_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ver
d
oolaege
a
d
d
isl_se
t
_
r
e
ad_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add
isl_ma
p
_read_fr
o
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
laeg
e
isl_map_r
e
ad
_
from_f
i
le: allow unions in isl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
isl_basi
c
_
map_r
e
ad: read
defini
t
ions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
o
olaege
privately exp
o
rt isl_basic_map
_
add_di
v
_const
r
a
i
nts
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdo
o
laege
is
l
_
b
asic_ma
p
_read: read affine
c
o
nstraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
isl_input
.
c
: opt
i
ona
l
l
y read parameters from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdool
a
ege
tokeniz
e
r: accept "and
"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdo
o
laege
e
xport isl_map_r
e
ad_from
_
fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_
m
ap_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
drop redundan
t
i
npu
t
_format argument fro
m
re
a
ding functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
is
l
_in
p
ut
.
c:
merge functions for reading Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
is
l
_
input_omega
.
c: ac
c
e
p
t
P
o
l
yLi
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_input_omega
.
c
: prepare f
o
r reading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_input_omega
.
c: finalize and s
i
m
p
lify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: fix check fo
r
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_stream_ne
x
t
_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
er
d
oo
l
aege
i
sl_tab_basic_map_
p
artial_lexopt: properly
h
a
n
dle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
isl_basic_map_set
_
to_e
m
pty
:
r
e
move
s
ample (
i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n V
e
rdo
o
la
e
ge
add isl_set_fast_i
s
_empty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n Ver
d
oolaege
properly re
m
o
v
e pipl
i
b submodule
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n Verdoolae
g
e
i
sl_b
a
sic_map_
u
pda
t
e_fro
m
_tab:
r
e
-
g
a
uss resulti
n
g bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verd
o
olaege
ax_submodule
.
m4: don't
l
et --wit
h
-mo
d
ule con
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
Verdoolaege
add isl_
s
et_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_b
a
sic_set_
c
omp
a
re_at: compute r
e
sult in
t
e
r
ms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
V
e
rdoolaege
i
s
l_tab_pip
.
c: a
d
d cu
t
s for all n
o
n
-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_bas
i
c_m
a
p_gist: do
n
'
t
d
r
o
p
eq
u
aliti
e
s f
r
om
c
o
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
i
s
l
_convex_hull
.
c: in
i
tial_f
a
cet_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_convex_hul
l
.
c:
i
s_i
n
dependent_bou
n
d: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl_convex_hull
.
c: extend: check hull
argument
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
r
doolaege
isl_mat_right_inverse: be mor
e
verbose on
e
rror co
n
dit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
a
ege
isl_co
n
strai
n
t_dup: make sure
line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdo
o
lae
g
e
isl_map_interse
c
t: add special case for
ad
d
ing a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
compute set dif
f
erence u
s
ing a backtracking
a
lgor
i
t
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_map
_
subtrac
t
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
ool
a
eg
e
isl_tab
:
k
eep t
r
ack of is
l
_basic_map in
s
t
e
a
d
of isl_basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
private
l
y expor
t
is
l
_basic_map_conta
i
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
dool
a
ege
a
dd isl_basic_map
_
add_
i
neq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Verdoolaeg
e
isl_tab_detect_redun
d
a
nt: retur
n
stat
u
s instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
do
o
laege
isl
_
tab:
a
dd is
l
_tab_fr
e
eze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
erdool
a
ege
i
s
l_tab_ad
d
_
ineq
a
nd isl_tab_m
a
rk_em
p
ty:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
add missi
n
g
A
UTHORS
f
ile
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n
V
e
rdoolaege
i
sl_basic_set
_
swap_vars: re-
g
auss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
ad
d
isl_b
a
sic_map_fi
r
st_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
ex
p
ort isl_basic_map_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
a
dd isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verd
o
o
l
a
e
ge
is
l
_map_d
r
op_bas
i
c_map: c
o
n
s
istently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
i
s
l_tab: row is o
n
l
y (obvious
l
y) redunda
n
t
if
it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
isl_basic_map_
s
implify:
m
a
ke sure t
o
rer
u
n
Gau
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_tab_b
a
sic_map_part
i
al_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c: ignore dead co
l
u
m
ns
w
hen checking inte
g
r
al
i
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l
_
pip:
o
ptionally perform
s
ome check on the results
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
put opt
i
ons in a
separate isl_option
s
structur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
a
dd
rudimentary argument par
s
i
n
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
l
aege
isl_tab_c
o
m
pute_reduc
e
d_basi
s
:
handle empty
tables
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
e
g
e
isl_basic_set_solve_ilp:
h
andle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
i
s
l
_
basic_set_so
l
ve_i
l
p
: fix
h
a
n
dling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
d
o
olaege
add isl
_
set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoola
e
ge
a
d
d
isl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add isl_basic_se
t
_fix
commit
|
commitdiff
|
tree
next