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 an internal parametric integer linear program solver
2009-08-07
S
ven V
e
rdoolaege
ad
d
a
n
i
n
t
e
r
nal
p
arametric
i
nte
g
er linear program sol
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
i
sl_
m
at_exte
n
d:
make sure the
number of rows
n
ever
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
sl_affin
e
_
hull
.
c: on
l
y const
r
uct affine
h
ull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: a
d
d
suppor
t
for keeping tr
a
ck of
s
amples
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl
_
tab: optionally keep track of ro
w
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_
t
ab: add isl_basic_
s
et field
f
or optionally kee
p
ing
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: i
n
troduce support for
"big pa
r
amet
e
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
is
l
_t
a
b
:
allow
i
ntroduction of extr
a
variab
l
e
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
isl_tab: introduce
parameter
s
and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
o
olaege
isl_tab
.
h
: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_tab: a
l
low saving and
r
estoring the
c
omplete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_
t
a
b
: privately export some
f
unction
a
lit
y
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolaege
isl_ta
b
: store undo
argument in a union
f
or future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
ad
d
isl
_
basic_
s
et_sample_bo
u
n
d
ed
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
p
r
i
vat
e
ly export isl_basic_set_order_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_map
_
s
i
mplif
y
.
c
:
r
emove_dep
e
ndent_vars:
o
n
l
y
r
emove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_ba
s
ic
_
map_c
o
mpu
t
e
_
divs: use i
s
l_
b
asic_
s
et_
l
exmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_
p
ip_basic_map
_
compute_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately exp
o
rt i
s
l_
b
a
s
ic_map_
s
wap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
ae
g
e
isl_{se
t
,map}_
a
d
d: don't add ob
v
iously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdool
a
ege
combine isl_pip_
b
asic_
m
a
p_lex{min
,
max} into
is
l
_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
ma
k
e piplib headers
p
r
i
vate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat
:
keep track of
the a
c
tual nu
m
ber
o
f
c
o
lumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
isl_
t
a
b_pivo
t
: fix typo that prev
e
nted normalizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_p
o
s
i
tive_ort
h
ant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
add is
l
_basic
_
se
t
_part
i
al_le
x
{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
re
n
ame isl_basic_map_lex{min,ma
x
} t
o
isl_ba
s
ic_ma
p
_
p
artial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_basic_set_
f
ree_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
aege
isl_set_d
i
m: suppor
t
isl_
d
im_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: store index of vari
a
ble in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
o
o
l
aege
add isl_{set,map}_
g
row
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add isl_map_ge
t
_
dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
a
d
d i
s
l
_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
olaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl_ma
t
_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_tab
.
c: mark_redundant
:
onl
y
mark va
r
iable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verd
o
o
laege
isl_tab
.
c: to
_
row: allo
w
p
i
v
oting in ar
b
itrary
directio
n
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doolaege
isl_tab
.
c: si
m
plify c
o
de b
y
l
e
t
t
ing mar
k
_empty retur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
d
o
o
laeg
e
a
d
d
isl_seq_l
a
s
t
_
non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
a
b
.
c
: sim
p
li
f
y ad
d
_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
isl_t
a
b
.
c
:
e
xtract
allocate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
p
rivately expo
r
t
isl_basic
_
set_set_
r
ational
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
configure
.
a
c
: explic
i
tly set
A
C_CONF
I
G_AUX_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaeg
e
conve
x
_hull: c
o
a
l
esce set during f
a
c
e
t comput
a
tion
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
isl_ma
p
_coale
s
c
e
: don'
t
d
rop
r
ational fl
a
g from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n V
e
rdoolaege
isl_tab
_
cone_is_bounded
:
start over after
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoola
e
ge
isl_basic_set
_
dim
_
residue_class: only
set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add isl
_
basic_set_fast_dim
_
i
s
_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolae
g
e
isl_tab: drop isl_ct
x
argument where not absolut
e
ly
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
isl_mat: keep t
r
a
ck of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
d
o
olaege
isl_basi
c
_set_sampl
e
: don't project out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_basic_
m
ap_fix
_
pos: micro-optimizatio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doola
e
g
e
mov
e
i
sl_basic_set_s
k
ew_to_
p
os
i
tive_orthant to isl_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verd
o
olaege
is
l
_t
a
b
.
c: fix typ
o
i
n co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doola
e
ge
i
s
l_basic_set_sam
p
l
e
:
break early if sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ve
r
doo
l
aege
exp
o
r
t isl_tab_sa
m
ple_is
_
in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
V
e
r
d
ool
a
ege
i
s
l_ba
s
ic_set_sample: check sample stored by
i
sl
_
ba
s
ic
_
map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
e
rdo
o
laege
isl_ba
s
i
c_map_is_empty: re
m
ove stale sa
m
ple
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erd
o
olae
g
e
add isl_polyhedron_samp
l
e ap
p
lication
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
introduce
g
e
n
eralized bas
i
s reduction based sam
p
l
i
ng
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_seq
_
c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl
_
sample
.
c: interval_s
a
mple: drop redun
d
a
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_sample
.
c: clean up handli
n
g of l
i
neali
t
y s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_sam
p
le
.
c: extract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
isl_sample
.
c: interva
l
_sample: handle equal
i
t
i
es
d
irectly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaeg
e
is
l
_sam
p
l
e
.
c: extra
c
t out em
p
ty
_
samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
i
sl_sample
.
c: gen
e
ra
l
ize
p
oint_sampl
e
t
o
zero
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
o
l
a
e
g
e
isl_t
a
b:
don't create new undo r
e
cords du
r
ing
r
ollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaege
isl_
t
ab_min: use general ro
l
lback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
is
l
_tab:
o
ption
a
l
l
y save dua
l
solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aeg
e
isl_tab: add isl_
t
ab_add_valid_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
erdoolaeg
e
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
privately export
i
sl_basic_se
t
_recess
i
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
is
l
_
c
o
nvex_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
eg
e
private
l
y export isl_basic_set
_
line
a
lity_
s
pa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
i
s
l
_vec
:
keep
t
rack of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rdoolaege
i
sl_coale
s
ce
.
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update pi
p
lib for chan
g
e in confi
g
ure argumen
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ver
d
ool
a
e
g
e
isl_
b
asic_m
a
p
_
dr
o
p_redu
n
dan
t
_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_basic_map_drop_redundan
t
_divs: set d
i
v expre
s
sio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaeg
e
isl_basic_map_
d
rop_red
u
ndant_divs: drop
more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
i
s
l_map_compute_divs:
d
ro
p
obviously red
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: extremum_
o
n:
d
e
t
e
c
t equa
l
i
t
i
es first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_pip_basic_m
a
p_com
p
ute_di
v
s: remove som
e
equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_
p
ip_basic_ma
p
_
c
ompute_divs
:
s
e
parate out
d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ver
d
oo
l
a
e
ge
isl_basic_
s
et_
p
reimage:
han
d
l
e d
i
vs in inpu
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl
_
input_omega
.
c: make variable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaeg
e
i
s
l_ma
p
.
c: m
a
k
e
add_divs
static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_sim
p
lify: dete
c
t di
v
co
n
straints whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdool
a
ege
isl_
b
a
si
c
_map_drop: pr
o
perly handle dimensions of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ve
n
Verdoo
l
a
ege
a
d
d isl
_
seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add i
s
l_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven
V
erdoo
l
ae
g
e
isl_basic_map_
d
etect_equalities: properly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
o
laege
i
sl_
b
asic_ma
p
_
i
s_em
p
ty: explicitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c: or
d
e
r_divs: swap wi
t
h
correct
div
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
i
sl_ma
p
_coalesce: remove
extra d
i
v
s
i
ntro
d
u
ced
b
y
i
sl_
m
a
p_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sve
n
V
erdoolaege
add isl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdo
o
laege
add
i
sl
_
set_product
commit
|
commitdiff
|
tree
next