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 isl_set_product
2009-05-19
S
ven Ve
r
do
o
laege
add
i
sl_set_p
r
od
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
o
lae
g
e
e
xpo
r
t
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_map_c
o
nvex_hull:
handle unbounded,
but
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
a
ege
privately
ex
p
ort i
s
l_
m
at_unimodular
_
complete
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verd
o
ola
e
ge
isl_tab
.
c: add isl
_
tab_get_sa
m
ple_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_map_conve
x
_hul
l
: avoid introdu
c
i
n
g l
i
neal
i
ty sp
a
ces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
add two more con
v
ex hull tes
t
cases
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Ve
r
d
oolaege
isl_
m
ap_con
v
e
x_hull: re
m
ove lineali
t
y spa
c
e
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ve
r
doolaeg
e
add is
l
_
b
asic
_
set_is_
u
niv
e
rse
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolae
g
e
add isl
_
set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
ge
isl
_
conve
x
_
h
ul
l
.
c: update wrap
_
facet to the fac
t
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
ge
is
l
_
c
o
n
vex_hull
.
c: fi
x
typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
is
l
_co
a
l
e
sce
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
is
l
_
tab
.
c: fix
t
ypo in
c
o
m
m
ent
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_bas
i
c_set_get_
d
im
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoola
e
ge
i
sl_bas
i
c_
m
ap_g
i
st: normal
i
ze divs
(
i
f any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verdoolaege
isl_
b
asic_map_
s
i
mp
l
ify
:
r
e
move dup
l
icate divs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoola
e
ge
a
d
d
i
s
l
_bas
i
c_
s
et_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaeg
e
change
calling con
v
ention of isl_basic
_
map_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_map_sim
p
lify
.
c: uset_gist: brea
k
e
arly
i
f there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_map_simplify
.
c: uset_gi
s
t: break early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoola
e
g
e
add isl_basic_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
up
d
ate
p
i
plib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: store n
u
m
b
e
r of equalit
i
es among the constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
l
aege
i
sl_mat_exten
d
: properl
y
exte
n
d matrices with
r
eordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_map_g
i
st: han
d
le
so
m
e sp
e
cial ca
s
e
s
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
a
d
d isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add
i
sl_
b
a
s
ic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
i
s
l
_basic_map_gi
s
t: replace by n
e
w vers
i
on ba
s
ed on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
i
sl
_
map_simplify
.
c:
comp
u
te_elimination_i
n
dex
:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
add i
s
l_map_implici
t
_
equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add isl_basic_set_free
_
equalit
y
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
o
l
aege
isl_map_convex_hull
:
mark re
s
ult a
s
not havi
n
g
a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
c
onvex_hull:
c
oalesce
s
et
first
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_
s
et_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
i
nput
_
o
mega
.
c: basic_
m
a
p
_
read
:
a
c
c
ept "+" in c
o
nstraints
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaeg
e
add
i
sl_bas
i
c_set_al
l
oc
_
div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add isl_set_al
i
g
n
_
divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
u
s
e
t
_affi
n
e_hull: ign
o
re dire
c
tio
n
s in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
olaege
i
sl_basic_map
_
i
mplicit
_
e
q
ual
i
t
ies: p
e
r
form Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine
_
hull
.
c
:
outsi
d
e_point: check for obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
priv
a
tely export
i
sl_
b
asic_set_conta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
isl
_
ctx: add
n
egon
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
isl_vec_dump: handle NULL v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl_affine_h
u
l
l
.
c: extract uset_affine_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
e
r
d
oolaege
i
s
l
_
m
at_transpo
s
e
: han
d
le no
n
-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_map_simple_hull: compute
af
f
ine
hull b
e
for
e
al
i
gning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_map_simp
l
e_hull: mark r
e
su
l
t as
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolae
g
e
add isl
_
set_bounded_sim
p
le_
h
ul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_affine_hull: det
e
ct equalities o
f
integer
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_ba
s
ic_map_dup: copy flags of origi
n
a
l
t
o
d
upli
c
ate
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolae
g
e
i
s
l_basic_map_extend_dim: move responsibility
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_basic_map_exten
d
_dim
:
only e
x
tend con
s
traint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_solve_lp: use tableaus ins
t
ead o
f
calling
p
iplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl_
s
olve_lp: accept a
f
fine o
b
j
ect
f
unction instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull: use has
h
tables a
n
d table
a
us
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_convex_hull
.
c: ex
t
r
a
ct out
u
set_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_
c
onvex_hull
.
c
:
extend: avoid wrapping around a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conve
x
_hull
.
c: introduce p
r
oto_hull b
a
s
e
d
on
o
b
v
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_h
u
ll
.
c: move initi
a
l
hull c
o
ns
t
ruction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_convex_hull
.
c: mo
v
e
computation of boun
d
s in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
isl_map_convex_hull: c
h
e
ck for boundednes
s
using rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basi
c
_m
a
p_conve
x
_hull: use tableau to detect redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
isl_ta
b
.
c
: don't
dete
c
t equalities
w
h
ile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
add
isl_mat_exte
n
d
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add
i
s
l_set_di
m
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
p
rivately export isl_basic_
{
s
e
t,
m
ap}_
n
orma
l
ize_cons
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_ba
s
ic_set_extend_
d
im
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_ba
s
ic_map_eliminate_vars: cle
a
r divs
f
i
rst
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
isl_basic_ma
p
_eliminate_vars: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
h
ash_table_alloc a
n
d isl_h
a
sh_table_free
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdo
o
laege
isl_
h
ash_table_init: take
m
i
nimal
siz
e
instead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_{ba
s
i
c
_,}set_prei
m
age: drop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
ol
a
ege
isl_basic_m
a
p_interse
c
t
:
reuse
s
a
mple v
a
lue of eit
h
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_co
n
strai
n
t_
d
iv: perfo
r
m requir
e
d ref
e
rence
i
ncrease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
o
olaege
isl_
b
asic_
m
ap: put inequaliti
e
s before
equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_seq_normaliz
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolae
g
e
isl_ctx
.
h:
make FL
_
I
S
SET return
a
b
o
ol
e
a
n value
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
r
doolaege
rename F_ and
F
L
_ macros to
I
S
L_F_ and ISL_FL_ to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_mat
_
s
wap
_
cols
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
is
l
_mat_dump: also indent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
S
ven Ve
r
doolaeg
e
ad
d
isl_c
a
l
l
o
c
_type
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoo
l
a
e
ge
isl_map
_
c
o
nvex_hull: normalize ma
p
first
commit
|
commitdiff
|
tree
2009-03-08
S
v
e
n Verdoolaege
isl_set_preimage: clear
I
SL_SET_
N
ORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add isl_bas
i
c_map_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verd
o
ola
e
ge
ex
p
ort isl
_
basic_map_is_e
q
ual
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdo
o
laege
ad
d
i
s
l_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
erdo
o
la
e
ge
add isl_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
ad
d
is
l
_map_pro
d
uct
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
add isl_basic_map_add
_
constraint
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verd
o
olaege
i
s
l_m
a
p_piplib
.
c: isl_map
_
fr
o
m_quast: properl
y
keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
chan
g
e
c
alling
conve
n
ti
o
n of is
l
_basic_m
a
p_
{
eq
u
al,
l
ess_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Ver
d
oolaege
add
i
s
l_map_
c
opy_b
a
sic_ma
p
and isl
_
map_dro
p
_
b
a
sic_map
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdool
a
ege
add isl
_
map_from_ra
n
g
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_m
a
p_fas
t
_
is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ve
r
doola
e
ge
change calli
n
g convention of i
s
l_map_empty and
a
d
d
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n
Ve
r
dool
a
e
g
e
isl_map_intersect
_
{d
o
ma
i
n,r
a
nge}: all
o
w interse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
l
aege
isl_
m
ap_inter
s
ect: allow i
n
tersec
t
ion with pure parameter
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdo
o
l
aege
i
s
l
_bas
i
c_map_affin
e
_hull: fix s
e
arch for integer points
commit
|
commitdiff
|
tree
next