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
export isl_map_compute_divs
2010-02-09
S
ven Verd
o
olaeg
e
export isl_map_compute
_
div
s
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
doolaege
isl_cons
t
raint_d
i
v:
ma
k
e sure requested
d
iv is a known
div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
doc
:
drop documen
t
ation
of
_
d
ump func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
ola
e
ge
i
sl_map
_
print: improv
e
output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add
isl_b
a
sic_m
a
p_fore
a
ch_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
i
sl_ma
p
_
c
o
a
l
e
sce:
h
andle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Ver
d
oo
l
aege
privately export isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Ve
r
d
o
olaege
isl_convex_hull
.
c: wrap_fac
e
t
: allow u
n
bounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
d
o
olaege
doc: improve decription
of
i
sl_map_transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl
_
map_
t
ransitive_clos
u
re: improve test for
e
xactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
add a coun
t
er example for
Theor
e
m 1
o
f the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaeg
e
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl
_
m
ap_p
o
wer: c
o
alesc
e
d
oma
i
n and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_flow
.
c:
a
dd missing isl_access_i
n
fo_f
r
ee return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
e
g
e
i
s
l_coalesce
.
c: fix
typo in
com
m
ent
commit
|
commitdiff
|
tree
2010-02-07
Sven
Verdoolaege
inclu
d
e/isl_int
.
h: arg
u
ment of mp_get_memor
y
_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doola
e
ge
isl
_
m
ap_read:
a
ccept lists o
f
affine exp
r
essions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verd
o
olaege
add isl_mat_
f
rom_r
o
w_vec and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read:
r
ead extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
ad
d
i
s
l_str
e
am_ne
x
t_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
o
o
laege
i
sl_map_read: m
a
k
e
sur
e
polylib constra
i
nt coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laeg
e
isl_{map
,
set}
_
dim:
h
andle NULL input
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
laege
isl_map_read:
u
se more uniform way of reading in p
o
l
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoola
e
ge
isl
_
tra
n
sitive
_
clo
s
ure
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_ma
p
_transitive_closure: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
add isl_map_pow
e
r and is
l
_map_tr
a
nsit
i
v
e
_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl
_
ma
p
_subtract
.
c: make
s
om
e
inter
n
al
f
unctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
add generic isl_map_pro
j
ect_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n V
e
rd
o
olaege
add isl
_
{map,se
t
}_ad
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename isl_{map,s
e
t}_add to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaeg
e
isl_set
_
project_out: alway
s
update di
m
ension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolae
g
e
is
l
_d
i
m
_
j
o
in
:
d
o
n't require names
o
f jo
i
n
e
d variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl
_
map_
f
rom_
d
omain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_stream: treat "-" as op
e
r
a
tor rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_re
a
d
:
accept
"
stric
t
" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
la
e
g
e
isl_in
p
ut
.
c: fix memo
r
y
deallocation problem on missi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dependenc
e
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl
_
map
_
{part
i
a
l
_
,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
e
rdoola
e
ge
add private isl_{se
t
,map}_make_disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
basi
s
_reduc
t
ion_temp
l
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
i
sl
_
tab_pip
.
c: fin
d
_
solutions: bre
a
k when context beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolae
g
e
isl_di
m
_equal: don'
t
r
e
q
ui
r
e names of
input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
isl_d
i
m_map:
proper
l
y duplicate name
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_
d
im_drop:
p
roperly
a
dju
s
t length of names
a
r
r
ay
commit
|
commitdiff
|
tree
2010-01-26
S
ven Ver
d
oolae
g
e
doc: a bit mo
r
e on int
e
gers
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdoolaege
doc: desc
r
ibe input/o
u
tput
f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
eg
e
a
d
d
isl_cat te
s
t applicat
i
o
n
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
add
omeg
a
output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
e
rdoolae
g
e
add
i
sl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_
t
est: use
i
sl_set_read_fro
m
_
st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl_set_r
e
a
d
_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
add isl_m
a
p_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
is
l
_map_read_from_file: allow un
i
ons in isl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdo
o
laeg
e
isl_ba
s
ic_map_read
:
read definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately expor
t
isl_
b
asic_map_ad
d
_di
v
_constra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
erdoola
e
ge
isl_
b
a
sic_map_read: read affine const
r
aint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_input
.
c
:
optio
n
all
y
re
a
d parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
t
o
ke
n
izer:
a
ccept "an
d
" keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
ex
p
ort isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
e
x
p
ort isl_basic_map_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
drop redundant input_for
m
at argument
from
re
a
ding functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c:
merge functions for reading PolyLib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdool
a
ege
i
sl_input_omega
.
c
:
a
ccept
P
olyLib inpu
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: prepare
for r
e
ading param
e
tric unions
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_input_ome
g
a
.
c: finalize a
n
d simplify
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
i
s
l
_input
_
omega
.
c: fix check for memory allo
c
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stre
a
m_ne
x
t_token
:
ski
p
comme
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaeg
e
isl_tab_basic_map_par
t
ial_lexopt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
basi
c
_ma
p
_set_to_empty: remo
v
e sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
add isl_set_fast_is_em
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
Ve
r
doolaege
properly remove p
i
p
l
ib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n
Verdoolaege
isl_ba
s
ic_map_u
p
date_from_tab: re-g
a
uss resulting
b
map
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
V
e
r
d
oolaege
ax_submodule
.
m4:
don't let --with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
rdoola
e
ge
add isl_se
t
_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl
_
b
a
si
c
_s
e
t_co
m
pare_at
:
compute
r
esult in ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaeg
e
isl_t
a
b_pip
.
c: add cuts for all non-integ
e
r co
o
rdinat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven V
e
rdoolaege
is
l
_
basic_m
a
p_gist: don
'
t d
r
op equa
l
ities fro
m
c
o
n
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: ini
t
ial_facet_cons
t
raint
:
drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ve
r
doolaege
isl_convex_hull
.
c: is_in
d
ependent
_
b
ound: norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Verdoolaege
is
l
_co
n
vex_hull
.
c: extend: check
hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaege
i
s
l
_
mat_righ
t
_inv
e
rse: be more verbos
e
on
e
rro
r
condit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoola
e
g
e
isl_constrai
n
t_dup
:
make sure line r
e
fers
t
o
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolaege
add cop
y
r
igh
t
statements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n
Verdoolaeg
e
re
m
ov
e
functions for con
v
er
t
in
g
between
isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Ve
r
do
o
l
a
e
ge
isl_tab_solve_
l
p: inve
r
t optimal value
back whe
n
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
la
e
ge
i
s
l_map_int
e
rsec
t
: add special
c
ase for addi
n
g a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en
V
e
r
d
oolaege
isl
_
map_is_subset: break off as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
compute set difference usin
g
a
bac
k
tracking alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_map_s
u
b
tr
a
c
t
.
c: extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
is
l
_tab:
kee
p
track of isl
_
ba
s
ic_map instead of isl_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdo
o
l
a
ege
priv
a
tel
y
exp
o
rt
i
sl_basi
c
_map
_
contains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
add isl_basic_map_a
d
d_ineq
and isl_basic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolae
g
e
isl
_
tab_detect_r
e
dundant:
return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olae
g
e
i
sl_
t
ab: add isl_
t
ab_fre
e
ze_constra
i
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
laege
i
sl
_
t
a
b
_add_ine
q
and is
l
_tab_
m
ark_empt
y
: r
e
turn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoolaege
add mis
s
ing
A
UTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
eg
e
isl_bas
i
c_
s
et_swa
p
_vars: re-gaus
s
resu
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
en Verdoolaege
add
isl_basic_m
a
p_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
exp
o
rt isl_basic_map_lexmax
commit
|
commitdiff
|
tree
next