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_basic_set_sample: check sample stored by isl_basic_map_is_empty first
2009-07-15
Sven Ve
r
d
o
ola
e
ge
isl_bas
i
c_set_sa
m
p
l
e
:
check sample sto
r
ed
by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
i
sl_basic_map_is_empty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoo
l
aege
ad
d
isl_p
o
lyhedron_sample applicati
o
n
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
i
n
troduce gener
a
lized bas
i
s
r
e
duction
based
sampli
n
g
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
add isl_seq_cdi
v
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
s
ample
.
c: inter
v
al
_
sample: drop redu
n
dant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_sample
.
c: clean u
p
handli
n
g of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaeg
e
isl_sample
.
c: ex
t
ract out
sam
p
le_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_sample
.
c: interva
l
_sample:
h
an
d
le equali
t
ies directl
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
i
sl_sample
.
c: e
x
trac
t
out
e
mpt
y
_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l_sampl
e
.
c: gen
e
ralize
p
o
int_samp
l
e to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaege
isl_tab: don
'
t crea
t
e ne
w
u
n
do records during rollba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
is
l
_tab_min: use general rollback
m
ech
a
nism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
e
rdoolaege
isl_tab: optionally save dual soluti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
i
s
l_t
a
b: ad
d
isl_tab
_
ad
d
_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
export i
s
l_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
ri
v
a
tely expor
t
isl_basic_set_recessi
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolaege
isl_conv
e
x
_
hull
.
c: ad
d
missing ass
i
gnmen
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
g
e
privately ex
p
ort isl_b
a
si
c
_
set
_
lineality_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_vec:
k
eep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven Verdoolaege
isl_coalesce
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdo
o
laege
update piplib
f
or
c
hang
e
in con
f
igure arg
u
ments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
i
s
l
_basi
c
_
m
a
p_drop_red
u
ndant
_
div
s
:
coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdoolaege
isl_basic_map_drop_redundan
t
_
d
i
v
s
:
set div
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
isl
_
basic
_
map_d
r
op_redundant_divs: drop
m
ore kin
d
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaeg
e
isl_map_com
p
u
te_divs: drop obvio
u
sly redundant d
i
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
olaege
isl_m
a
p_pi
p
lib
.
c
: extremum
_
o
n
: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
e
rdoola
e
ge
is
l
_pip_b
a
sic_map
_
compute_d
i
v
s: re
m
ove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
dool
a
ege
isl_
p
ip
_
basic_map
_
compute_di
v
s: separ
a
te out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verdoolaeg
e
isl_bas
i
c_set
_
preimage: handle divs in
inpu
t
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_
i
nput_omega
.
c:
make variable
_
{
free,new}
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map
.
c: make ad
d
_divs
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verd
o
olaege
i
s
l_basic_
m
ap_simplify: detect
di
v
constrai
n
t
s whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_ba
s
ic_map_dr
o
p:
properly handl
e
di
m
ensio
n
s
of
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
add
isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdool
a
ege
a
d
d isl_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
Verdoolaege
add isl_
s
eq_fdi
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aeg
e
is
l
_basic_map
_
detect_equali
t
ies: p
r
operly handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_basic_map_is_e
m
pty: explicit
l
y
mark basic se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_
m
ap
.
c: order_divs:
swap
w
i
th
c
orrect div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
e
rdo
o
laege
isl_map_coale
s
c
e
:
r
e
mo
v
e extr
a
divs int
r
odu
c
ed by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add is
l
_
m
ap_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoola
e
ge
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
e
x
p
ort isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull: ha
n
d
l
e unbounded, b
u
t pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ve
r
doolaege
privately
e
x
p
o
rt isl_m
a
t
_
un
i
modula
r
_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdo
o
laege
i
s
l_tab
.
c: ad
d
isl_tab_g
e
t
_
s
ample_val
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map
_
convex_hull: avoid
introducing lineality
s
pace
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoola
e
ge
add two mo
r
e convex hull test case
s
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_map
_
convex_h
u
ll: rem
o
ve l
i
neality
s
pace
i
f
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
add i
s
l
_
basi
c
_set_i
s
_
u
ni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
l
a
ege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erd
o
olae
g
e
isl_con
v
ex_hull
.
c: upd
a
te
w
r
a
p_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_
c
o
n
vex
_
hull
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl_co
a
lesce
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_tab
.
c: fix typ
o
in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
rdool
a
eg
e
configure
.
in: s
e
t AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
ge
add
isl
_
basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
i
s
l_basic_map_g
i
s
t
:
n
ormalize divs (if any) i
n
context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
isl_basi
c
_map_simplify: r
e
mov
e
duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdo
o
la
e
ge
add isl_basi
c
_
s
e
t_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
change call
i
ng c
o
nvention of isl_ba
s
ic
_
map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
isl_map_simplify
.
c: uset_gist: break early
i
f
t
here
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
rdool
a
ege
isl_map_simplify
.
c: use
t
_gist: break early if intersecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add isl_basi
c
_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdool
a
e
g
e
update pipl
i
b t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_
t
ab
.
c: store number
o
f equalities among
t
he const
r
aint
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
i
sl_mat
_
extend: properly
e
xtend matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map
_
gist: ha
n
d
l
e
som
e
special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
d
d
i
s
l_map
_
universe
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
aege
add
i
sl_b
a
sic_map_fast
_
is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Ve
r
doolaege
is
l
_ba
s
ic_map_g
i
st: repl
a
ce by new versio
n
based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doola
e
ge
isl_ma
p
_simplify
.
c: compute_elimin
a
tion_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_map_imp
l
ic
i
t_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add isl_basic_set_fr
e
e
_
equ
a
lity
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_
c
onvex_hull: mark result as n
o
t having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
convex_hull: coal
e
sce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_input_
o
mega
.
c: basic_m
a
p
_
r
e
a
d
: accept "+" in co
n
straints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add
isl_bas
i
c_set_alloc_d
i
v
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
add
i
sl_set_align_
d
ivs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_
a
ffine_hull: ignore direc
t
ions in affine
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
i
sl
_
ba
s
ic
_
m
ap_implicit
_
equalities: per
f
orm Ga
u
ssian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affine_hull
.
c: outside_point: check fo
r
obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
privat
e
ly ex
p
o
rt isl_basic_set_con
t
ain
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ct
x
: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
s
l
_ve
c
_
d
ump:
handle N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
affine_hu
l
l
.
c:
e
xtract use
t
_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erd
o
olaege
isl_
m
at_transpose: h
a
nd
l
e non
-
rect
a
n
gul
a
r
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_map_si
m
p
l
e
_hull: compute
a
ffin
e
hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
is
l
_map_simple_hull: mark result as
not
h
aving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
add isl_
s
et_
b
ound
e
d_simple
_
h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Ve
r
doolaege
i
sl_ma
p
_affine_h
u
ll: detect equalities of intege
r
affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
ege
isl_basic_map_d
u
p: copy flags of origin
a
l to dupl
i
c
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_map_extend_dim: move r
e
sp
o
nsibility of
c
ow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic
_
map_exte
n
d_dim
:
only ex
t
end con
s
traint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_solve_lp: use tableaus inst
e
a
d
of call
i
ng piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl_solve_lp: accept affine
ob
j
ect function i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
e
g
e
isl_ma
p
_simpl
e
_
hull:
u
s
e
h
ash ta
b
le
s
an
d
tableaus
commit
|
commitdiff
|
tree
next