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_mat_extend: make sure the number of rows never decreases
2009-08-07
Sven Verdo
o
laege
i
s
l
_m
a
t_extend:
ma
k
e sure the nu
m
ber of rows n
e
ver
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
isl_a
f
fine_hull
.
c: onl
y
constr
u
ct af
f
in
e
hull i
n
b
o
u
n
ded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab:
a
dd support for k
e
eping track of
s
amples
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
i
sl_tab: opt
i
onally keep t
r
ac
k
of
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab:
a
dd isl_basic_
s
e
t field for optionally keep
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
isl
_
tab: intr
o
duce support for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: allow introduction
o
f extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
is
l
_tab:
introdu
c
e paramet
e
rs
a
nd di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab
.
h
:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
l
aege
is
l
_tab: allo
w
saving and restoring the complete b
a
s
i
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_t
a
b:
p
r
ivately
e
xp
o
rt some function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoola
e
ge
isl_tab:
s
tore
undo ar
g
ument in a union for
f
uture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoola
e
g
e
add
isl_basic
_
set_sam
p
le_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
i
s
l_map_
s
implify
.
c: remove_dependent_vars:
o
nly r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
i
s
l_basic_map
_
comp
u
te_
d
ivs:
u
se isl_basic_set_
l
exm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_pip_basic_
m
ap_
c
omp
u
te
_
divs:
d
o
n
't tur
n
divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolae
g
e
priva
t
ely expor
t
i
s
l_b
a
si
c
_map
_
swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
isl
_
{set,map}_
a
dd: don't add
obviou
s
ly e
m
pt
y
basi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
combin
e
is
l
_pip_basic_
m
ap_lex{min,max} int
o
isl_pip_basic
_
ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make pi
p
lib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_mat: k
e
e
p
track
o
f
the actu
a
l number
o
f colum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
o
l
aege
isl_tab_pivot
:
fix
t
ypo
t
h
a
t prevented normalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
ad
d
isl_b
a
sic_set
_
positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add isl_basic_se
t
_p
a
rtial_lex
{
min,max}
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
re
n
ame
isl_basic_m
a
p_l
e
x{mi
n
,max}
to isl_basic_map_pa
r
tial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_set_di
m
: support is
l
_
d
im_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store
i
ndex of v
a
riable in
u
ndo reco
r
d
ins
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_map_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add
isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
export
isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl_tab
.
c:
mark_redundant: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
t
a
b
.
c: to_row: al
l
ow
pivoting in a
r
bitrary
directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_t
a
b
.
c: simplify co
d
e b
y
lett
i
ng ma
r
k_empty re
t
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oo
l
aege
a
d
d is
l
_se
q
_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdool
a
ege
is
l
_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
isl_
t
ab
.
c: ext
r
act alloca
t
e
_con
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdo
o
laege
privately
export
isl_basic_
s
et
_
s
et_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
configu
r
e
.
ac
:
explicitly set AC_CONFI
G
_A
U
X_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoo
l
aege
c
o
nvex_hull
:
coale
s
c
e set during face
t
comput
a
tion
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
isl_map
_
coalesce: don't
d
r
op rationa
l
fla
g
from r
e
sul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl
_
t
ab
_
cone_is_bo
u
nded
:
start
over
a
f
ter
c
o
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_set_dim_residue_class: o
n
ly set
*modulo t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
Ver
d
oo
l
ae
g
e
isl_tab:
d
r
o
p isl_ctx argum
e
nt wh
e
re not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaeg
e
isl_m
a
t
:
keep
t
ra
c
k of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_basic
_
set
_
sa
m
ple:
d
on't projec
t
out lineali
t
y
space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_basic_map_fix_
p
os: m
i
cro-
o
pt
i
mization
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doola
e
ge
move isl_basic_set_skew_t
o
_positive_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoo
l
aege
isl_tab
.
c: fix
t
yp
o
in comment
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_basic_s
e
t_samp
l
e: brea
k
earl
y
if
s
ample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
expor
t
isl_tab_sample_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
e
g
e
isl
_
basic_set_
s
ample:
ch
e
c
k
sample stored b
y
isl
_
bas
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
b
asic_map_is_empty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erd
o
ola
e
ge
add isl_p
o
lyhe
d
ron_sample application
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
introduce generaliz
e
d basi
s
reduction based samplin
g
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolae
g
e
add isl_seq_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoo
l
ae
g
e
is
l
_sam
p
le
.
c
: i
n
terval_sample: drop r
e
dundant ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sampl
e
.
c: clean up h
a
ndling of lineality s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_
s
ample
.
c:
e
xtract
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl
_
sample
.
c
:
inter
v
al_s
a
mple:
handl
e
equalities directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_sample
.
c: extract out empt
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoola
e
ge
isl_sample
.
c: generalize point_sample to
z
ero
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_t
a
b: don't
c
reate new undo record
s
d
uri
n
g roll
b
ack
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
isl_
t
ab_min: use gener
a
l rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Ver
d
oola
e
ge
isl_t
a
b: op
t
ionally save dua
l
solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
oolaeg
e
isl_
t
ab:
add isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdool
a
ege
export i
s
l_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdoolae
g
e
add isl
_
i
n
t
_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
ola
e
ge
pr
i
v
a
tel
y
export isl_b
a
si
c
_set_r
e
cession_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_c
o
n
v
ex_hul
l
.
c: add missing assi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately
expo
r
t
is
l
_basic_set_line
a
li
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
r
d
oo
l
aeg
e
isl_vec: keep track of
i
s
l
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoolaege
isl_coalesce
.
c:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
doolaege
update pip
l
ib for c
h
ange in conf
i
gure ar
g
uments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_map_dro
p
_red
u
nd
a
nt_divs: coales
c
e divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basi
c
_map_dr
o
p_redunda
n
t_div
s
: s
e
t
di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
olaege
i
s
l
_basic_map_d
r
op_redundant_
d
i
v
s:
d
rop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_map
_
c
o
mpute_divs
:
d
r
op obviousl
y
redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verd
o
o
l
aege
isl_ma
p
_
piplib
.
c: e
x
tremum_on: detect eq
u
a
lities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_map
_
compute_divs: rem
o
ve some equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdo
o
la
e
ge
isl
_
pip_
b
asic_map_c
o
m
pute_divs:
s
e
parate o
u
t dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdoolaege
isl_basic_set_preimage: handle divs in
i
n
p
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_inp
u
t_omega
.
c:
make variable
_
{free,new}
sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
oolaege
isl_map
.
c
:
make
a
d
d
_
divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
la
e
ge
isl_basic_map_s
i
mplify:
d
etect di
v
constraints w
h
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_b
a
sic
_
map_drop: properly
hand
l
e dim
e
nsi
o
ns of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
add isl_in
t
_mul
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add isl_seq_fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ve
r
doolaege
add isl_seq_f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
i
s
l_basic_m
a
p_detect_equalities:
properly han
d
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
isl_b
a
sic_
m
a
p_is_e
m
p
t
y:
e
xplic
i
tly mark b
a
s
i
c s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolae
g
e
isl_map
.
c
: order_div
s
: swap with
c
orrect di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
o
laege
isl_map_coalesce
:
remove extra divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en V
e
rdoo
l
aeg
e
a
d
d
i
s
l_map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdool
a
ege
add isl_s
e
t_
p
rod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
o
l
aege
export
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolaege
isl_map_con
v
ex_hull:
h
andle unb
o
u
nde
d
, but pointed
.
.
.
commit
|
commitdiff
|
tree
next