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
update piplib for change in configure arguments
2009-06-13
Sven Verd
o
olaege
update p
i
plib for change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rd
o
olaege
isl_b
a
sic_m
a
p_drop_redundant_divs: coalesce div
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
is
l
_basic_map_drop_redundant_divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_basic_map_drop_redundant_divs:
d
r
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_map_c
o
mput
e
_divs:
d
ro
p
obviously redundant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_map_
p
iplib
.
c:
extre
m
um_on: detec
t
equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
er
d
oolaege
isl_p
i
p
_basic_map_compute_
d
ivs: re
m
ove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map_compute_div
s
: sepa
r
ate o
u
t di
m
en
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_basic
_
set_preimage
:
h
a
n
d
l
e
divs
in input
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oo
l
aege
isl_input_
o
mega
.
c: make variable_
{
fr
e
e,n
e
w} static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
l
aege
is
l
_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_basic_map_simplif
y
:
d
etect div constraints
wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ve
r
doolaege
isl_basic_map_d
r
o
p: properly
handle dimensions
of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add
isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
d
d
i
sl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
add isl_s
e
q_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_basic_map_detect_e
q
ualities
:
properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
rd
o
olaege
isl_basic_map_is_e
m
pty:
e
xplicitly
m
a
rk bas
i
c se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_map
.
c: order_divs: swap
w
i
th correct di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
is
l
_m
a
p_co
a
lesce:
r
e
move ex
t
ra d
i
v
s
introdu
c
ed
b
y is
l
_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
ege
ad
d
is
l
_m
a
p_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
o
o
lae
g
e
ad
d
isl_set_p
r
oduct
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdoo
l
aege
e
xp
o
r
t
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
isl
_
map_
c
onv
e
x_hull: han
d
le un
b
ounded, but poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
privately e
x
por
t
isl_mat_unimodular_comp
l
et
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
is
l
_tab
.
c
: add is
l
_tab_get_sample
_
val
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
is
l
_map
_
c
o
nvex_hull: avoid intro
d
ucing
l
i
n
eality
s
pace
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolae
g
e
add two more convex hull
te
s
t case
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_map_co
n
vex_hu
l
l: remove
l
ineality space
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
add isl_basi
c
_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add isl_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_convex_hull
.
c
: update wrap_fac
e
t to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_convex_hull
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
i
s
l_coalesce
.
c: fix typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
isl_t
a
b
.
c: fi
x
typo i
n
commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
configure
.
in
:
set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
ven
V
erd
o
olaege
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
isl_basic_map_g
i
st: no
r
malize divs
(if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
is
l
_basic_map_simplify: remove duplica
t
e divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_se
t
_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
erdo
o
laeg
e
change calling co
n
ven
t
i
o
n of isl_basi
c
_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_map_simpl
i
fy
.
c:
uset_gist: break e
a
rly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doola
e
ge
i
s
l_map
_
sim
p
lify
.
c:
u
set_
g
ist: break earl
y
if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basi
c
_se
t
_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
updat
e
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
doolaege
i
s
l_ta
b
.
c
:
store number of
e
q
ual
i
ties among
t
he con
s
t
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_mat_ex
t
end: properly extend m
a
t
r
ices
w
i
th reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
isl_map_g
i
st: handle s
o
m
e sp
e
cial cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
l
a
e
ge
add isl_map_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
a
dd isl_basic_map_fast_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_m
a
p_gist: repla
c
e by new version base
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ma
p
_s
i
mpli
f
y
.
c:
comp
u
t
e_elimination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add isl_m
a
p_imp
l
i
c
it_equ
a
lities
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdo
o
laege
add isl_ba
s
ic_
s
et_f
r
ee_equality
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
isl_
m
ap_c
o
nv
e
x_
h
ull: mark result as not
having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
r
d
oolaege
convex_hull: co
a
lesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaege
add isl_set_c
o
alesce
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_i
n
put_
o
me
g
a
.
c:
basic_map_read: ac
c
ept "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
add
isl_ba
s
i
c_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
o
o
l
a
e
ge
add
i
sl_set_align
_
divs
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
uset_affine_hull
:
ig
n
ore directions in
affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
sl_basic_map_implicit_equalities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affi
n
e_
h
ull
.
c
: outside_p
o
int: check for
o
b
vious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
p
r
ivate
l
y exp
o
rt isl_basic_set_
c
o
nt
a
in
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
is
l
_
c
tx: add nego
n
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_vec_
d
u
m
p: handle
N
ULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
e
g
e
is
l
_a
f
fine_hull
.
c: extract uset_af
f
ine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_tran
s
pose
:
handle non-rectangu
l
ar matrice
s
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
sl_map_s
i
mple_hull: c
o
mpute affine hull be
f
ore a
l
i
g
ni
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_simple_h
u
l
l:
m
ark result
a
s not
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
ol
a
ege
a
d
d isl_set_bounded_s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl_map_af
f
ine_hul
l
:
d
et
e
ct e
q
ua
l
ities of integer
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_basic_map
_
dup: co
p
y flags of original to du
p
licate
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erd
o
olaege
isl_ba
s
ic_map_extend_dim
:
mov
e
responsibility of c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
isl_ba
s
i
c
_map_extend_dim: only
e
xte
n
d c
o
nst
r
aint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
s
olve_lp: use t
a
bleaus ins
t
ead of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l_solve
_
lp: accep
t
aff
i
n
e object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
isl_ma
p
_si
m
ple_
h
ull: use hash tab
l
es and tablea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: extract
o
u
t uset_simple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl
_
convex_hull
.
c
:
e
x
tend: avoid wrapp
i
n
g
around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
s
l_convex_hull
.
c: introdu
c
e proto_hul
l
bas
e
d
o
n
o
bvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaeg
e
isl_
c
onvex_hull
.
c: mov
e
initia
l
h
ull construction
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoo
l
aege
isl_co
n
vex_hull
.
c: move c
o
mputa
t
ion of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
do
o
lae
g
e
isl_map_
c
onvex
_
hul
l
: check for bounded
n
ess using
r
ecession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_basi
c
_map_
c
onve
x
_
h
u
ll: use tableau t
o
d
etect
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_affine_hull
.
c
: use tableau to d
e
tect implicit eq
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_tab
.
c: don't
detect equalities w
h
ile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaeg
e
add intern
a
l
repr
e
s
entation of LP table
a
us
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add i
s
l_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
pri
v
a
t
ely export isl_basic_{set,m
a
p
}_normalize_con
s
t
raints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add
i
sl_basic_
s
et
_
extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
isl_basic_map_eliminate_vars
:
c
l
ear di
v
s first
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
a
ege
isl_ba
s
ic_map_eliminate_va
r
s
:
r
e
m
o
v
e all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
dd isl_hash_tab
l
e_al
l
o
c
and isl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
sl_has
h
_table_init: tak
e
minimal
s
ize
ins
t
ead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
isl_{b
a
sic_,}set
_
pre
i
mage: drop ctx
a
r
gument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic
_
map_intersect: reuse sample value of
e
i
t
h
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdo
o
laege
a
d
d isl_in
t
_g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_ba
s
i
c
_set_has_d
e
fini
n
g_inequalities:
f
i
x t
y
p
o
commit
|
commitdiff
|
tree
next