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_map_fix_pos: micro-optimization
2009-07-15
S
v
en
V
er
d
oo
l
aege
is
l
_
b
asic_map_fix_pos
:
micro-optim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolae
g
e
mov
e
isl_bas
i
c
_
set_sk
e
w_t
o
_p
o
sitiv
e
_orthant to isl
_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_tab
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_
s
et_
s
ampl
e
: break early i
f
sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
exp
o
rt isl_tab_s
a
m
p
le_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_basic_set_sample: check
samp
l
e
s
tored by isl
_
basi
c
_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaeg
e
isl_basic
_
m
a
p_is_empty: remove
s
ta
l
e s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
ad
d
isl_polyhedron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
introduce generali
z
ed basis
reduction based
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
a
dd i
s
l
_seq_
c
d
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_sample
.
c
: inter
v
al_
s
ample: drop redunda
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
i
s
l_sam
p
le
.
c: clean
u
p handling of li
n
eali
t
y space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sampl
e
.
c: extr
a
ct out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olae
g
e
isl_sampl
e
.
c: i
n
te
r
va
l
_
s
ample: handle equaliti
e
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
d
o
ol
a
ege
isl_sample
.
c: extr
a
ct
out em
p
t
y_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
isl_sample
.
c: generalize p
o
int
_
sampl
e
to zero_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: don't create new undo r
e
c
ords
during r
o
llback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl
_
ta
b
_
m
i
n: use general rollb
a
ck mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_t
a
b: opt
i
o
nally save d
u
al
solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_tab:
a
d
d
isl_tab_add_valid_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
e
ge
e
x
port isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
aege
add isl_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
riv
a
tely expor
t
i
s
l_b
a
si
c
_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_h
u
ll
.
c: a
d
d missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoolaege
pr
i
vately export
isl_basic_set_
l
ineality_s
p
a
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec: ke
e
p track of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoola
e
ge
is
l
_coal
e
sce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n
V
e
r
doolaege
update piplib for change in c
o
n
figure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ve
r
d
o
o
laege
isl_basic
_
map_drop_redundant_divs:
c
oalesce
d
iv
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
oola
e
ge
isl_basic_map_d
r
op_redunda
n
t_divs: set div e
x
press
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
isl_bas
i
c_
m
a
p
_drop_redu
n
dant_d
i
v
s: dr
o
p
m
o
r
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdoolaege
isl_map_
c
ompute_div
s
: drop obviously redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
i
s
l
_
map_p
i
plib
.
c: extremum_on: detect equa
l
ities
f
irst
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
d
oolaege
isl_pip_basic_map_
c
ompute_divs: remo
v
e s
o
m
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
er
d
oolaege
isl_pip_
b
asic_map_com
p
ute_divs: s
e
parate
o
ut
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_set_preimage: hand
l
e divs in inpu
t
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl
_
input_omega
.
c: ma
k
e variable_{
f
re
e
,new}
s
tatic
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoo
l
aege
isl_map
.
c: make add_divs
st
a
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_ma
p
_simplify: de
t
ect div con
s
t
r
aint
s
wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_bas
i
c_map_
d
rop: properly handle dimensions
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verdo
o
laege
add isl_
i
nt_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
add isl
_
s
e
q_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
l
a
ege
isl_
b
asic_m
a
p_d
e
tec
t
_equa
l
it
i
es: properly han
d
l
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
i
sl_ba
s
ic_map_i
s
_
e
m
pty
:
expl
i
c
i
tly mark basic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl_map
.
c: order_d
i
v
s
: swap with c
o
rrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdo
o
laege
is
l
_map_
c
oalesce:
r
emove
extra divs introduced
b
y is
l
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
e
r
d
oolaege
a
d
d isl_ma
p
_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doolaege
ad
d
isl_se
t
_pro
d
uct
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
V
e
rdoolaege
export
i
sl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
isl_m
a
p_con
v
e
x
_hull: ha
n
dle un
b
ound
e
d,
b
ut poi
n
ted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verd
o
o
laege
privately export isl_mat_unimodula
r
_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_tab
.
c: add isl_tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
laege
isl_map_c
o
nvex_hull: avoid
i
n
troduc
i
n
g lineali
t
y s
p
a
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdool
a
ege
add two more convex hu
l
l
test cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
m
ap_co
n
vex_hull: rem
o
ve lineality space if an
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
a
dd isl_basic_se
t
_is_u
n
iv
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
dool
a
ege
isl_convex_hull
.
c: upda
t
e w
r
ap_facet to the fact
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n Verdoolaege
isl_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaeg
e
isl_coale
s
ce
.
c: fix
typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
r
d
o
olae
g
e
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
r
d
o
ola
e
g
e
configure
.
in
:
set AC_CONFI
G
_MA
C
RO
_
D
I
R
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
r
doolaege
add isl_
b
asi
c
_s
e
t_g
e
t
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdo
o
lae
g
e
i
s
l_basi
c
_map_
g
ist:
n
ormalize divs (if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
e
ge
is
l
_basic_map
_
simplif
y
: remove
d
up
l
ica
t
e divs b
e
for
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
r
d
oolaege
ad
d
isl
_
b
asic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
chang
e
calli
n
g convention of
isl_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
o
laeg
e
isl_ma
p
_simplify
.
c:
u
se
t
_gist: break early
i
f
t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
d
ool
a
ege
isl_map_sim
p
lify
.
c: uset_gist
:
break early i
f
interse
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
V
erd
o
ol
a
ege
add isl_ba
s
ic_se
t
_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
update pipl
i
b
t
o 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaeg
e
isl_tab
.
c:
s
to
r
e numbe
r
of equalities am
o
ng
t
he c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
i
s
l_ma
t
_extend: properly extend ma
t
rices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_map_gist: handle some
special c
a
ses
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd isl_ma
p
_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
add is
l
_
basic_map
_
f
ast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Ver
d
oolaege
isl_basic_map
_
gist: replace by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
i
sl_
m
ap
_
simplify
.
c: compute_elim
i
n
a
tion_index: d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_ma
p
_
i
mplicit_equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aege
ad
d
isl_b
a
sic_set_free
_
equalit
y
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
isl_map_convex_hull:
mar
k
resu
l
t as not hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoola
e
ge
c
o
nvex_hull: coales
c
e se
t
first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d i
s
l_se
t
_c
o
alesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_in
p
ut_omega
.
c: basic_map_read: accept "+" in constrain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d is
l
_ba
s
ic_set_a
l
l
oc_div
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laeg
e
add isl_set
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
uset_af
f
ine
_
hull: ignore
d
irections i
n
aff
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_imp
l
icit_e
q
u
al
i
ties
:
perfo
r
m Gaussi
a
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
isl_affine_hull
.
c: outside
_
point
:
check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
privately exp
o
r
t
isl_bas
i
c_set
_
con
t
ai
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_ctx: add n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoo
l
aege
isl_vec_dum
p
: handle NU
L
L vec
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdo
o
laege
i
sl_affine_h
u
ll
.
c:
extr
a
c
t uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
is
l
_mat
_
transpose:
h
and
l
e non-re
c
tangular ma
t
ric
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
i
sl_map_simple_hul
l
:
c
o
mpute affine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_
m
a
p
_simp
l
e_hull:
mark result a
s
not havi
n
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
add isl_set
_
b
oun
d
ed_simple_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_map_a
f
f
i
ne_hull: detect equalities of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic_
m
a
p
_dup: co
p
y fl
a
gs of ori
g
inal t
o
duplicate
commit
|
commitdiff
|
tree
next