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_tab: add isl_tab_add_valid_eq
2009-07-13
Sven Verd
o
olaege
isl_tab: add isl_tab_
a
dd_vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ver
d
oolaege
e
xport isl
_
tab
_
a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
priv
a
tel
y
export isl
_
basic_set_
r
e
c
e
ss
i
o
n_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_con
v
ex
_
h
ul
l
.
c: add missi
n
g assig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
dool
a
eg
e
p
r
ivately e
x
port isl_
b
asic_set
_
linea
l
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
v
ec: keep
track of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoola
e
ge
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolaege
update pipli
b
f
o
r change in
configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
asic_
m
ap_drop_redundan
t
_
d
ivs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdoolae
g
e
i
s
l_b
a
sic
_
m
a
p_drop_redundant
_
divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_ba
s
ic_map_drop_redundant_divs: d
r
op more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ve
r
doolaege
i
s
l_map
_
compu
t
e_divs: drop obvious
l
y redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
ool
a
ege
isl_m
a
p
_pipl
i
b
.
c: extremum_on: detec
t
equalitie
s
f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_pip_basic_map_compute_divs: re
m
ove
s
ome equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
isl_pip_b
a
sic_map_com
p
ute_divs: sepa
r
ate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
isl_bas
i
c
_
s
et_pre
i
mage: handle div
s
in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdo
o
laege
is
l
_input_ome
g
a
.
c: ma
k
e vari
a
b
l
e_
{
fr
e
e,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_map
.
c: make add_divs stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
i
s
l
_ba
s
ic_map_simpl
i
fy: detect div constrai
n
ts while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ve
r
d
oolaege
isl_basic_map_drop: properly handle d
i
m
e
nsio
n
s
o
f typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_mu
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
erdoolaeg
e
add is
l
_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fd
i
v_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_b
a
s
ic_
m
a
p_detect_equaliti
e
s: properly ha
n
dle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_bas
i
c_map_is_empty: explici
t
ly mark bas
i
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_m
a
p
.
c: order_d
i
vs:
s
wap with corre
c
t d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_map_coal
e
sce: r
e
move extra di
v
s
introduced b
y
isl_ma
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ve
r
do
o
laege
add
i
sl_
m
ap_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add
i
sl_se
t
_produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
olaege
export is
l
_map_
d
im
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verdoolaege
i
s
l_map_convex_hull
:
h
and
l
e
u
nbound
e
d
,
but point
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
e
rdoolaege
privat
e
ly export isl_mat_u
n
imodul
a
r_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl
_
tab
.
c: add
isl_tab_
g
et_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_con
v
ex_h
u
ll: avoid introd
u
cing
l
i
n
eality
spa
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
laege
a
d
d
tw
o
more c
o
nve
x
h
u
l
l test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
er
d
oola
e
ge
isl_map_conve
x
_hull:
r
emove
l
i
n
e
a
l
i
t
y space
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
add is
l
_bas
i
c_set_i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
add isl_s
e
t_g
e
t_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n Verdoolaege
isl_convex_h
u
ll
.
c: u
p
date wrap_facet to
t
he fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_convex_hull
.
c: fix t
y
po in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaeg
e
i
s
l_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_tab
.
c
: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n V
e
r
d
oolaege
con
f
igure
.
in: s
e
t AC_CONFIG
_
MACRO_
D
IR
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
d
oolaege
a
dd isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl
_
b
asic_map_gist: normalize divs (if
any) in
conte
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l
_
ba
s
ic_ma
p
_simplify: remove
d
uplica
t
e
divs
before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolae
g
e
add isl_basic_se
t
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
change calling convent
i
on of i
s
l_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oolaeg
e
isl_map_simplify
.
c
:
uset
_
gist: break early
i
f ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdool
a
ege
isl_m
a
p_simplify
.
c: us
e
t_g
i
st: brea
k
early i
f
intersect
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_
b
asic_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_tab
.
c: sto
r
e
n
um
b
er of equal
i
ties
among t
h
e co
n
str
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolae
g
e
isl_mat_ex
t
end: properly
e
xtend matri
c
e
s with reor
d
ered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
m
ap_gist: hand
l
e
s
o
me sp
e
c
i
a
l
case
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
add
i
sl_map_u
n
iverse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_basic
_
map_fast_is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
olaege
i
sl_bas
i
c_ma
p
_gist: replace by new ve
r
sion b
a
s
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl
_
map
_
simplify
.
c: compute_e
l
imina
t
ion_
i
n
d
ex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_map_i
m
plicit
_
equalities
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
a
d
d
isl_basic_
s
e
t
_free_equa
l
ity
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
isl_map_convex_hull: ma
r
k result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
convex_hu
l
l: coalesce set
f
irst
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_set_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aeg
e
isl_inpu
t
_omega
.
c: basic_map_read: a
c
cept "+"
i
n con
s
tr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
a
d
d i
s
l_basic_
s
et
_
alloc_di
v
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
a
dd isl_set
_
a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
uset_affine_hull: ignore directi
o
ns in
a
f
fine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
isl_basic_map_implicit
_
e
q
ualities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_af
f
i
ne_h
u
ll
.
c
:
outside_
p
oint: ch
e
ck for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
privately exp
o
rt i
s
l_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
s
l_ctx:
a
dd negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_
v
ec_dump: handle NULL ve
c
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
sl_affine_hull
.
c: extr
a
ct uset_affine_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_mat_tr
a
nspose: handle non-rectangular matrice
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
s
l_map_
s
i
m
pl
e
_hul
l
: comp
u
te affi
n
e hull
b
e
fore ali
g
ning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull: mark result as not hav
i
ng an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
ool
a
ege
a
d
d
i
s
l_set_bounded
_
simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ver
d
oolaege
isl_map_affine
_
hull
:
de
t
ect
e
qualities
o
f
integer
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
a
e
g
e
isl_basic_map_dup: copy fl
a
gs of original
t
o
du
p
lica
t
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
basic_map_
e
x
t
end_d
i
m: mo
v
e responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_b
a
sic
_
map_exten
d
_dim: only extend con
s
trai
n
t mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaege
isl_s
o
lv
e
_lp: use tab
l
eaus
i
nstea
d
of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_s
o
lve_l
p
: accept affin
e
obj
e
ct function instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
i
s
l_map_simple_hull: use hash
t
ables and tablea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_c
o
nvex_hull
.
c: extract out uset_si
m
p
l
e
_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
s
l_
c
o
nvex_
h
ull
.
c
:
e
x
tend: avoid wrapp
i
ng
a
round
a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l
_
convex_hull
.
c: introduc
e
proto_hu
l
l
b
ased
o
n obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_
c
on
v
ex_
h
ull
.
c: move
initial hull
c
on
s
t
r
uc
t
io
n
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
is
l
_convex_hull
.
c:
m
ov
e
comp
u
tation of bounds
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_convex_hull: ch
e
c
k
f
or
boundedne
s
s usin
g
recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
is
l
_basic_ma
p
_c
o
nvex_
h
u
l
l:
u
se
tableau to dete
c
t redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
i
sl_a
f
fine_hull
.
c: use table
a
u to de
t
ect implici
t
equalities
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
s
l_tab
.
c
:
don't de
t
ec
t
equalities whil
e
setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add internal rep
r
e
s
entation of
LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaeg
e
priv
a
tely e
x
port isl_basic_{set,
m
ap}_
n
ormalize
_
constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
aege
add isl_basic_
s
e
t_extend_dim
commit
|
commitdiff
|
tree
next