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
export isl_tab_alloc
2009-07-13
Sven Ve
r
doolaege
e
xport
i
sl
_
tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
priv
a
t
e
ly
e
xport isl
_
basic
_
set_
r
e
c
e
ssion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
isl_convex_
h
u
ll
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
p
rivately export isl_basic_set_
l
ine
a
li
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec: keep t
r
ack of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven
V
e
rdoolaeg
e
isl
_
coal
e
sce
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolae
g
e
upda
t
e piplib
for
c
hang
e
in co
n
f
igure arg
u
ment
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
ola
e
ge
isl_basic_map_drop_re
d
undan
t
_divs: coa
l
esce divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_b
a
sic_map_dro
p
_redu
n
dant_divs: set d
i
v expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_
d
rop_redun
d
ant_divs: d
r
o
p more
kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_map_
c
om
p
ute_divs: drop obviously redundant d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_map_pi
p
lib
.
c:
extremum
_
o
n: detect
equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolae
g
e
i
s
l_pip
_
basic_map_compute_divs: remove
s
ome
equ
a
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_pip_basic
_
map_comput
e
_div
s
: separate out dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
e
rdoolaege
isl_b
a
sic_set_preimage: handle d
i
vs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
input_omega
.
c:
make va
r
iable_{free
,
n
e
w} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaeg
e
isl_map
.
c
:
make add_d
i
vs static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laeg
e
isl_basic_m
a
p
_
simplify: detec
t
div constrain
t
s whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_basic_map_d
r
op: proper
l
y handle d
i
mensions of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
add
i
sl_int_mul
_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_
s
eq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl_basic_map_detect_equalities: proper
l
y handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolae
g
e
isl
_
basic_map_is_empty: explicit
l
y ma
r
k
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
m
ap
.
c: order
_
div
s
: swap with corre
c
t div
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
isl_
m
ap_coale
s
ce: re
m
ove
e
x
t
ra divs introduced by isl_ma
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoo
l
aege
ad
d
isl_map_coal
e
sce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaeg
e
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdool
a
ege
export isl_ma
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_map_c
o
nve
x
_hu
l
l:
han
d
le unbou
n
ded, but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoo
l
a
e
ge
privat
e
l
y export isl_mat_unimodular_co
m
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l_tab
.
c:
add isl_
t
ab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_
m
ap_convex
_
hull
:
avoid i
n
tro
d
uc
i
n
g
l
ineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
add tw
o
mor
e
convex
h
u
l
l tes
t
cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdo
o
laeg
e
isl_map
_
convex_hull: rem
o
ve lineality
space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
a
dd isl_basic_set_is_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_
s
et_get_d
i
m
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdool
a
ege
isl_c
o
nvex_hu
l
l
.
c:
u
p
date wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_convex_hull
.
c:
f
ix
typo in comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
isl_coales
c
e
.
c
:
fix typo in
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verd
o
olae
g
e
is
l
_tab
.
c: fix typo
i
n co
m
ment
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdool
a
eg
e
a
d
d isl_basic_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdool
a
ege
isl_basi
c
_map_gist: nor
m
alize divs (i
f
any) in conte
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_basic_ma
p
_s
i
m
p
lify: remove duplicate divs bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basi
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
olaeg
e
change call
i
ng convention
o
f is
l
_basic_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_
m
ap_simplify
.
c
:
u
set_gist:
b
rea
k
early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_m
a
p
_simplify
.
c: uset_g
i
st: break early
if interse
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoola
e
ge
a
d
d
i
sl
_
basic_set_fast_i
s
_
e
mpty
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoola
e
g
e
update pipl
i
b to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
is
l
_
tab
.
c: st
o
re number
of equalities amo
n
g the constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ma
t
_extend: properly
e
xtend matrices with
r
eorde
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_gist: handle some speci
a
l cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_m
a
p_unive
r
se
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
a
dd isl_basic_
m
ap_fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
o
l
aege
isl_basic_map_gist: replace by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
isl_map
_
simplify
.
c:
c
om
p
u
t
e_elimin
a
tion_index:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
add isl_
m
ap_i
m
plicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
ad
d
isl_b
a
sic_set
_
free_eq
u
a
lity
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_ma
p
_conve
x
_hull: ma
r
k result
a
s not h
a
vi
n
g an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
lae
g
e
convex_hull: coalesce se
t
first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add
i
s
l
_set
_
co
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
e
rdo
o
laege
isl
_
inp
u
t_om
e
ga
.
c: basic_map
_
read:
accept "+
"
in constrai
n
ts
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
add
isl
_
basic_set
_
alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
add
isl_set_a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
uset_affine_hull: ignore dire
c
tions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
is
l
_basic_
m
ap_
i
mpli
c
it_equalities: p
e
r
form Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rd
o
olaege
i
s
l
_af
f
ine_hull
.
c: outside_
p
oint: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
private
l
y export
is
l
_basic_set_
c
onta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_ctx:
a
dd
ne
g
one
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
eg
e
isl_ve
c
_dump: handle N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
a
ege
isl_affine_hu
l
l
.
c: extr
a
ct uset_affine
_
hull
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
ol
a
e
g
e
isl_mat_tr
a
ns
p
ose:
h
andle non-r
e
ctang
u
lar matr
i
ces
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
i
s
l_map_
s
imple_hull:
com
p
ute
a
ffin
e
hull be
f
ore a
l
ig
n
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map
_
simple_hull: m
a
r
k
res
u
lt as not having
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
a
dd i
s
l_se
t
_
bou
n
ded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
l
a
ege
isl_m
a
p_aff
i
ne
_
hull: detect
e
q
ualit
i
es of integer
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_basic_m
a
p
_dup: copy flags of o
r
i
gina
l
t
o duplicat
e
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l
_bas
i
c_ma
p
_ex
t
end_dim: move resp
o
nsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl_basic
_
map
_
extend_dim: only
e
xtend
constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
isl_solve_lp: use tableaus i
n
stead of cal
l
ing piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoo
l
aege
is
l
_solve_
l
p: accept aff
i
ne ob
j
ect functio
n
instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_map
_
simple_hull: use hash tables
a
n
d tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_co
n
vex_hull
.
c: ext
r
act out uset_simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oola
e
ge
isl_conv
e
x_hull
.
c: extend: avoid wrappi
n
g around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
is
l
_convex_hull
.
c: intro
d
uce pr
o
to_hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolae
g
e
i
sl_co
n
v
ex_hull
.
c:
move initial hull construction i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_conv
e
x_hull
.
c: move computation of bounds
i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_
m
ap_convex_hull
:
check for boundednes
s
using
recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
b
a
sic_
m
a
p_convex_
h
ull: use t
a
ble
a
u to
detect r
e
dundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
ool
a
ege
i
sl
_
tab
.
c: don'
t
det
e
ct equ
a
lities whi
l
e settin
g
up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
do
o
laege
a
d
d isl_ma
t
_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl
_
set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
privately
e
x
port is
l
_basic_{
s
et,m
a
p}_normalize_cons
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_basic_set_e
x
te
n
d_dim
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l_
b
asi
c
_ma
p
_eliminate_vars: clear di
v
s first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_eli
m
inate_vars: rem
o
ve all de
p
endent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_hash_tabl
e
_
alloc and isl_hash_table_free
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
i
s
l_hash_
t
ab
l
e_ini
t
: take mi
n
imal size instead of number
.
.
.
commit
|
commitdiff
|
tree
next