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
doc: improve decription of isl_map_transitive_closure
2010-02-08
Sven Verdoolaege
d
oc: imp
r
ove de
c
riptio
n
of isl_m
a
p
_transitive_
c
losu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaeg
e
isl_map_transitive_closu
r
e: i
m
p
r
o
v
e
test for ex
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add a counter example f
o
r Theor
e
m 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
a
d
d isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
i
sl_
m
ap
_
power: coalesce
d
omain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l
_flow
.
c: add missing isl_ac
c
ess_inf
o
_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
c
oalesce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sve
n
Verdoolaege
include/isl_int
.
h: argument of
m
p_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_ma
p
_rea
d
: accep
t
lis
t
s of affin
e
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
doolaege
add isl_m
a
t_from_row_ve
c
and isl_
m
at_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read:
r
ead
e
xtended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
add isl_stream_nex
t
_
t
o
k
en_o
n
_
s
ame_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map
_
read
:
make sure
polyl
i
b constrain
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdo
o
laeg
e
isl_{map,set}_dim: han
d
le N
U
LL
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read
:
u
se more unifo
r
m way
o
f rea
d
ing in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verd
o
o
l
aege
isl_transitiv
e
_closu
r
e
.
c: fix t
y
po in c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
oolaege
isl_
m
ap_transitive_closure: use more relaxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ola
e
ge
a
dd isl_
m
ap_
p
o
w
e
r
and i
s
l
_
m
a
p
_transitive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdo
o
laege
isl_map_
s
u
b
t
ract
.
c:
make some internal
f
unctions st
a
t
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generi
c
isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erd
o
o
l
aege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doo
l
a
e
g
e
rename isl_{map,set}_a
d
d
to
isl_{map,s
e
t
}
_
a
dd_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdool
a
eg
e
isl_
s
e
t_project_out: always updat
e
dimension,
ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
is
l
_dim_join: don't requir
e
names o
f
joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
add isl_
m
ap_f
r
om_d
o
main_an
d
_ra
n
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_stream: treat "-" as
o
perator
ra
t
her
t
han
a
s -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Ver
d
oolaege
isl_map_read: ac
c
ept "s
t
rict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
isl_i
n
put
.
c: fix memory d
e
a
l
locatio
n
p
r
oblem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
dool
a
ege
a
d
d
dependen
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd isl_map_{partial_,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
a
d
d pri
v
ate isl_{set,map}_
m
ake_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
bas
i
s_reduction_templ
.
c: fix
typ
o
in co
m
me
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdoolae
g
e
isl_tab_pip
.
c: find_solutions:
b
r
e
a
k
when co
n
text becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
im_equal:
d
on
'
t require nam
e
s of input and outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdoo
l
aege
isl_dim_map: properly duplica
t
e name
s
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim_drop: prope
r
ly adj
u
st len
g
t
h
o
f names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdo
o
laege
d
o
c
: a bit
more on i
n
te
g
e
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
doc: desc
r
ibe input/output fo
r
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
add is
l
_cat tes
t
a
pp
l
icatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
ad
d
o
mega out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
add is
l
o
u
t
put
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_t
e
st: use isl_set
_
read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_set_read_f
r
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add isl_map_r
e
a
d
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_map_
r
ead_from_fi
l
e
:
a
llow un
i
ons in isl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l
_basic_map_read: read
definition
s
of e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
pr
i
vatel
y
export is
l
_basic_map_
a
dd_d
i
v_c
o
nstraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l
_ba
s
ic_map_read: rea
d
affine constrain
t
as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
i
sl_input
.
c: optionally read
p
a
rame
t
ers from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
toke
n
i
z
e
r: accept "an
d
" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_map
_
read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
ex
p
ort isl_basic_map
_
re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop
redun
d
ant
in
p
ut_format argument f
r
om reading functi
o
ns
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdo
o
lae
g
e
is
l
_in
p
ut
.
c: merge fu
n
ctions for
r
eading P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_input_omega
.
c: accept PolyL
i
b in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
a
ege
isl_i
n
p
ut_
o
mega
.
c: prepare fo
r
reading
p
aramet
r
ic u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_in
p
ut_
o
mega
.
c: fina
l
ize
a
nd simplif
y
re
s
ulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdo
o
laege
isl_input
_
o
m
ega
.
c: fix
check
for memory al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_str
e
am_next_toke
n
: skip com
m
en
t
l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
i
s
l_
t
ab_basic_ma
p
_pa
r
t
i
al_lex
o
pt
:
p
rop
e
rly hand
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoo
l
aege
i
sl_
b
asi
c
_map
_
se
t
_t
o
_empty:
remove sampl
e
(if any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
add isl_set_fas
t
_is_e
m
p
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
pr
o
perly remove piplib s
u
bmodul
e
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verdo
o
laege
isl_basic_m
a
p
_
updat
e
_from_tab: re
-
gauss res
u
lting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doo
l
aege
ax_submodule
.
m4: don't le
t
--w
i
th
-
module conflict
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
l
a
ege
isl_basic_set_compar
e
_at: compute res
u
lt in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_pi
p
.
c
:
add
cuts for all non-integer c
o
ordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verdoolaege
isl_
b
asic_map_gist:
d
on't drop equa
l
i
ties fr
o
m con
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_co
n
ve
x
_hull
.
c:
i
nitial_facet_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
rdoolae
g
e
isl_convex_hul
l
.
c:
is_independent_bound: no
r
m
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolae
g
e
isl_conv
e
x
_
hul
l
.
c: extend: c
h
eck hull
argument
commit
|
commitdiff
|
tree
2009-12-18
S
ven
V
erdo
o
l
aege
isl_mat
_
right_inve
r
se: be more verbo
s
e on err
o
r condition
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdo
o
laege
i
s
l_
c
onstraint_du
p
: m
a
ke s
u
re line re
f
er
s
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolae
g
e
ad
d
copyright st
a
t
e
ments
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoola
e
ge
remove
func
t
i
o
ns
f
or
conve
r
ting between isl an
d
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n
Verd
o
o
l
a
e
ge
isl_tab
_
solve_lp
:
invert o
p
t
i
mal value back when c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
isl_map_
i
nt
e
rsect: add spec
i
al case for adding a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaeg
e
isl_map_
i
s_su
b
set:
b
reak
o
ff as soo
n
a
s dif
f
erence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaege
com
p
ute set difference using a backtracki
n
g algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
isl_map_subtract
.
c: ex
t
ract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaeg
e
isl
_
tab: keep
track of isl
_
b
a
s
ic_map i
n
s
tead of isl_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
privately ex
p
ort isl_bas
i
c
_
ma
p
_contains
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Ver
d
o
o
laege
add i
s
l_basic_map_add_ineq and i
s
l_basic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
isl_tab_detect_redund
a
nt: return status inst
e
ad
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab:
a
dd
i
s
l
_tab_f
r
eeze_co
n
straint
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdo
o
laege
isl_tab_ad
d
_ineq and isl_
t
ab_mark_empty: r
e
turn
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoola
e
ge
add m
i
s
s
in
g
AUTH
O
R
S f
i
le
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verd
o
olaege
isl_bas
i
c_set
_
swap_vars: re-
g
auss resulting b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add
i
sl_basic_
m
ap_first
_
co
n
st
r
aint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export
i
sl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
add isl_basic_set
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
isl_map_dro
p
_ba
s
ic_map: cons
i
ste
n
tly keep basi
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_tab: row i
s
only (
o
bviously
)
redundant
i
f it do
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdool
a
ege
i
s
l
_basi
c
_ma
p
_sim
p
lify:
make sure
to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolae
g
e
isl_tab_basic_map_pa
r
ti
a
l_lexopt:
use cont
e
x
t
con
s
t
r
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
isl_
t
a
b_
p
i
p
.
c: ignore dead columns when che
c
king integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optionally
p
erform some check
on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
put options
i
n a s
e
parate isl_options structure
commit
|
commitdiff
|
tree
next