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: handle more cases
2010-02-08
Sven Verdoolaege
isl_map_coalesce:
h
andle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export i
s
l
_
set_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
ege
i
sl_convex_hull
.
c
:
wr
a
p_facet:
a
llow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc:
i
mprov
e
decription of i
s
l
_
map_tr
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_map_transitive
_
c
l
os
u
re: improve t
e
st for
e
xactness
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
add a counter ex
a
mpl
e
fo
r
Theorem 1 of the C
O
CO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Ver
d
oolaeg
e
a
dd is
l
_m
a
p_lower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
i
sl_ma
p
_power
:
coalesce dom
a
i
n
a
nd range
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdo
o
laege
isl_flow
.
c: add m
i
ssing i
s
l
_access_
i
nfo_
f
r
ee
ret
u
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olae
g
e
isl_coalesce
.
c: fix
typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-07
Sven
Verdool
a
ege
inclu
d
e/i
s
l_int
.
h: argument
o
f mp_ge
t
_m
e
mory_function
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_ma
p
_re
a
d: acc
e
pt list
s
of
affine e
x
pre
s
sions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
a
d
d is
l
_mat_f
r
om_row_vec an
d
isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_map_
r
ead: read extend
e
d
poly
l
ib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
e
rdoolaege
add isl_stream_next_tok
e
n_on_same_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_read: make s
u
re
polylib const
r
ain
t
coefficient
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
isl_{ma
p
,set}_d
i
m: handle NULL i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoola
e
ge
isl_map_read:
u
s
e mo
r
e unif
o
rm way o
f
reading i
n
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
isl_transitive_closure
.
c: f
i
x
t
y
po in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoolaege
isl_map_t
r
ansitive
_
c
losure: use more r
e
laxed e
x
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
a
d
d
i
sl_map_power and isl_map_transiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
o
laege
isl_map_s
u
btract
.
c: mak
e
some internal
f
unctions stati
c
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
ol
a
ege
a
dd g
e
neric is
l
_map_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l_
{
map,set
}
_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aeg
e
rename isl_{m
a
p,set}_add
to is
l
_{ma
p
,
se
t
}_
a
d
d_bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdool
a
ege
i
s
l_set_project_out: always update di
m
ension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_dim_join: d
o
n
't re
q
uire names of joined variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaeg
e
add
i
sl_map_from_
d
o
main_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_stream: treat "-" as operato
r
rather
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: accept
"strict" in
e
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
eg
e
isl
_
i
n
p
u
t
.
c: fix memory
d
e
allocation pr
o
blem
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
a
d
d de
p
ende
n
ce
a
nalysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
l
aege
add isl_ma
p
_{partial_,}lexo
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoo
l
a
e
ge
add p
r
ivate isl_{se
t
,map}_
m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
b
asis_redu
c
tion
_
templ
.
c:
fi
x
t
ypo in comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
oolaege
i
sl
_
t
ab_
p
ip
.
c: find_solutions: break whe
n
context beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_
e
qual
:
d
o
n't require na
m
es
of input and
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_dim
_
m
a
p: properl
y
duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Verdoolaege
is
l
_dim
_
d
r
o
p
: properly adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
Verdoolaege
doc:
a
b
it more on integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoola
e
ge
doc: describe
i
npu
t
/outp
u
t for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolae
g
e
add i
s
l_
c
at t
e
st
a
pplic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oo
l
aege
a
d
d omega output
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ver
d
oola
e
ge
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoo
l
aege
isl_test:
u
se
i
sl_set_read_
f
rom
_
st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doo
l
a
e
ge
a
d
d isl_set
_
r
ead_f
r
om_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
isl_map
_
read_from_fi
l
e:
allow
u
n
i
o
ns in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_m
a
p_read: read d
e
fin
i
tions of existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdo
o
laege
p
r
ivately export
i
sl_basic_map_a
d
d_div
_
constr
a
i
n
ts
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaeg
e
isl_ba
s
ic_map_read: read affine
c
onstraint
a
s
two af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
o
la
e
g
e
i
sl_
i
nput
.
c: optionally rea
d
param
e
ters from
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
oola
e
g
e
tokenizer:
a
cc
e
pt "
a
nd" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
export i
s
l_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
expor
t
isl_bas
i
c_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
drop re
d
undant i
n
put_form
a
t argument
f
r
om reading
functi
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
isl
_
input
.
c:
merge functi
o
ns for re
a
ding P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
isl
_
inpu
t
_omega
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
ven
Ver
d
o
o
laege
isl_in
p
ut_omega
.
c: prepare
f
o
r rea
d
in
g
parame
t
ric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
ut_omega
.
c: fi
n
alize and simplif
y
result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_input_omega
.
c: fi
x
check for m
e
mory allo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
erdoolaeg
e
isl
_
s
trea
m
_
n
ext_toke
n
: sk
i
p co
m
ment
l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdo
o
laege
isl_tab_b
a
s
i
c_map_parti
a
l_lexopt
:
prop
e
r
ly
h
a
ndle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaeg
e
isl_basic_map_set_to_em
p
ty: remove sample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Ve
r
doolae
g
e
add i
s
l_s
e
t_
f
ast
_
is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoola
e
ge
pr
o
p
erly remov
e
pip
l
ib
submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verd
o
o
l
aege
i
s
l_ba
s
ic_map_update_from_tab:
r
e-gauss r
e
sulting bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdo
o
laege
ax_submod
u
le
.
m4: don't let --w
i
th-m
o
dule conf
l
ict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sv
e
n
Verd
o
olaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdoolaeg
e
i
sl_basic
_
s
et_compare_at: co
m
p
u
te result i
n
te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
la
e
g
e
isl_t
a
b_pip
.
c: add c
u
ts for all non-
i
nt
e
ger coo
r
dinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en
V
e
rdoolae
g
e
is
l
_basic_map_gist: d
o
n't drop equaliti
e
s from
con
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Ve
r
doolaege
isl_convex
_
hull
.
c:
i
ni
t
ial_fa
c
et_cons
t
ra
i
nt:
d
r
o
p
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_con
v
ex_hu
l
l
.
c:
i
s_independent_bound: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_con
v
ex_hull
.
c: extend:
c
heck hull
argu
m
e
n
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Verdool
a
ege
isl_mat_
r
ight_inv
e
rse: be more ve
r
bose on error con
d
ition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl_constra
i
n
t_dup: make s
u
re line
r
efers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Ve
r
d
oolaege
add copyrig
h
t
sta
t
e
m
ents
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
remov
e
fun
c
tions for conve
r
ting between isl a
n
d PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaeg
e
isl
_
tab
_
solv
e
_
lp: invert optimal
v
alue bac
k
when
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolae
g
e
i
sl_map_int
e
rsect:
a
dd special case fo
r
adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verd
o
olaege
isl_map_is_subset:
bre
a
k off as soon as diff
e
rence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verdoolae
g
e
com
p
ute
set di
f
fere
n
ce using a
backtracki
n
g algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
i
s
l_map
_
subtract
.
c: extract
from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
V
e
r
doolaege
isl_
t
ab: keep tr
a
ck of isl_basi
c
_map instead
o
f isl_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
priv
a
t
ely expo
r
t isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Ver
d
oolaege
add
isl_basic_map_add_ineq a
n
d isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
v
en
V
erdoolaege
isl_
t
ab_detect_re
d
undant
:
return st
a
tus
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
isl_ta
b
:
a
dd
i
s
l_tab_freeze
_
constraint
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n
Ver
d
oolaeg
e
i
s
l_tab_add_ineq
a
nd isl_tab_m
a
rk_
e
mpty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Ve
r
doolaege
add
missing
A
UTHORS fil
e
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
isl_
b
asi
c
_se
t
_swa
p
_vars: re-
g
auss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add
i
s
l_basic_map_first
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
ex
p
ort isl_basic_map_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
V
erdoolaege
add isl_ba
s
ic_se
t
_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_map_
d
rop_basic_map:
c
onsistently keep basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdo
o
laege
i
s
l_tab: row is only (obviously) redundant if
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven
V
erdoolaege
isl_basic_
m
ap_simplify
:
ma
k
e
sure to rerun
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
is
l
_tab_basic_ma
p
_partial_lexo
p
t: use c
o
ntext const
r
aints
.
.
.
commit
|
commitdiff
|
tree
next