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_int_le
2009-07-13
Sven Verdoolaege
add
i
sl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately
ex
p
o
r
t isl_basic_set_reces
s
ion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_con
v
e
x
_
h
u
ll
.
c:
add missing
a
ssignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdool
a
eg
e
p
rivate
l
y export isl_basic_set_lineal
i
ty
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_vec:
k
ee
p
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
i
s
l_coalesce
.
c
: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
u
pdate piplib
for
c
h
ange in con
f
i
gu
r
e arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_basic_ma
p
_d
r
op_r
e
du
n
dant_divs: c
o
alesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_ba
s
ic_map_drop_redundant_divs: set div ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
i
sl
_
bas
i
c_map_drop_red
u
n
d
ant_divs:
d
r
o
p
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaeg
e
i
s
l_
m
ap_co
m
pute_di
v
s: drop
o
bviou
s
ly redund
a
nt
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl
_
ma
p
_piplib
.
c
: extrem
u
m_on: detect equa
l
ities f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_pip_basic
_
map_co
m
pute_divs: remove some
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
e
r
d
oolaege
i
sl_pip_basic_map_comput
e
_divs: separat
e
out dime
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_set_preimage: handle divs in i
n
put
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_i
n
put_omega
.
c: make
varia
b
le_{free,
n
ew} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdool
a
ege
isl_map
.
c
:
m
ak
e
ad
d
_
d
ivs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_ma
p
_simplify:
detect div constraint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_b
a
sic_map_drop: properly
h
andle
d
imensions
o
f
t
ype
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
add isl_int_mul
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdo
o
la
e
ge
add isl_se
q
_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Ve
r
doolaege
add isl_seq
_
fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
a
e
ge
isl_basic_map_detect
_
e
q
ualities:
properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
i
s
l_basic_ma
p
_is_empt
y
: explicitly ma
r
k basic s
e
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
sl_map
.
c: o
r
der_divs:
swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
Verdoolaege
isl_
m
ap_c
o
al
e
sce: rem
o
ve e
x
tra
d
ivs int
r
oduced
b
y
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdoolae
g
e
ad
d
isl_map_coa
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doolaege
a
d
d
i
sl
_
se
t
_p
r
oduct
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdoolaege
e
xport isl_m
a
p_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ve
r
doolaege
isl_
m
a
p
_convex_hull:
h
and
l
e unbounded, but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Verdoolaege
p
rivat
e
ly export
i
sl_mat_unimodular_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laeg
e
isl_tab
.
c
:
add
i
s
l
_tab_get_sample_
v
alue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_map_convex_
h
ull: avoid in
t
rodu
c
ing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add tw
o
m
ore convex hul
l
test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_map_convex_hull:
remove lineality space
i
f an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laeg
e
add isl_
b
asi
c
_set_is_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add i
s
l_se
t
_
get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rd
o
olae
g
e
i
s
l
_
convex_hull
.
c
: upd
a
te wrap
_
facet t
o
t
he f
a
ct we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_
c
o
n
vex_hull
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erd
o
olaege
is
l
_c
o
alesce
.
c:
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
d
o
olaege
isl_tab
.
c
: f
i
x typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
configure
.
in:
set AC
_
CONFIG_M
A
C
RO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_
b
asic_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_
b
asic_map
_
gist: normalize divs (if
a
ny
)
i
n context
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_basic_ma
p
_simplify: re
m
ove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
add isl
_
b
a
s
ic_set_di
v
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oola
e
g
e
chang
e
callin
g
convention of isl_basi
c
_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
i
s
l
_map_s
i
mp
l
ify
.
c:
u
set
_
g
i
s
t
:
b
reak early i
f
t
h
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
isl_map_simplify
.
c
:
uset_gist
:
break
early if int
e
r
section
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoo
l
a
e
g
e
add isl
_
basic_set_fas
t
_is_empty
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Verdoolaege
upda
t
e piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erd
o
olaege
isl_tab
.
c: store number of equa
l
ities
a
mong the constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_mat_extend: prope
r
l
y extend
m
a
t
rices with reorder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
isl_ma
p
_gist: handle some special
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl
_
m
a
p_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
l
a
e
ge
add isl_basic_map
_
fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_
b
asic_map_gist:
replace by new version
b
ase
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
ge
is
l
_map_simplify
.
c
:
c
omp
u
te_elimination_inde
x
:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
ad
d
isl_map_
i
m
plicit_eq
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd isl_basic_se
t
_free
_
e
qual
i
ty
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_map_convex_
h
ull: mar
k
r
e
sult as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
convex_hul
l
: coalesce set fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
add is
l
_se
t
_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaeg
e
i
s
l_
i
nput_omega
.
c:
b
a
sic_map_read
:
accept
"
+" in const
r
a
i
nts
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
a
dd isl_basi
c
_
set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
d
d
i
sl_set_ali
g
n_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
uset_affine_hull: ign
o
re dir
e
c
t
ions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
isl_basic_m
a
p
_implicit_e
q
ua
l
ities:
p
e
r
form Ga
u
ssian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
isl
_
affine_hu
l
l
.
c
:
o
utside_point: c
h
eck for ob
v
io
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
p
r
ivately export isl_basi
c
_set_c
o
nta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_ctx: a
d
d negone
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl
_
vec_du
m
p
: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verd
o
olaege
isl_affine_hull
.
c: extract us
e
t_af
f
ine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oola
e
ge
is
l
_ma
t
_
t
ranspose: handle non-re
c
tangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_map_simple_hull:
com
p
ute affine hull
b
efore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
m
ap_simple_h
u
ll: mark result as n
o
t having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_bou
n
ded_simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aeg
e
isl_ma
p
_affin
e
_hull: detect equal
i
ties of inte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
isl_basic_map_dup
:
copy f
l
ags of origi
n
a
l to dup
l
icate
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_basic_map_extend_di
m
: move
res
p
o
ns
i
bility of c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic_ma
p
_exten
d
_d
i
m: only exten
d
c
o
n
straint m
a
t
r
ix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_so
l
ve_lp:
u
se tableaus inst
e
ad of c
a
l
l
i
n
g piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_solv
e
_
l
p: accept affine object
f
uncti
o
n instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
isl_map_simple_h
u
l
l
: use h
a
sh tables
a
nd ta
b
leaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolae
g
e
isl_con
v
ex_hull
.
c: ext
r
act
o
ut use
t
_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoola
e
ge
is
l
_conve
x
_hull
.
c: ex
t
end
:
a
v
oid w
r
apping around
alread
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
is
l
_
convex_hull
.
c: in
t
r
oduc
e
proto_hul
l
based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l_
c
o
n
vex
_
h
u
ll
.
c: move initial hull constr
u
ction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_c
o
nvex_hul
l
.
c
:
m
ove com
p
uta
t
ion of bou
n
ds
i
nt
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
r
d
oolaege
isl_ma
p
_convex_hul
l
: check
f
o
r boundedness using recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_basic
_
ma
p
_
convex
_
hull: use
t
ableau to d
e
t
e
ct
r
edundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
isl_affine_
h
u
l
l
.
c
: use table
a
u to de
t
ect impli
c
it equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
isl_tab
.
c: don't detec
t
equalities whil
e
s
e
tti
n
g up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
r
d
oolaege
ad
d
internal rep
r
esen
t
ation of LP
t
ableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_mat_exten
d
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
a
d
d isl_se
t
_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
p
rivately export isl_bas
i
c_{set,
m
a
p}_normaliz
e
_cons
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_basic_
s
et_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
isl_basic_map_eliminat
e
_vars: clear divs
first
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_basic
_
map_eliminate_vars: r
e
m
ov
e
all dep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
next