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
move isl_basic_set_skew_to_positive_orthant to isl_sample.c
2009-07-15
Sve
n
Verdo
o
laege
move isl_basic_
s
et_skew_t
o
_positive_ortha
n
t to isl
_
s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_ta
b
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoola
e
ge
isl_basic_
s
et_sam
p
le: break early if sample fo
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
Verdoolaege
export i
s
l_t
a
b_sample_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_bas
i
c_set_sam
p
l
e: check
sample st
o
red by i
s
l_basic
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaege
isl
_
basic
_
ma
p
_is_empty: remove stal
e
sa
m
ple
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaeg
e
add isl
_
po
l
yhedr
o
n_sampl
e
application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
introduce gener
a
li
z
ed basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_seq_
c
div
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
o
o
laege
isl_sample
.
c
: interval_sample: drop
r
edundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c
:
clean
u
p ha
n
dling of line
a
lity
s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_sample
.
c: extract out samp
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
laeg
e
isl_s
a
mple
.
c:
i
nterval_sample: handl
e
equalit
i
e
s
directly
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolae
g
e
isl
_
sample
.
c: extract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sample
.
c:
generali
z
e point
_
sample to
zero_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
isl_ta
b
:
don't cr
e
at
e
ne
w
undo records during rollb
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdo
o
lae
g
e
i
sl_tab_min: use general rollback mecha
n
ism
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doolaege
isl_tab: opti
o
nally save dua
l
s
olution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
oolaege
is
l
_tab: add i
s
l
_
tab_add_val
i
d_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
e
x
port isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
o
olaege
add
i
sl_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdool
a
ege
priva
t
e
l
y export i
s
l_b
a
sic_set_r
e
ces
s
ion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
e
g
e
isl_con
v
ex_hull
.
c:
a
d
d missing
a
ss
i
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately
e
xp
o
rt
isl_b
a
sic_set_l
i
neality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_
v
e
c
: keep tra
c
k
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdool
a
ege
i
s
l_coalesce
.
c:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verd
o
ol
a
ege
updat
e
pipli
b
for
c
hange in confi
g
ure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_bas
i
c_map
_
drop_re
d
undant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_ba
s
ic_map
_
drop_
r
edundant_divs: set div expre
s
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
isl_basic_map
_
drop_redund
a
nt_divs: dr
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_ma
p
_
co
m
pute_div
s
: d
r
op obviously redund
a
nt divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_map_pipl
i
b
.
c
:
extre
m
um_on: detect equali
t
ies first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaeg
e
is
l
_pip_basic_ma
p
_co
m
pute_divs: remove some
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verd
o
olaege
isl
_
pip_basic_map_com
p
ute_divs: separate out dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c
_set_preimage
:
handle di
v
s in inpu
t
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
erdo
o
l
a
eg
e
is
l
_input_om
e
g
a
.
c: m
a
ke vari
a
ble_
{
free,
n
ew} stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_map
.
c: make add_divs st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_basic_map_simplify: detect
div constraint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
erdoolaege
i
sl_basi
c
_
m
ap_drop: pr
o
per
l
y h
a
ndle di
m
ensio
n
s
of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
a
dd isl
_
int_m
u
l_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoola
e
ge
a
d
d
i
s
l_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolae
g
e
isl_basic_m
a
p_det
e
ct_eq
u
ali
t
ies:
p
roperly
handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaeg
e
isl_basic_map_is_empty: explicitly mark
ba
s
ic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ver
d
oolaege
isl_map
.
c:
o
rder_div
s
: s
w
a
p
with
c
orrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
e
g
e
is
l
_map_coalesc
e
:
r
e
move extra div
s
introduc
e
d by isl_map
_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
Verdo
o
laege
a
dd isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdool
a
ege
add i
s
l_set_pr
o
d
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doolaege
exp
o
r
t
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
isl_m
a
p_convex_hull:
h
andle unbounded
,
b
ut poi
n
ted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
priv
a
tely export isl_mat_unimod
u
lar_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c: add isl_tab_g
e
t
_
sample_valu
e
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdool
a
ege
i
sl
_
map_
c
onvex_h
u
l
l
: avoi
d
introducing l
i
nealit
y
s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
a
d
d two more
c
onvex hull t
e
s
t
cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
isl_map_c
o
n
vex
_
h
u
ll: remove
l
i
neality space
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdool
a
ege
ad
d
isl
_
basic_set_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
isl_con
v
ex_hull
.
c: updat
e
wrap
_
facet to
t
he fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaeg
e
isl_convex_h
u
ll
.
c
: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdool
a
ege
isl_coalesce
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaeg
e
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
configure
.
in: se
t
AC_CONF
I
G_MAC
R
O_D
I
R
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
i
sl_bas
i
c_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoolae
g
e
isl_
b
asic_map_gist: normalize divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
er
d
oolaege
isl_bas
i
c_map_sim
p
lify:
r
emove dup
l
ica
t
e divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdoolaeg
e
chang
e
c
a
ll
i
n
g convention of isl_basic
_
map_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
isl_map_s
i
m
plify
.
c:
uset_
g
ist:
b
re
a
k early if
the
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
e
ge
isl_map_si
m
plify
.
c: use
t
_
g
ist: b
r
e
ak ear
l
y if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
d
d isl_basic
_
set_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
o
laeg
e
upd
a
t
e piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: st
o
re
n
umber of equ
a
lities
a
mong the constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l
_mat_extend: properly exte
n
d matrices with reord
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_gist
:
hand
l
e some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add isl_ma
p
_unive
r
s
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_basic
_
map_f
a
st_is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic
_
map_
g
ist: replace
by
n
ew versio
n
b
a
sed on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
s
l
_map_sim
p
lify
.
c:
c
o
mpute_e
l
imin
a
tion_index:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
add isl_
m
ap_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
isl_bas
i
c_se
t
_fre
e
_equality
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l_map_convex_hull:
mar
k
result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
convex_h
u
ll: coalesce
set firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_s
e
t_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_inp
u
t
_
omeg
a
.
c
: b
a
sic_map_read: accept "+
"
in
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
add i
s
l_ba
s
ic
_
s
e
t_a
l
l
o
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_set_al
i
g
n
_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
uset_
a
ffine
_
hull:
i
gnore direction
s
in affi
n
e hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
isl_basic_
m
ap_implicit_equalities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
a
ff
i
ne_hull
.
c: out
s
ide_point
:
check f
o
r o
b
v
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
privatel
y
e
xpo
r
t isl_basic_set_
c
onta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
g
e
isl_ctx: add ne
g
on
e
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl
_
v
e
c_dump:
handl
e
NULL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_affine_hull
.
c: e
x
tract uset_af
f
i
ne_
h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_mat_transpose: handle non-recta
n
gular matr
i
ces
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaeg
e
is
l
_map_simp
l
e_
h
ull: compute affine hull before alig
n
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolae
g
e
isl_map_simple_hull: mark result as n
o
t ha
v
ing any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add isl_s
e
t_b
o
unded
_
s
imple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_
m
ap_affine_hull: detect
e
q
ualiti
e
s o
f
integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
aege
isl_basic_m
a
p_du
p
: copy flags of original to
d
uplicat
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_
e
xt
e
nd_dim:
move
respons
i
bility of cow
.
.
.
commit
|
commitdiff
|
tree
next