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_vec header
2009-06-11
Sven Verdoolaege
i
s
l_map
.
c: make add_di
v
s
s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic_map_simplify
:
d
e
tect di
v
constraint
s
w
h
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdo
o
laege
isl_b
a
sic
_
map_drop:
p
roperly han
d
le dimension
s
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
add isl_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
i
s
l
_
s
eq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoo
l
aege
add isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_basic_map_detect_equalities
:
proper
l
y handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
o
olaege
isl_basic
_
map_is_empty: explicitly ma
r
k basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
er
d
oolaeg
e
isl
_
map
.
c
: order_divs: swap with
correct div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ve
r
doolaege
i
sl_
m
ap_co
a
lesce: remov
e
e
x
tra divs
intro
d
u
ced by is
l
_
m
ap_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ve
r
doolaege
add isl_map_coal
e
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
ad
d
i
sl_set_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oo
l
ae
g
e
i
sl_ma
p
_
convex
_
h
u
ll: hand
l
e unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
privately export isl_ma
t
_unimodular
_
complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c
: add isl_t
a
b_g
e
t_s
a
mple_v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl
_
map_convex_hul
l
: avoid
i
ntroduci
n
g
l
i
neality
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoola
e
ge
add two more co
n
vex
hull test
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull: remo
v
e line
a
lit
y
sp
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven
V
erdoola
e
ge
ad
d
isl
_
basic_set
_
is_
u
n
i
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
ol
a
ege
add isl_se
t
_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
isl_convex_hul
l
.
c: up
d
ate w
r
ap_fa
c
et to th
e
fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoola
e
ge
isl_convex_hull
.
c:
f
i
x
t
y
po
i
n comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_coalesce
.
c:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
V
e
rdoolaege
isl_
t
ab
.
c
: fix t
y
p
o
in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
c
o
nfigure
.
i
n: se
t
AC
_
CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
add
isl_basic_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_basic_map_gist: n
o
rmalize divs (i
f
any) i
n
contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
isl_basi
c
_map_
s
implify: remove
duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
ad
d
isl_basic_set_
d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
ch
a
nge calli
n
g convention of isl_
b
asic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
i
s
l_map_simplify
.
c: use
t
_gist: brea
k
ear
l
y if
t
here
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ma
p
_simplify
.
c: uset_gist: br
e
a
k
early if
i
n
t
e
rs
e
ction
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
add isl_basi
c
_set_fast_
i
s
_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
S
ven
V
erd
o
olaege
update pip
l
ib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verdoolaege
isl_
t
ab
.
c: store number of equalities among the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ma
t
_
extend: properl
y
extend matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
isl_map_gist:
han
d
l
e
so
m
e
s
pecial
cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
l
a
e
g
e
add
i
sl_
m
ap_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
a
dd
i
sl_basic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdool
a
ege
i
sl
_
basic_map_gi
s
t:
r
eplace by new versi
o
n based
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
i
sl_map_simplify
.
c: compu
t
e_eli
m
ina
t
i
on_index
:
do
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_i
m
p
licit_equal
i
t
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
ol
a
ege
a
dd isl_basic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
isl
_
m
ap_co
n
vex
_
h
u
l
l
:
m
a
r
k
r
esul
t
as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Ver
d
oolaege
c
onvex_hull:
coale
s
ce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd isl_set_coal
e
sce
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_inp
u
t
_o
m
e
g
a
.
c: basic_m
a
p_re
a
d: acce
p
t "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
add is
l
_
basi
c
_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
ad
d
isl_s
e
t_align_di
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_a
f
fin
e
_
hull: ignore
directions
i
n
a
f
f
i
ne
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
i
s
l_basic_m
a
p
_
im
p
li
c
it_equalities:
p
e
rform Gau
s
sian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_affine_
h
ull
.
c:
outside_poi
n
t: check
f
or obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately export isl
_
bas
i
c
_set_c
o
ntains
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
o
lae
g
e
isl_ctx
:
add negone
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_vec_dump: handle NULL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
isl_affine_hull
.
c:
e
xtra
c
t u
s
e
t
_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_transpose:
handle non-rectangular
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull
:
compute affine hull before a
l
igning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_
m
ap_si
m
ple_hull: mark result as not having a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_boun
d
ed_simple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
e
rdoolaege
isl_m
a
p_affi
n
e_
h
ull: detect equ
a
liti
e
s of i
n
teger
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
o
l
aege
isl_basic_m
a
p_dup: copy flags of original to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_bas
i
c_
m
a
p_extend_dim: mov
e
responsibility of
c
ow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_extend_dim: only extend c
o
nstraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_
s
olve_lp: use tableaus instead of calling pip
l
ib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
isl_
s
olv
e
_lp: accept a
f
fine object fu
n
ction i
n
st
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hul
l
: use hash
tables
and
t
a
bleaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
s
l_convex_hull
.
c: extract
o
ut uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_c
o
n
v
ex_hull
.
c: e
x
tend: avoid wr
a
ppin
g
arou
n
d a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_convex_
h
ull
.
c: i
n
tr
o
duce p
r
oto_h
u
l
l
based on
obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_conve
x
_h
u
ll
.
c
:
m
ove i
n
itia
l
hull construction int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hull
.
c: mo
v
e computat
i
on o
f
b
o
unds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_map_co
n
vex
_
hull: che
c
k for
b
ound
e
dness using rece
s
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
isl_basi
c
_map_convex
_
hull: use tableau to detect redun
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_affine_hull
.
c: u
s
e tableau to det
e
ct impli
c
it equalitie
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaege
i
sl_
t
ab
.
c
:
don'
t
de
t
ect equalities
while
s
etting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add internal represen
t
ation of LP table
a
us
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
add isl_mat_
e
xtend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privatel
y
e
xport isl_basi
c
_{set,map}_no
r
malize
_
constraints
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
ad
d
isl_basic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_basic_map_eliminate_vars:
c
lear divs
first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
isl_ba
s
ic
_
map_
e
l
i
minate_
v
ars: remov
e
a
l
l
depend
e
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
add isl_
h
ash_table
_
alloc
a
nd isl_hash_tab
l
e_free
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
e
g
e
isl_has
h
_table_ini
t
: take minim
a
l
size i
n
stead of num
b
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_{basic_,
}
set_preimage:
d
rop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_
b
asic_map_in
t
er
s
ect:
reuse s
a
mple value of
either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaeg
e
add
isl_i
n
t
_
ge
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
b
asic_set_has_defining_ineq
u
alities: fix t
y
p
o
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
is
l
_c
o
n
s
traint_div: p
e
rform req
u
ir
e
d reference in
c
r
e
ase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoola
e
g
e
isl_basic_map: put ine
q
ualities befor
e
e
qualities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
g
e
add isl_seq_normalize
commit
|
commitdiff
|
tree
2009-03-08
S
ven
Verdoolaege
isl
_
c
t
x
.
h: make FL_ISSET retur
n
a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
ol
a
ege
rename F_ a
n
d FL_ ma
c
ros
t
o ISL_F_ and ISL_FL_
to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add
isl_mat_swap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_m
a
t_dump:
also i
n
dent N
U
LL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Ver
d
oolaege
a
dd
i
sl_calloc_
t
yp
e
commit
|
commitdiff
|
tree
2009-03-08
S
ven Verdoo
l
aege
isl_map_convex_hu
l
l
:
normali
z
e
map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set_prei
m
age: c
l
e
ar
I
SL_SET_NORMALIZED flag
commit
|
commitdiff
|
tree
next