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_map_coalesce
2009-06-05
S
ven V
e
rdoolae
g
e
add isl_map_coa
l
e
sce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
a
d
d isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdo
o
l
a
ege
expor
t
isl_map_
d
im
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
i
s
l
_map_con
v
ex_hu
l
l:
handle
unbounde
d
,
bu
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdo
o
laege
privately export
i
sl_m
a
t_unimodular_comp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaeg
e
isl
_
tab
.
c:
a
dd isl_t
a
b_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
isl
_
ma
p
_
c
o
n
vex
_
h
ull:
avo
i
d
introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verdoolaege
add t
w
o more convex hull te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_h
u
l
l
: remove lineality sp
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoola
e
ge
add isl_basic_set_
i
s_un
i
v
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl
_
c
o
nv
e
x_hull
.
c: upd
a
te wrap
_
facet t
o
the fa
c
t we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven Ve
r
doola
e
g
e
is
l
_co
n
vex
_
hull
.
c:
f
ix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl
_
coalesce
.
c
:
f
i
x typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doo
l
aeg
e
isl
_
tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
c
onfigure
.
i
n:
set AC_CONFIG_
M
ACR
O
_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
ad
d
i
s
l_ba
s
ic_set_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolae
g
e
is
l
_
basic_map_gist: n
o
rmalize divs (if
a
n
y
) in
c
ontex
t
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
olaeg
e
is
l
_basic_map_si
m
plify:
r
e
mo
v
e dupli
c
a
t
e divs
before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolae
g
e
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
cha
n
ge calling convention of
i
s
l_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl
_
m
ap_simpli
f
y
.
c: uset_
g
i
s
t
:
br
e
ak early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_map_
s
implify
.
c: uset_gist:
b
r
eak early if
intersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
a
d
d isl_
b
asic_set
_
fast_
i
s_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
upd
a
t
e
piplib
to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven
V
erdool
a
ege
i
s
l_tab
.
c:
s
tore n
u
m
ber
o
f equal
i
ties a
m
ong the
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_mat_extend: properly exten
d
matri
c
es with reor
d
ered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
ola
e
ge
isl_map
_
gist:
h
a
ndle so
m
e
sp
e
cial
ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
add isl_map_
u
niverse
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olae
g
e
a
dd isl_ba
s
ic_map_fast_i
s
_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl_
b
asic_map_gist
:
repla
c
e by
new ver
s
i
o
n
base
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_map_simplify
.
c: compu
t
e_eliminatio
n
_index:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_ma
p
_im
p
l
i
cit_equalit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
basic_set_free_e
q
uali
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolae
g
e
i
s
l_map_c
o
nvex_
h
ull:
m
a
r
k re
s
ult as not havi
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
conve
x
_hull: coalesc
e
set first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add isl
_
set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
isl_inpu
t
_omega
.
c: basic_
m
ap_read: accept "+" in constraint
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoo
l
aege
a
dd isl_basic_set_a
l
loc_div
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add
i
sl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Ver
d
o
ol
a
eg
e
us
e
t_affine_hull: ign
o
re directions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaeg
e
isl_basic_m
a
p_im
p
licit_e
q
ualities: perform Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_af
f
ine_
h
ull
.
c
:
o
u
tside_point: ch
e
ck for obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
ge
priv
a
tely exp
o
rt isl_
b
as
i
c_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
is
l
_c
t
x: add
n
egone
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
is
l
_vec
_
dump: handl
e
NULL v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_affine_h
u
ll
.
c: extract uset_affine_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
a
e
g
e
is
l
_m
a
t_transpose: handle non
-
rectangul
a
r mat
r
ices
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
sl
_
map_simple_
h
ull: compute affine
hull befor
e
aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
isl_map_simple
_
hull: mark result as n
o
t hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_bounde
d
_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map_affine_hull:
d
etec
t
equa
l
iti
e
s of inte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_map_dup:
copy flags of original to duplic
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
isl_basic_map_extend
_
dim: move responsi
b
ility
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
basi
c
_map_extend_dim: o
n
ly extend co
n
straint
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_solv
e
_l
p
: use table
a
us ins
t
ead
of ca
l
ling
p
iplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_sol
v
e_
l
p: accep
t
a
f
fi
n
e ob
j
ec
t
function
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl_map_simple_hull:
u
s
e ha
s
h tables a
n
d tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_convex_hull
.
c
: extract out uset_simple_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
eg
e
isl_convex_hull
.
c: extend: av
o
i
d wrapping arou
n
d already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
s
l
_
c
o
n
vex_hull
.
c: introduc
e
proto
_
hul
l
base
d
o
n obv
i
ou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_convex_hull
.
c: move initial hu
l
l
construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
s
l_co
n
ve
x
_
hull
.
c: move computation of
b
ou
n
d
s
int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
sl_m
a
p_co
n
v
e
x
_hull: c
h
eck for boundedness using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aege
isl_b
a
sic_map_
c
onvex_hull: use tableau t
o
detect r
e
dun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
isl_affin
e
_hull
.
c:
u
s
e
tableau to detect implicit eq
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
tab
.
c: d
o
n't
d
e
tect equalities while s
e
tti
n
g up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
inte
r
nal representation of LP tabl
e
a
us
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_ma
t
_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add
i
sl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privat
e
l
y export isl_basic_{
s
et,map}
_
n
o
rmalize_constraint
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
ad
d
isl_basic_se
t
_
extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ba
s
ic_map_eliminate_vars
:
c
l
ear divs first
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_basic_map_
e
lim
i
n
a
t
e_vars: remov
e
all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add
i
s
l_h
a
sh_table_alloc an
d
isl_hash_table_f
r
ee
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_hash_table_init: take minimal size
i
nstead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_{ba
s
i
c
_
,}set_preimage:
drop ctx
a
rgument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
b
asic_m
a
p_inte
r
sect: re
u
se sample value of eith
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
dool
a
e
g
e
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_bas
i
c_s
e
t_
h
as_defi
n
i
n
g_inequalities:
fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_const
r
aint
_
div: perfor
m
required referen
c
e i
n
creas
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
a
e
ge
i
sl
_
basi
c
_map: put inequa
l
ities before e
q
u
a
lities
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoola
e
ge
add isl
_
seq_
n
or
m
alize
commit
|
commitdiff
|
tree
2009-03-08
S
v
e
n
Verdoolaege
isl_ct
x
.
h
:
m
ake FL_ISSET ret
u
rn a
b
o
olean v
a
lue
commit
|
commitdiff
|
tree
2009-03-08
S
ven
V
erdoolaege
rename F_ and FL_ macros to ISL_F_ and
ISL_
F
L_
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
is
l
_mat_dump:
a
lso inden
t
NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
a
dd isl_callo
c
_type
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
isl
_
map_convex_hull:
n
orm
a
lize ma
p
fi
r
st
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
isl_set_preimage
:
clear ISL_SET_NORMALIZED
flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add isl_basic_map_d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add isl_
m
ap
_
remo
v
e
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
ge
e
x
p
o
rt isl_basi
c
_map_is_
e
qual
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_basic_ma
p
_remove
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaege
a
dd isl_
d
im_range
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
add isl_map_prod
u
c
t
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
V
e
rdoolaege
a
d
d isl_basic_map_add_
c
o
nstraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
a
d
d isl
_
dim_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
s
l_map_piplib
.
c
:
isl_
m
a
p_fr
o
m_qua
s
t
:
properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
ool
a
ege
change calling con
v
ent
i
on
of isl_
b
asic_map_
{
eq
u
al,le
s
s_at
.
.
.
commit
|
commitdiff
|
tree
next