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
add isl_seq_cdiv_q
2009-07-15
Sve
n
Verdoolaege
add isl
_
seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolae
g
e
isl_sample
.
c:
i
n
terval
_
sample: drop redun
d
ant
argu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolae
g
e
i
s
l_sample
.
c: cl
e
an up h
a
nd
l
ing of l
i
neali
t
y
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c:
e
xtract
o
ut sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
ge
isl_sample
.
c: i
n
te
r
v
al_sample: handle equalities direc
t
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_sample
.
c: e
x
tract out empty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
i
sl_
s
ample
.
c:
g
e
neraliz
e
point_sample
t
o
z
e
ro
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_tab: don't create n
e
w
undo
reco
r
ds during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
do
o
l
a
ege
is
l
_tab_
m
in: use ge
n
eral ro
l
l
b
ack mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
oolaege
isl_
t
ab:
optionally save dual
solution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaeg
e
isl_t
a
b:
add isl_tab_
a
dd_val
i
d_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
export isl_ta
b
_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
ad
d
i
s
l_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoola
e
ge
priv
a
t
ely expo
r
t
isl_basic_s
e
t_r
e
cessi
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
i
s
l
_convex_hul
l
.
c: add missing assign
m
ent
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
rivately exp
o
rt isl_b
a
sic_
s
et_lineality_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_vec: keep track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven
V
e
rdoolae
g
e
isl_coalesce
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoo
l
aege
u
pdate
piplib for cha
n
g
e
i
n configu
r
e argu
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doolae
g
e
i
sl_b
a
sic
_
m
ap_dro
p
_redundant_
d
iv
s
: coal
e
sc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
ola
e
g
e
i
s
l_basic_map
_
drop_redundant_divs: set di
v
e
xp
r
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_map_dro
p
_red
u
n
d
ant_div
s
: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
r
d
oolaege
isl_map_c
o
mp
u
te_di
v
s: drop obv
i
o
u
sly red
u
ndant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
oo
l
aege
isl_map_
p
iplib
.
c: extremum_on: detect equalities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_pip_b
a
sic_m
a
p_compute_
d
ivs: remove
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verdoolae
g
e
i
sl_pip_bas
i
c_map_compute_divs:
s
eparat
e
out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doola
e
ge
isl_basic_set_preimage: handle divs
i
n input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
l
aege
is
l
_input
_
omega
.
c: make variable_{free,new}
static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
is
l
_map
.
c:
ma
k
e add_divs
s
tat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdoolaege
isl_basic_map_s
i
mpl
i
fy: detect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_
b
asic_map_drop: properl
y
handle d
i
me
n
sions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdoolaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoola
e
g
e
a
d
d isl_
s
eq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verdool
a
e
g
e
is
l
_basic_map_de
t
ec
t
_equalities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n V
e
rdo
o
laege
isl_basi
c
_ma
p
_is_empty: expl
i
citl
y
mark
basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ve
r
d
o
olaege
isl_map
.
c: order_d
i
vs
:
swap with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
ve
n
Verdoolaege
i
sl_map_co
a
lesce: rem
o
ve extra di
v
s introduced by
i
sl
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven V
e
rdoolaege
add isl_map_c
o
al
e
sce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
a
d
d
isl_set_pr
o
duct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolae
g
e
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
i
sl_
m
ap_convex_hull: hand
l
e unb
o
u
nded
,
but p
o
i
n
ted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
p
rivate
l
y export
isl_mat_unimodu
l
ar_comple
t
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
isl_
t
ab
.
c:
add isl_tab_
g
e
t
_sam
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ma
p
_convex_hull: a
v
o
i
d in
t
roduc
i
n
g
line
a
li
t
y spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoola
e
ge
a
dd
two mo
r
e convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoolaege
isl_map
_
c
onve
x
_hul
l
:
r
e
m
ove linea
l
ity space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
add is
l
_basic
_
se
t
_is_
u
niverse
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Verdoolaege
add isl
_
s
et_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_con
v
e
x
_hull
.
c: update w
r
ap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdo
o
la
e
ge
isl_
c
o
nvex_hu
l
l
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdo
o
laege
isl_coalesce
.
c: fix
typo in comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doo
l
aege
i
s
l_
t
ab
.
c: f
i
x t
y
po i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
c
o
n
figure
.
in: set
A
C_C
O
NFI
G
_MACRO_
D
IR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
d
d isl_bas
i
c_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_gist: normalize divs (
i
f any) in contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl
_
basi
c
_map
_
si
m
plify
:
re
m
o
v
e duplicate divs b
e
fo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
ad
d
isl_
b
asic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
chan
g
e
calling conv
e
ntion of isl_basic_
m
ap_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ver
d
oolaege
isl_map_simplify
.
c: uset_
g
ist: br
e
ak e
a
rly
i
f ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_
m
ap_simplify
.
c: uset_gist:
b
re
a
k ea
r
ly i
f
i
ntersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
add
isl_basic_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
u
pd
a
t
e
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_tab
.
c: s
t
ore
numbe
r
of equalitie
s
among the constr
a
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oo
l
aege
isl_mat_
e
x
t
en
d
: properly extend matrices with
reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolaege
i
sl_map_gi
s
t
: han
d
le some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
s
l_map
_
u
niverse
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
add isl_basic_map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
isl_basic_map_gis
t
: r
e
p
l
a
ce by new version bas
e
d o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_simp
l
i
f
y
.
c: compute
_
elimination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_map_
i
mpli
c
it_equalit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_basic_s
e
t_free_equality
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
e
rdoolaege
is
l
_map_con
v
ex_hull
:
mark res
u
lt as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
convex_hull: coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_in
p
ut_o
m
e
g
a
.
c: b
a
sic_
m
ap_read: ac
c
ept
"+" in
constr
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laeg
e
add
i
sl
_
basi
c
_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
add isl_set_a
l
ign
_
divs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolae
g
e
uset_affine_hull: ignore directio
n
s in affine h
u
ll
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_basic_map_implicit
_
eq
u
alities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_affine_hull
.
c: outside_point: check f
o
r
o
b
vio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privat
e
ly expo
r
t isl_bas
i
c
_
set_conta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_ctx: a
d
d
negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_vec_
d
u
m
p: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
is
l
_affin
e
_hull
.
c: extra
c
t uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_mat
_
transpose: handl
e
non-rect
a
n
gular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_s
i
mple_hull: compute
a
ffine hul
l
before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
isl_map_s
i
mple_hu
l
l: mark r
e
sul
t
as n
o
t having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
a
d
d
i
s
l
_set_bounded_simple
_
hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoola
e
ge
isl_map_a
f
fine_hull: detect equalities of integer affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoola
e
ge
isl_basic_map_dup: copy
f
lags of
ori
g
inal
t
o dupli
c
a
t
e
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoo
l
aege
is
l
_
bas
i
c_
m
a
p_extend
_
dim: mov
e
responsibilit
y
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Ver
d
oolaege
isl_basic_
m
ap_ex
t
end_
d
i
m
: onl
y
extend cons
t
rain
t
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl
_
s
o
lve_lp: use
tab
l
eaus instead of calling
p
iplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_solve_lp: ac
c
e
p
t affine object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaeg
e
isl_ma
p
_simple_hull: use hash tables
a
n
d tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_
h
ull
.
c: ex
t
ract
o
ut uset
_
simp
l
e_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_convex_hull
.
c
: ext
e
nd
:
avoid
w
rapping a
r
ound alrea
d
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_convex
_
hull
.
c: introduc
e
pr
o
t
o_hull bas
e
d o
n
obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_convex_hull
.
c: move
initial
h
u
ll construc
t
ion into
.
.
.
commit
|
commitdiff
|
tree
next